Fermat se reghoekigedriehoekstelling is 'n nie-bestaan bewys in die getalteorie, die enigste volledige bewys wat deur Pierre de Fermat nagelaat is. Dit het verskeie ekwivalente formulerings: As drie vierkante getalle 'n rekenkundige progressie vorm, kan die gaping tussen opeenvolgende getalle in die progressie ('n kongruum genoem) nie self vierkantig wees nie. Daar bestaan nie twee Pythagorea driehoeke waarin die twee bene van een driehoek die been en skuinssy van die ander driehoek is nie. 'n Reghoekige driehoek waarvoor al drie sylengtes rasionale getalle is, kan nie 'n area hê wat die vierkant van 'n rasionale getal is nie. 'n Gebied wat op hierdie manier gedefinieer word, word 'n kongruente getal genoem, en geen kongruente getal kan dus vierkantig wees nie. 'n Reghoekige driehoek en 'n vierkant met gelyke gebiede kan nie alle kante met mekaar ooreenstem nie. Die enigste rasionale punte op die elliptiese kromme y 2 = x ( x − 1 ) ( x + 1 ) {\displaystyle y^{2}=x(x-1)(x+1)} is die drie triviale punte (0,0), (1,0) en (-1,0).