(895) Then, by (870), A = the lunary surface CABC' 2 C, = A Fig.10 the surface ABC+ the surface ABC 2 C, (896) the surface ABC + the surface A'BC= 2 A; (897) and, by (887), = the surface ABC + the surface A'BC' 2 B, for the sides BC and AB are by (892) supplements (898) of BC' and A'B; and the angle ABC is equal to the angle A'BC'. (899) (900) is The sum of (895), (896), and (897), 3 x the surface ABC + the surface A'BC But the surface of the hemisphere is, by (867), the surface ABC + the surface A'BC = + the surface ABC' + the surface A'BC' 360°; which, subtracted from (899), gives or 2 x surface ABC2 A+ 2B+2 C-360° (901) surface ABC=A+B+C — 180°, as in (891). 88. Theorem. The surface of a spherical polygon (902) is equal to the excess of the sum of its angles over as (903) many times two right angles as it has sides minus (891), the sum of the surfaces of all these triangles (906) or the surface of the polygon is equal to the sum of all their angles diminished by as many times two right angles as there are triangles; that is, the surface (907) of the polygon is equal to the sum of all its angles diminished by as many times two right angles, as it has sides minus two, which agrees with (903). |