211.v
Dokazati da su brojevi: ; iracionalni.
Dokaz ćemo sprovesti svođenjem na protivrečnost. Pretpostavimo suprotno, odnosno da je broj racionalan. Tada se on može zapisati u obliku nesvodljivog razlomka gde su i uzajamno prosti celi brojevi i
Kvadriramo obe strane jednačine kako bismo se oslobodili korena.
Množenjem jednačine sa dobijamo izraz koji pokazuje vezu između i
Iz dobijene jednakosti vidimo da je deljivo sa 5. Pošto je 5 prost broj, to znači da i sam broj mora biti deljiv sa 5. Zato možemo zapisati pomoću celog broja
Zamenimo u prethodnu jednačinu
Kvadriramo izraz na levoj strani.
Deljenjem cele jednačine sa 5 dobijamo:
Iz ove jednakosti zaključujemo da je deljivo sa 5. Slično kao i za pošto je 5 prost broj, sledi da i mora biti deljivo sa 5.
Dobili smo da su i i deljivi sa 5. To znači da razlomak nije nesvodljiv, jer se može skratiti sa 5. Ovo je u direktnoj suprotnosti sa našom početnom pretpostavkom da su i uzajamno prosti brojevi.
Zbog dobijene protivrečnosti, zaključujemo da je naša početna pretpostavka netačna. Dakle, broj ne može biti racionalan, čime je dokazano da je on iracionalan broj.