円周率の無理性の証明（えんしゅうりつのむりせいのしょうめい）は、円周率が無理数であること、すなわち円周率の小数展開が無限に続き、しかも循環しないことの証明である。円周率が無理数であること自体はよく知られた事実であるが、その証明を目にする機会はあまりない小平邦彦は、晩年のエッセイの中で「最近初めて証明を読んだ」と記している（小平 p. 79）。『数学セミナー』2004年12月号の特集「知っているようで知らない証明に再挑戦」で「 の超越性」が取り上げられた。。知られている中で最も簡単な証明は、初等的な微分積分学のみを用いるものである。
歴史
円周率は古代から考察の対象とされ、無理数であることは紀元前4世紀のアリストテレスが予想していたが、証明されたのは二千年以上後のことである。1761年、ドイツの数学者ヨハン・ハインリッヒ・ランベルトは、正接関数の無限連分数表示
を用いて、初めて円周率の無理性を示した歴史については Beckmann 16章 を参照。証明については Hairer & Wanner 1.6節 を参照。ランベルトの原論文は Mémoires sur quelques propriétés remarquables des quantités transcendantes, circulaires et logarithmiques. Mémoires de l'Académie royale des sciences de Berlin, année 1761/1768, 265-322 pdf ファイル。その証明は現代的にはやや不満の残るものであったが、1794年にフランスのアドリアン＝マリ・ルジャンドルは厳密な証明を与え、さらに も無理数であることを発見した。したがってルジャンドルは の無理性よりも強い結果を示した。
20世紀には、初等的な微分積分学の知識のみを用いた証明が発見された。そのうち最もよく知られたものは、カナダ出身のイヴァン・ニーベンが1947年に発表した証明Ivan Niven, A simple proof that π is irrational, Bulletin of the American Mathematical Society, 53 (1947), 509. 論文の PDF ファイルである。それ以前の1945年にも、イギリスのが似た証明を与えている。この証明をカートライトは公表しなかったが、後にハロルド・ジェフリーズの著書に収録されたJeffreys p.268。1949年、日本の岩本義和は、ニーベンのアイデアを用いて が無理数であることの初等的な証明を与えたAigner & Ziegler 6章。原論文は Y. Iwamoto, A proof that is irrational, Journal of the Osaka Institute of Science and Technology 1 (1949), 147-148.。
1978年、フランスのロジェ・アペリーは全ての立方数の逆数和
が無理数であることを示した（アペリーの定理を参照）。この値は、リーマンゼータ函数
の s = 3 における値 ζ(3) である。同様の手法で、彼は全ての平方数の逆数和
すなわち ζ(2) も無理数であることを示した。この極限は に等しい、という事実をすでにレオンハルト・オイラーが示していたので（バーゼル問題を参照）、これはルジャンドルが示したことと同値である。すなわち、アペリーの証明は が無理数であることの別証明になっている。
証明 本節では、ニーベンの証明を紹介する。原論文は必要最低限の記述しかないが、ここではいくらか解説を加えている。円周率 は、正弦関数 sin x の正の零点の中で最小のものとする初等教育においては、円周率の定義は「円周長の直径に対する比率」と学ぶ。この定義は初学者には受け入れ易いものの、現代数学の観点からは、曲線の長さの定義に依存しているという問題がある。そのため、現代数学においては、別の定義が採用されることが多い。円周率#定義も参照のこと。どの定義も結果的に同じ定数を定めることが従う。。証明は背理法による。すなわち が有理数であり （a, b は正の整数）と表せるものと仮定して、それから矛盾を導く。
自然数 n に対して、実関数 f(x) を
で定義する。さらに、
とおく。ここで、f は f の k 階微分を表す。
補題 1：F(0) は整数である。
証明：f(x) の定義式を二項展開すると、
f(x) に x = 0 を代入することを考える。
k < n のときは、f(x) の各項は全て1次以上だから、f(0) = 0。
n ≤ k ≤ 2n のときは、x = 0 を代入する際に、1次以上の項は同様に 0 となるため、定数項のみが残り、
となる。
n ≤ k ≤ 2n より , a, b は整数であるから、f(0) は整数である。
ゆえに、f(0) の和・差である F(0) は整数である。
補題 2：F() = F(0)
証明： より f( − x) = f(x) 、この両辺を k 階微分すると、連鎖律（合成関数の微分法則）より、
が（正確には数学的帰納法により）分かる。k = 0, 2, 4, …, 2n を代入して得られる式の総和を取ると、
を得る。x = 0 を代入すると、補題の式が得られる。
補題 3：
証明：deg f = 2n より f(x) = 0、ゆえに、
これと、積の微分法、三角関数の微分の公式（微分法#概要参照）を用いると、
を得る。微分積分学の基本定理より、
となる。最後の等式では、 が正弦関数の零点であることを用いた。補題 2 より、これは 2F(0) に等しい。
結び： 0 < x < の範囲では f(x) > 0 かつ sin x > 0 である（ は正弦関数の正の零点のうち「最小の」ものであることに注意）。ゆえに、f(x) sin x > 0, 補題 3 より F(0) > 0 である。次に、この F(0) を上から評価する。
より、
を得る。0 ≤ x ≤ で 0 ≤ sin x ≤ 1、補題 3 より、
ここで、自然数 n は任意である。一般に、 が成り立つ。したがって、十分大きな n に対して 0 < F(0) < 1 が成り立つ。これは補題 1 に矛盾する。（証明終）
カートライトの証明 ハロルド・ジェフリーズは、この証明法はが1945年にケンブリッジ大学の試験問題として出したもので，彼女はそれをどこからとったのかを明らかにしていないと書いている（注：証明の詳細については英語版の記述を見られたい）。ただし積分変数を置き換えれば、この証明はG.H.Hardy と E.M.Wright の証明（後述）と一致する。
と置き、自然数 n に対し、
と置く。このとき、 は整数となる。また、十分大きな n に対し、 が言える。これらは矛盾する。
L. Zhou と L. Markov の証明 ニーベン・インケリの定理より、 が でない有理数ならば、 は無理数である。 は有理数であるから、 は無理数である L. Zhou and L. Markov, Recurrent Proofs of the Irrationality of Certain Trigonometric Values, .（したがって も無理数である）。
Zhou–Markov は が無理数であることの別の初等的な証明も与えている。
ニーベン・インケリの定理の証明を次に示す。
整数 に対して
とおき
とおく。 のときの積分をすると
である。各積分を1回ずつ部分積分することにより、 に対して次の漸化式を得る。
これらより、 は、すべて
の形になる。ただし、 と は整数係数の の多項式で、次数は高々 である。
だと仮定すると
である。ところが
なので矛盾である。したがって、 のうち少なくとも1つは、無限に多くのゼロでない項を持つ。それを とおく。
さて
が有理数で
も有理数だと仮定する。すると、 は整数で、 のとき限りなく小さくなる。したがって十分大きな に対して、 となり、 となる。これは矛盾である。ゆえに、ニーベン・インケリの定理が証明された。
G.H.Hardy と E.M.Wright の証明
正の整数をnとし、cmを整数とするとき
とする。0<x<1において
となる。…(1)
πが有理数であると仮定し、（a,bは正の整数）とする。
とする。 m<nまたは2n<mのとき
である。 n≦m≦2nのとき
なので、整数である。 それゆえ、任意のmに対して
は整数である。 したがって G(0) は整数である。
f(x)=f(1-x)なので両辺を微分することにより
である。一般に
のとき
. すなわち
である。 よって
なので
G(0)=G(1)なのでG(1)も整数である。また
となる。さらに
となり、これは整数である。(1)より十分にnが大きいとき
となる。 これは矛盾である。
ランベルトによる証明 有理数 に対する値 が または無理数であることから、その対偶を取れば、 でない有理数 に対する値 は無理数であることがわかる。よって、 は無理数である。
リンデマンの定理の系による証明 円周率の定義は、三角関数 が を取るような の最小値の2倍を用いるものとする。リンデマンの定理の系として、代数的数 に対する は超越数である。リンデマンの定理の系の対偶として、 が代数的数であるとき、 は か超越数である。円周率の定義とリンデマンの定理の系の対偶より は超越数であり、無理数である。
より進んだ結果と未解決問題 ルジャンドルは が無理数であることを示したが、現在では の累乗は全て無理数であることが知られている（円周率は無理数の中でもさらに超越数であるが、超越数の非零有理数乗も超越数になるので円周率のべき乗も超越数であり、無理数であることがわかる）。実際、ドイツのフェルディナント・フォン・リンデマンは、1882年に が超越数であることを示した。これは、さらに一般的なリンデマンの定理1885年にカール・ワイエルシュトラスが証明を簡潔にしたので、リンデマン–ワイエルシュトラスの定理とも呼ばれる。Beckmann 16章 を参照。定理の主張と証明については 塩川 2.7節 を参照。の特別な場合である。この定理は、円周率のみならず、ネイピア数 , 2の自然対数 , の正弦 などが超越数であることを導く、非常に強力なものである。また、は と が 上代数的独立であることを示した塩川 p. 93.。この事実は、 が無理数であることや超越数であることを内包している。
これらの進んだ結果が知られているにもかかわらず、円周率の性質が十分判明したとはいえない。例えば、その（任意の記数法において）小数展開の数字列が十分に「乱数的」であるといえるか（「真の乱数」による乱数列と、何か異なった性質がありはしないか）、例えば正規数であるか、という問題は（そうであろうとは一般に信じられてはいるが）いまだに未解決である。また、 や + e のような単純な定数についても、無理数であるかどうかも分かっていないようなものがある。
脚注
参考文献 M. Aigner and G. M. Ziegler, Proofs from the Book, 3rd edition, Springer, 2003. 蟹江幸博訳『天書の証明』シュプリンガー・フェアラーク東京、2002年（2nd edition の訳） P. Beckmann, History of Pi, 3rd edition, St. Martin's Press, 1971 田尾陽一・清水韶光訳『 の歴史』筑摩書房、2006年 E. Hairer and G. Wanner, Analysis by Its History, Undergraduate Texts in Mathematics, Springer-Verlag, 1996 蟹江幸博訳『解析教程』シュプリンガー東京、2006年（上巻）（下巻） H. Jeffreys, Scientific Inference, 3rd edition, Cambridge University Press, 1973 小平邦彦編『数学の学び方』岩波書店、1987年 - 20～21頁に円周率の無理性の証明が掲載されている。
関連項目 ネイピア数の無理性の証明 円周率がより小さいことの証明 リンデマンの定理