要点：
反证法
有理数定义
平方
约2
证明过程对于我这种普通人来说很精彩！
https://blog.csdn.net/weixin_35653315/article/details/72190962
要点：
反证法
互质
平方数的位数只能是 0 1 4 5 6 9
与根号2的证明略有不同
https://blog.csdn.net/stpeace/article/details/85016066
原文：https://www.cnblogs.com/Jun10ng/p/12342355.html