证明:假设是有理数,
那么存在两个互质的正整数、
, 使得
, 于是
,
∴ ▲
∵是偶数,可得
是偶数.
∵只有偶数的平方才是偶数,∴也是偶数.
∴可设 , 代入,得 ▲ .可得 ▲
∴ ▲ .这样,和
都是偶数,不互质,这与假设
,
互质矛盾.
这个矛盾说明,不能写成分数的形式,即
不是有理数.
将下列选项依次填入材料中的画线处,正确的顺序是.(填上序号)
①; ②
; ③
是偶数; ④
.