1947年,数学家 Ivan M. Niven,用微积分和反证法证明了π 是无理数。既然已证明是无理数, 为什么人类一直要计算π的值?还有计算的必要吗?回答是肯定的。因为在计算的过程中: 第一,可以验证人类现有的计算机能力; 第二,从实际上验证理论的正确性(人类的知识局限性)。 如果有一天,突然发现圆周率有一个固定值,瞬间证明圆可以用若干个线段代替,即曲线可以用线段完全代替,曲线不存在,经典几何学崩塌,人类知识体系崩溃,要重新从几千年前的欧几里得开始推倒重来,太可拍了……人类又回到了公元前……