阅读下面关于“
不是有理数”的证明过程,并填空:
“ 不是有理数”,对于这一事实的证明,最早出现在亚里士多德(Aristotle)的著作中,但他声明来源于毕达哥拉斯学派.欧几里得(Euclid)在《原本》中给出了证明.
证明:假设 应是有理数,由于 ,所以必然有两个正整数a,b,
使 ,①
而且a,b互质(即没有1以外的公因数).
等式①两边平方,得
,即 .
所以 ▲ . ②
上面式子的右边是偶数,所以左边 也是偶数,因而b也是 ▲ ,
可设 (k是正整数),代入②,得
,
即 .
所以a也是偶数,这说明a,b都是偶数,不是 ▲ ,
与假设相矛盾,即 ▲ 有理数.