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