Plane Geometry - Bruce E. Shapiro

SECTION 50. AREA IN HYPERBOLIC GEOMETRY 295Theorem 50.11 Area is proportional to defect: there exists a constant ksuch thatα(△ABC) = kδ(△ABC)for every triangle △ABC (same k for every triangle).Corollary 50.12 There is an upper bound to the area of triangles.Proof. Since δ(△ABC) < 180 for every triangle, thenα(△ABC) < 180kCorollary 50.13 If α(△ABC) = α(△DEF ) then △ABC ≡ △DEF .Proof.δ(△ABC) = 1 k α(△ABC)By Boylai’s theorem △ABC ≡ △DEF .= 1 k α(△DEF )= δ(△DEF )Theorem 50.14 Let R 1 and R 2 be polygonal regions such that α(R 1 ) =α(R 2 ). Then R 1 ≡ R 2 .Theorem 50.15 There exist triangles with the same base and height butdifferent areas.Proof. Let l be a line and P a point with d(P, l) = 1.Let Q 0 be the foot of the perpendicular from P to l.Define Q 1 , Q 2 , . . . in l such that Q i Q i+1 = 1.Define T i = △P Q i−1 Q i .equal to 1.Then the base and height of each T i are eachSuppose that all the T i have the same area, α(T i ) = a for all i.Then all the T i have the same defect, δ(T i ) = d for all i. By additivity ofdefectδ(△P Q 0 Q n ) = nd < 180Since we can choose n arbitrarily large, this violates the Archimedian orderingproperty. Hence the defects cannot all be equal, and hece the areascannot all be equal.Revised: 18 Nov 2012 « CC BY-NC-ND 3.0.