Użytkownik "olo" <o...@o...pl> napisał w wiadomości
news:jm8m36$h41$1@mx1.internetia.pl...
> Użytkownik "Chiron"
>
>>> Natomiast w postaci ogólnej udowodnił je dla wszystkich trójkątów,
>>> niejaki Carnot, gdzieś pod koniec XVII wieku.
>>>
>>
>>
>>O ile kojarzę, to w postaci ogólnej dowód pochodzi od Bolayi- o ile się
>>nie mylę:-).
>
> Twierdzenie Pitagorasa wynika z aksjomatyki, można po prostu poskładać
> obrazki jak tutaj:
> http://www.serwis-matematyczny.pl/static/st_scenariu
sze_twierdzenie_pitagorasa.php
>
> Związek określający długość 3 boku trójkąta (eukliedesowego, takiego o
> sumie kątów = PI) w zależności od długości 2 pozostałych boków i kąta
> pomiędzy nimi, nosi nazwę twierdzenia cosinusów i opublikował go jako
> pierwszy Carnote.
> http://pl.wikipedia.org/wiki/Twierdzenie_cosinus%C3%
B3w
>
>> No ale dla przestrzeni Euklidesowej- dowód ten znało Towarzystwo z
>> Eleuzis- czyli (używając dzisiejszej terminologii)- iluminaci
>> pitagorejczyków.
>
> Nieeuklidesowe geometrie to powstały dopiero w XVII wieku.
>

To chyba bardzo NTG- ale - jeśli Cię to interesuje- już wcześniej wywalano
do śmieci 5 aksjomat Euklidesa. No i to właśnie Eleuzyjczycy są o tymi, co
to zrobili. Jednak- z dzisiejszego punktu widzenia- więcej w tym alchemii,
niż matematyki. No i samych dokumentów chyba też za wiele sie nie zachowało-
pisma ludzi, którzy czytali, że Eleuzyjczycy właśnie to...tyle, że wszelki
ślad prowadzi do Biblioteki Aleksandryjskiej.

W czasach współczesnych- geometria nieeuklidesowa to chyba zaczyna się od
Gaussa - czyli wiek 19, a nie 17 (jak podałeś). Bolayi (nie mogłem znaleźć-
więc z pamięci) podał twierdzenie Pitagorasa dla przestrzeni
nieeuklidesowych- tyle, że chyba nie dla każdej.
--
--

serdecznie pozdrawiam

Chiron