ellauri032.html on line 383: Se että kolmion kulmien summa on oikokulma on jotenkin sama asia kuin se että oikokulmalla lepäävä kolmio tekee silmukan, jonka oikaisee se oikotie. Tää tuntuu ilmeiseltä. n-kulmion kulmien summa on (n-2)*pi eli oikokulma. Nelikulmiossa se on 2pi. Tätä voisi kehitellä vielä. 2pi = (pi-a)+(pi-b)+(pi-g) -> 2pi = 3pi - (a+b+g) -> a+b+g = pi. QED. 2pi on ympyrä, yhtälön oikea puoli kiertää kolmikulmion. Onko tää eri todistus kuin Eukleideen joka käyttää samansuuntaisia suoria? Eukleideen todistus on pitempi ja siinä tarvitaan apuviiva. Kai se riippuu siitäkin mitkä axioomat oletetaan. Epäeuklidisessa kolmiosumma ei pidä paikkaansa. koska paralleelit yhtyy ikuisuuden äärettömän etäisessä pisteessä. Monadit ei pysy loputtomiin erillään. Miten käy ton mun todistuxen oletuxien? Ehkä siellä ympyrä ei olekaan 2pi? Se onkin joku ellipsi tai hyberbeli? Niin kai.
1