·林德曼证明了对任何非零代数数formula_202，formula_203都是超越数，该结论后来由魏尔斯特拉斯推广为林德曼-魏尔斯特拉斯定理。据此定理和欧拉公式，formula_1只能是超越数，进而证实了勒让德和欧拉提出的formula_1超越性猜想。哈代在其着作《数论导引》中则称此证明在提出后，经过希尔伯特、施瓦兹和其他一些人化简过。
formula_1符号的引入.在用专指“圆周率”之前，希腊字母即已用于几何概念中。威廉·奥特雷德在1647年起在《数学之钥》（Clavis Ma