根号2是无理数的两个证明

众所周知，有理数是有限小数或者无限循环小数，无理数是无限不循环小数，两者加起来，组成实数。关于根号2是无理数的证明，属实喜闻乐见，但是大抵需要基于质因数分解。单墫老爷子《数论入门》里有个新颖的证明，很有意思……

作者声明本文无利益相关，欢迎值友理**流，和谐讨论～