106 
F. Lindemann, Zur Trigonometrie etc. 
und der in (5) berechnete Winkel zwischen den Strahlen y-z 
und y-t kann durch einen Bogen auf der Kugel (4) ersetzt 
werden, so daß auf der nicht-euklidischen Kugel die- 
selben trigonometrischen Formeln gelten wie auf der 
euklidischen Kugel. 
4. Die angewandte Methode ist besonders geeignet, die 
Sätze über die Höhenlothe und die Mittellinien eines Dreiecks 
abzuleiten; es ist das schon von Coolidge geschehen 1 ), wes- 
halb wir darauf nicht mehr eingehen. 
0 The Elements of non-euclidean geometry, Oxford 1902. 
