1. 必要的准备
首先声明一些基本事实:
- 偶数的平方还是偶数;奇数的平方还是奇数;
- 偶数之间的乘法还是偶数;奇数之间的乘法还是奇数;
所谓偶数还是奇数,分别的关键在于是否存在 2 的因子。
设
p
是一个偶数,即有:
仍是偶数。
设 q 是一个奇数,即有:
若
p2
是偶数,则
p
一定是偶数(
2. 反证法进行证明
假设
2√
不是无理数,而是有理数,即:
2√=pq
其中 p,q 没有共因子(最简),如此一来, p,q 不会同时是偶数,不妨设 p 是奇数(
p=2√q⇒p2=2q2
p2 是偶数 ⇒ p 是偶数(
4r2=2q2
q2 是偶数 ⇒ q 是偶数 ⇒ 与假设相矛盾。
3. 一种清爽的证明
题设: p,q 二者互质;
2√=pq⇒p2=2q2
所以
p
为偶数,不妨令其为