O trójkątach (nie tylko) na sferze
Rozpocznijmy od przypomnienia, czym jest trójkąt geodezyjny. Mając dane dwa punkty na powierzchni (powiedzmy, że leżące odpowiednio blisko siebie), najkrótszą łączącą je krzywą leżącą na tej powierzchni nazwiemy geodezyjną. Dla przykładu - na płaszczyźnie tę rolę pełnią odcinki, a na sferze łuki tzw. okręgów wielkich. Przez trójkąt geodezyjny rozumiemy obszar wyznaczony przez trzy punkty, zamknięty między łączącymi je geodezyjnymi. Kąt w wierzchołku takiego trójkąta liczymy jako kąt między stycznymi do odpowiednich krzywych geodezyjnych.