Enligt I. gäller för en triangel i absolut geometri att om t.ex så är I beviset av denna sats användes I. Denna proposition gäller dock inte för alla sfäriska trianglar. I. däremot är faktiskt sann inte bara för trianglar i absolut geometri utan också för alla sfäriska trianglar. Om vi önskar bevisa detta kan vi förstås inte använda I. Man kan nu göra en intressant observation. För att bevisa I. räcker det att utnyttja en svagare version av I. nämligen följande
PROP. I.
För alla trianglar i absolut geometri samt för alla
sfäriska trianglar med innervinklarna
och
gäller att
Ledning: Arean av en sfärisk triangel är
Anm. I. följer trivialt från I. i absolut geometri. Det svåra är att bevisa I. för sfäriska trianglar. Varje innervinkel i en sfärisk triangel antas vara mindre än
Tillbaka till Geometri MN1 | Tillbaka till Geometri MN2 |