Vuonna 1641 kesäkuun 15. päivän kirjeessään Freniclelle Fermat esittää teoreeman, jonka mukaan jokainen kokonaisluku, joka on muotoa 4n + 1 on kahden neliön summa. Tämä on perustavaa laatua oleva lause suorakulmaisille kolmiolle. Sen mukaanhan jos suorakulmaisen kolmion hypotenuusan pituus on muotoa 4n + 1 oleva kokonaisluku, voidaan kateeteiksi aina valita kokonaisluvut. Fermat toteaa, että hänellä on asiaan kiistämätön todistus. Myöhemmin hän toteaa, että hänellä on todistus äärettömällä laskeutumisella.
Euleria pidetään lauseen ensimmäisen oikean todistuksen esittäjänä. Kuitenkin lause kulkee Fermat'n nimissä.
Kuva: Wikipedia
Ei kommentteja:
Lähetä kommentti