211.b
Dokazati da su brojevi: ; iracionalni.
Dokaz ćemo sprovesti svođenjem na protivrečnost. Pretpostavimo suprotno, tj. da je racionalan broj. Tada se on može zapisati u obliku nesvodljivog razlomka gde su i uzajamno prosti celi brojevi i
Kvadriramo obe strane jednačine.
Množenjem sa dobijamo vezu između i
Iz ovoga sledi da je deljivo sa 3. Pošto je 3 prost broj, to znači da i mora biti deljivo sa 3. Zato možemo zapisati kao:
Zamenimo u prethodnu jednačinu
Kvadriramo izraz na levoj strani.
Deljenjem cele jednačine sa 3 dobijamo:
Ovo znači da je deljivo sa 3, pa samim tim i mora biti deljivo sa 3.
Dobili smo da su i i deljivi sa 3. To znači da oni imaju zajednički delilac 3, što je u kontradikciji sa našom početnom pretpostavkom da su i uzajamno prosti brojevi (da je razlomak nesvodljiv).
Zbog dobijene protivrečnosti, naša početna pretpostavka je netačna, pa zaključujemo da je iracionalan broj.