Akan dibuktikan √ 3 adalah bilangan irasional.

Andaikan √ 3 adalah bilangan Rasional (−q ), maka √ 3 dapat dibentuk

a
√ 3= ….. pers (1)
b
a
dimana a , b ∈ Z dan b ≠ 0. Kita pilih b dalam bentuk yang paling sederhana
(faktor persekutuan dan a dan b hanya bilangan 1).
Kita kuadratkan kedua ruas pada pers. 1 diperoleh
a2
3=
b2
a 2=3 b2.

Kemungkinan pertama adalah a 2 genap.

Akibatnya b 2 genap.
Diperoleh a dan b pasti bilangan genap.
Sehingga a dan b memiliki faktor persekutuan selain 1 yaitu 2
(kontradiksi).

Kemungkinan kedua adalah a 2 ganjil.

Akibatnya b 2 ganjil.
Diperoleh a dan b pasti bilangan ganjil.
Misalkan a=2 k +1 dan b=2 m+1 dimana k , m∈ Z .
Sehingga
a 2=3 b2
( 2 k +1 )2=3( 2m+1)2
4 k 2 +4 k +1=12 m 2 +12m+3
4 k 2 +4 k=12m 2 +12 m+2
2 k 2 +2 k=6 m2 +6 m+1
2(k 2+ k )=2(3 m2+ 3 m)+1
Artinya ruas kiri adalah bilangan genap sama dengan ruas kanan yang
adalah bilangan ganjil (kontradiksi).

Kedua kontradiksi tersebut terjadi akibat pengandaian yang salah,

seharusnya √ 3 adalah bilangan irasional.