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.

pzdr
olo