Pretpostavimo suprotno, da je dati broj racionalan. Neka je taj broj jednak x, gde je x∈Q.
x=3+7−10
Prebacimo −10 na levu stranu jednakosti kako bismo lakše kvadrirali izraz.
x+10=3+7
Kvadriramo obe strane jednakosti.
(x+10)2=(3+7)2
Primenjujemo formulu za kvadrat binoma na obe strane.
x2+2x10+10=3+23⋅7+7
Sređujemo dobijeni izraz.
x2+2x10+10=10+221
Skraćujemo 10 sa obe strane jednakosti.
x2+2x10=221
Ponovo kvadriramo obe strane kako bismo eliminisali 21.
(x2+2x10)2=(221)2
Primenjujemo formulu za kvadrat binoma na levu stranu i kvadriramo desnu stranu.
(x2)2+2⋅x2⋅2x10+(2x10)2=4⋅21
Sređujemo izraz.
x4+4x310+40x2=84
Grupisanjem članova izdvajamo sabirak koji sadrži 10 na jednu stranu.
4x310=84−x4−40x2
Proveravamo da li je x=0. Ako bi bilo x=0, imali bismo 3+7=10. Kvadriranjem ove jednakosti dobijamo 10+221=10, odnosno 221=0, što je netačno. Dakle, x=0.
x=0
Pošto je x=0, možemo podeliti jednačinu sa 4x3 i izraziti 10.
10=4x384−x4−40x2
Kako smo pretpostavili da je x racionalan broj, izraz na desnoj strani jednakosti mora biti racionalan. Međutim, na levoj strani se nalazi 10 koji je iracionalan broj.
10∈/Q,4x384−x4−40x2∈Q
Dobili smo kontradikciju (iracionalan broj jednak racionalnom). Prema tome, naša pretpostavka je pogrešna i polazni broj je iracionalan.