Ordförklaringar

Fermats stora sats är en matematisk sats uppkallad efter Pierre de Fermat som formulerades 1637, men som inte bevisades förrän 1995 av Andrew Wiles.

Efter Fermats död hittade man en matematisk formel klottrad i marginalen av en av hans anteckningar, den berömda "xn + yn = zn för n > 2" där det saknas lösningar bland de positiva heltalen. För n = 2 finns det dock gott om heltalslösningar. Enligt Fermat själv hade han hittat ett underbart bevis för satsen, men det fick inte plats i marginalen. Beviset har aldrig återfunnits, om det nu överhuvudtaget har existerat.

Wiles bevis är mycket omfattande och innehåller metoder som inte kunde vara kända på Fermats tid. Jadzia Dax hävdade emellertid att en av hennes tidigare värdar, Tobin Dax, hade funnit ett mycket elegant bevis för satsen, över 300 år efter Wiles. (Tema: Matematik)