从信息角度看，这个证明过程根本没用到pi的特性，貌似任意数带入都可以。那么有理数带入也可以了。这就和要证明是无理数矛盾了。所以这个证明不可能成立。建议先要研究pi的特性，根据其特性构造反证法
--
FROM 222.129.132.*