Adamm: | p | |
zakładamy że √6 jest wymierne, to jest można przedstawić jako |
| , p, q∊C, NWD(p, q)=1 |
| q | |
6q
2=p
2
ponieważ założyliśmy że NWD(p, q)=1 to p
2 jest podzielne przez 6, stąd p jest podzielne przez
6
p=6k, k∊C
q
2=6k
2 teraz podobnie, q jest podzielne przez 6, co jest sprzeczne z założeniem NWD(p, q)=1,
zatem
√6 nie da się przedstawić w postaci ułamka, więc jest niewymierne