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
Langley’s Adventitious Angles the same 80-80-20 triangle but different internal angles. A quadrilateral such as BCEF in which the angles formed by the diagonals with the sides are all rational (when measured in degrees) is called an adventitious quadrangle. Numerous constructions for other adventitious quadrangles beyond the one appearing in Langley's puzzle are known. They form several infinite families and an additional set of sporadic examples. Classifying the adventitious quadrangles (which need not be convex) turns out to be equivalent to classifying all triple intersections of diagonals in regular polygons. This was solved by Gerrit Bol in 1936 (Beantwoording van prijsvraag # 17,