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 Because the Incenter is the same distance of all sides the trilinear coordinates for the incenter are The barycentric coordinates for a point in a triangle give weights such that the point is the weighted average of the triangle vertex positions. Barycentric coordinates for the incenter are given by where formula_7, formula_8, and formula_9 are the lengths of the sides of the triangle, or equivalently (using the law of sines) by where formula_11, formula_12, and formula_13 are the angles at the three vertices. The Cartesian coordinates of the incenter are a weighted average of the coordinates of the three vertices