Inzien en bewijzen - CWI

Biografieën 93
door een punt buiten een lijn kan precies een lijn worden getrokken die parallel is aan die lijn.
De beslissing van Euclides om hier een postulaat van te maken leidde tot wat we nu euclidische
meetkunde noemen. Pas in de negentiende eeuw werd voorgesteld om dit postulaat te laten
vallen. Dit leidde tot de studie van niet-euclidische meetkundes.
Pierre de Fermat (1601–1665)
Fermat was een Franse jurist. Ondanks het feit dat hij de wiskunde slechts als liefhebberij
beoefende wordt hij beschouwd als een van de grootste wiskundigen van alle tijden. Het
bekendst is hij om zijn werk in de getaltheorie. Fermats laatste stelling is de bewering die Fermat
neerkrabbelde in de marge van een boek over rekenkunde van Diophantus: de vergelijking
x n + y n = z n heeft geen gehele oplossingen voor n > 2. Fermats opmerking in de marge luidde:
Ik heb een werkelijk opzienbarend bewijs voor deze stelling ontdekt, maar deze marge
is helaas te smal om dat hier te kunnen opschrijven.
Drie eeuwen lang hebben wiskundigen zich suf gepiekerd. Dat nadenken over Fermats laatste
stelling leverde wel allerlei nieuwe interessante wiskunde op, zoals de theorie van commutatieve
ringen, maar geen bewijs. Niemand gelooft vandaag de dag dat Fermat echt een bewijs had, al
zullen we dat nooit helemaal zeker weten. Fermats laatste stelling werd pas in 1994 bewezen
door Andrew Wiles.