256 V. Metrische Geometrie. A 59. Satz: Gibt es keine uneigentlichen Punkte, so ist in jedem Dreieck die Winkelsumme größer als zwei Rechte. Beweis: Zunächst folgt (s. 38 und Fig. zu 38), daß alle Lote einer Geraden [AB], die in einer Ebene liegen, durch einen Punkt P gehen. Ferner ist ABP~BAP, also PA=PB; ebenso PA = PC usw. Trägt man das Dreieck ABP kongruent an eine andere Gerade an, so ergibt sich dasselbe für diese. D. h. der Lotschnittpunkt jeder Geraden in einer Ebene hat von der Geraden einen bestimmten Ab- stand, der für alle Geraden der gleiche ist. Er werde mit o bezeichnet. Ist nun (s. Fig.) BN=NA, AM=MC, [AA₁]_[MN], MC₁=MA₁, NB-NA₁, so ist ANA BNB₁, AMA,~CMC₁, also die Winkel- summe in ABC gleich BBC + CCB. Wird jetzt BA' von [NM] in N' halbiert, und macht man N'A₁' = N'B₁, halbiert ferner A'C' in M', so ist BB₁N' 2 A A' C = A'AN', also A'A₁' = BB₁ = CC₁, also A'M'A'~ C₁M'C, also A'M'C gerade und A'M' - M'C und die Winkelsumme in A'BC gleich der in ABC. Hierdurch kann C man das ▲ ABC mit Er- haltung der Winkelsumme in ein anderes mit einer Seite = 9 ୧ verwandeln (s. die zweite Fig.). Macht man nämlich AC₁ =0, CN=NC₁, CM=MB, ([MN][AB]) = L, BL=LB₁, so ist in den Dreiecken BCC und BC₁В₁ die Winkelsumme gleich, also auch in ABC und ABC. Man kann B B B₂ B L B M \\MM' A, A M C N C zweitens den Winkel bei C zu einem Rechten machen, (s. die dritte Fig.) indem man AM=MB₁, C₁N=NB₁, [C₁L]+[AC₁], BL=LC₁ L