Exterior angle theorem sum of angles of a triangle is 180°. If it is known that the sum of the measures of the angles in a triangle is 180°, then the HSEAT is proved as follows: On the other hand, if the HSEAT is taken as a true statement then: Proving that the sum of the measures of the angles of a triangle is 180°. The Euclidean proof of the HSEAT (and simultaneously the result on the sum of the angles of a triangle) starts by constructing the line parallel to side "AB" passing through point "C" and then using the properties of
Incircle and excircles of a triangle any vertex to the incircle tangency on either adjacent side is half the sum of the vertex's adjacent sides minus half the opposite side. Thus for example for vertex "B" and adjacent tangencies "T" and "T", The incircle radius is no greater than one-ninth the sum of the altitudes. The squared distance from the incenter "I" to the circumcenter "O" is given by and the distance from the incenter to the center "N" of the nine point circle is The incenter lies in the medial triangle (whose vertices are the midpoints of the sides). The radius of the incircle is