证明π是无理数

18世纪60年代，约翰·海因里希·朗伯首先证明出圆周率为无理数，即不能表示成两个整数之比。在19世纪，夏尔·埃尔米特给出了不需要微积分以外的预备知识的证明方法，此后又有玛丽·卡特赖特、伊万·尼云以及尼古拉·布尔巴基等人给出更为简洁的证明。另外由拉茨科维奇·米克洛什的证明方法简化了朗伯的证明方法。这些所给出证明方法都基于反证法。