Line segments extend from vertices (corners) to the sides at the midpoint
Orthocenter (H)
Altitude intersection point
Line segments extend from vertices to the sides at which right angles are formed
Circumcenter (O)
Perpendicular bisector intersection point
Line segments extend at right angles from the midpoint of each side
Incenter (I)
Angle bisector intersection point
Line segments extend from vertices dividing the angles of the vertices in half
Nine-Point Circle (N=center)
Circle passing though the midpoint of each side, the point of altitude on each side, and the midpoint of lines between each vertex and the orthocenter
Euler Line
Line passing through G, H, N, and O of all non-equilateral triangles (In equilateral triangles, G, H, N, O and I all overlap in a single point)
3.2.4 Vivaldi's Theorem
In an equilateral triangle, the sum of distances from any inner point extending orthogonally to the sides is equal to the height of the triangle
Proof
Given side length L and height h, the triangle area equals the sum of the inner triangle areas with altitudes a, b, and c2L⋅h=2L⋅a+2L⋅b+2L⋅c
Multiply by 2/L
The square c2 has area equal to all the triangle areas subtracted from the largest square
c⋅c=(a+b)(a+b)−4⋅(21⋅a⋅b)
Expand
c2=a2+2⋅a⋅b+b2−2⋅a⋅b
Cancel like terms
3.2.6 Heron's Formula
A=s⋅(s−a)(s−b)(s−c)s=(a+b+c)/2 (semi-perimeter)
Proof
Given a triangle with sides {a,b,c}, divide it with an orthogonal line h to form two right triangles, dividing line b into lines x and b−x
Apply the right angle theorem to determine the relationships and length of xx2=c2−h2∴x=c2−h2
Apply the right angle theorem to determine the relationships of b−x(b−x)2=a2−h2
Expand
b2−2⋅b⋅x+x2−h2
Substitute x and x2b2−2⋅b⋅c2−h2+c2−h2=a2−h2
Simplify
b2−2⋅b⋅c2−h2+c2=a2
Isolate a2, b2 and c2 to one side
b2+c2−a2=2⋅b⋅c2−h2
Square
(b2+c2−a2)2=4⋅b2⋅(c2−h2)
Isolate h2h2=c2−4⋅b2(b2+c2−a2)2
Factor the right into a single fraction
h2=4⋅b24⋅b2⋅c2−(b2+c2−a2)
Factor the numerator as a squared binomialh2=4⋅b2(2⋅b⋅c+b2+c2−a2)(2⋅b⋅c−b2−c2+a2)
Factor the terms with b and c as squared binomials
h2=4⋅b2((b+c)2−a2)(a2−(b−c)2)
Factor each term in the numerator as squared binomials
h2=4⋅b2(b+c+a)(b+c−a)(a+b−c)(a−b+c)
For each negative variable within a term, both add and subtract the variable in the term
h2=4⋅b2(b+c+a)(b+c+a−2⋅a)(a+b+c−2⋅c)(a+b−2⋅b+c)
Take the square root
h=2⋅b(b+c+a)(b+c+a−2⋅a)(a+b+c−2⋅c)(a+b−2⋅b+c)
Multiply by b/2 to obtain the triangle areaA=4(b+c+a)(b+c+a−2⋅a)(a+b+c−2⋅c)(a+b−2⋅b+c)
Factor the 4 into the radicand and expand it into the terms
A=(2b+c+a)(2b+c+a−a)(2a+b+c−c)(2a+b+c−b)
Substitute (a+b+c)/2 for s