反证法。
证明
2
\sqrt{2}
2是有理数:
设
2
=
q
p
且
(
q
,
p
)
=
1
\sqrt{2}=\frac{q}{p}且(q,p)=1
2=pq且(q,p)=1
2
=
(
q
p
)
2
2={(\frac{q}{p})}^2
2=(pq)2
2
=
q
2
p
2
2=\frac{q^2}{p^2}
2=p2q2
2
p
2
=
q
2
2p^2=q^2
2p2=q2
q
2
q^2
q2必然为偶数,则
q
q
q为偶数,设
q
=
2
m
q=2m
q=2m。
则:
2
p
2
=
(
2
m
)
2
2p^2={(2m)}^2
2p2=(2m)2
2
p
2
=
4
m
2
2p^2=4m^2
2p2=4m2
p
2
=
2
m
2
p^2=2m^2
p2=2m2
同理
p
p
p为偶数,设
p
=
2
n
p=2n
p=2n。
然而
(
q
,
p
)
=
(
2
m
,
2
n
)
=
2
(q,p)=(2m,2n)=2
(q,p)=(2m,2n)=2,与前面的假设矛盾。
所以
2
\sqrt{2}
2不是有理数,而是无理数