| p | ||
Otóż, załóżmy nie wprost, że istnieją p, q>0 takie, że n√2 = | , czyli | |
| q |
| pn | ||
2 = | ⇔ 2qn = pn, zatem | |
| qn |
Inne przykłady do zastosowania tego słynnego twierdzenia.
1. Wyznacz wszystkie trójki x,y,z liczb naturalnych, takie że
xy(x2+y2) = 2z4
2. Wyznacz wszystkie pary x,y liczb całkowitych takie, że
x3 − 6y2 = 2