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
Schwarz triangle function of the upper half plane. To see how to handle the case when an angle of Δ is a right angle, note that the inequality implies that if one of the angles is a right angle, say "a" = 2, then both "b" and "c" are greater than 2 and one of them, "b" say, must be greater than 3. In this case, reflecting the triangle across the side AB gives an isosceles hyperbolic triangle with angles /"c", /"c" and 2/"b". If 2/"b" ≤ /3, i.e. "b" is greater than 5, then all the angles of the doubled triangle are