Saizou :
| p | |
Załóżmy wiec że są wymierne czyli da się je przedstawić w postaci ilorazu |
| , gdzie p,q są |
| q | |
względnie pierwsze (daje to nam że ułamka już nie możemy skrócić), czyli mamy
3q
2=p
2 skąd mamy że p jest podzielne przez 3, zatem p=3k , dalej
3q
2=(3k)
2
3q
2=9k
2 /:3
q
2=3k
2 stąd mamy że q jest podzielne przez 3, czyli q=3m
i mamy sprzeczność bo NWD(p,q)=NWD(3k,3m)≠1 wiec liczby p,g nie są względnie pierwsze,
sprzeczność, zatem
√3 jest niewymierny