数学家们已经证明了π是无限不循环小数,但是证明的方法比较复杂,一般都要用到高等数学,初等解法是比较难让人懂的,不过证明的方法很多.一般的证明思路就是先假设π是个有理数,那么可以把π表示成m/n的形式,然后退出矛盾,进而说明π是无理数.π是无理数是1761年由德国数学家兰伯特首先证明的.后来,德国数学家林德曼证明了π是超越数,也就是说它不是任何一个整系数整式方程的根.