利用反三角函数序列｛ａｒｃｃｏｓｃｏｓ（π＾ｎ）｝的一个线性序列ｄｅｇ（ｃｎπ）＝１去逼近ｄｅｇ（π＾ｎ）＝ｎ的一个有理系数的多项式ｆ（π）的方法去证明π为超越数。从而改进了１８８２年德国数学家林德曼......