円周率の無理性の証明（えんしゅうりつのむりせいのしょうめい）は、円周率が無理数であること、すなわち円周率の小数展開が無限に続き、しかも循環しないことの証明である。円周率が無理数であること自体はよく知られた事実であるが、その証明を目にする機会はあまりない。知られている中で最も簡単な証明は、初等的な微分積分学のみを用いるものである。

 歴史 

円周率は古代から考察の対象とされ、無理数であることは紀元前4世紀のアリストテレスが予想していたが、証明されたのは二千年以上後のことである。1761年、ドイツの数学者ヨハン・ハインリッヒ・ランベルトは、正接関数の無限連分数表示

を用いて、初めて円周率の無理性を示した。その証明は現代的にはやや不満の残るものであったが、1794年にフランスのアドリアン＝マリ・ルジャンドルは厳密な証明を与え、さらに も無理数であることを発見した。したがってルジャンドルは の無理性よりも強い結果を示した。

20世紀には、初等的な微分積分学の知識のみを用いた証明が発見された。そのうち最もよく知られたものは、カナダ出身のイヴァン・ニーベンが1947年に発表した証明である。それ以前の1945年にも、イギリスのが似た証明を与えている。彼女はそれを公表しなかったが、後にハロルド・ジェフリーズの著書に収録された。1949年、日本の岩本義和は、ニーベンのアイデアを用いて が無理数であることの初等的な証明を与えた。

1978年、フランスのロジェ・アペリーは全ての立方数の逆数和

が無理数であることを示した（アペリーの定理を参照）。この値は、リーマンゼータ函数

の s = 3 における値 ζ である。同様の手法で、彼は全ての平方数の逆数和

すなわち ζ も無理数であることを示した。この極限は に等しい、という事実をすでにレオンハルト・オイラーが示していたので（バーゼル問題を参照）、これはルジャンドルが示したことと同値である。すなわち、アペリーの証明は が無理数であることの別証明になっている。

 証明 
本節では、ニーベンの証明を紹介する。原論文は必要最低限の記述しかないが、ここではいくらか解説を加えている。円周率 は、正弦関数 sin x の正の零点の中で最小のものとする。証明は背理法による。すなわち が有理数であり　（a, b は正の整数）と表せるものと仮定して、それから矛盾を導く。

自然数 n に対して、実関数 f(x) を

で定義する。さらに、

とおく。ここで、f は f の k 階微分を表す。

補題 1：F は整数である。

証明：f(x) の定義式を二項展開すると、

f(x) に x = 0 を代入することを考える。

k < n のときは、f(x) の各項は全て1次以上だから、f = 0。

n ≤ k ≤ 2n のときは、x = 0 を代入する際に、1次以上の項は同様に 0 となるため、定数項のみが残り、

となる。

n ≤ k ≤ 2n より , a, b は整数であるから、f は整数である。

ゆえに、f の和・差である F は整数である。

補題 2：F() = F

証明： より f( − x) = f(x) 、この両辺を k 階微分すると、連鎖律（合成関数の微分法則）より、

が（正確には数学的帰納法により）分かる。k = 0, 2, 4, …, 2n を代入して得られる式の総和を取ると、

を得る。x = 0 を代入すると、補題の式が得られる。

補題 3：

証明：deg f = 2n より f(x) = 0、ゆえに、

これと、積の微分法、三角関数の微分の公式（微分法#概要参照）を用いると、

を得る。微分積分学の基本定理より、

となる。最後の等式では、 が正弦関数の零点であることを用いた。補題 2 より、これは 2F に等しい。

結び： 0 < x < の範囲では f(x) > 0 かつ sin x > 0 である（ は正弦関数の正の零点のうち「最小の」ものであることに注意）。ゆえに、f(x) sin x > 0, 補題 3 より F > 0 である。次に、この F を上から評価する。

より、

を得る。0 ≤ x ≤ で 0 ≤ sin x ≤ 1、補題 3 より、

ここで、自然数 n は任意である。一般に、 が成り立つ。したがって、十分大きな n に対して 0 < F < 1 が成り立つ。これは補題 1 に矛盾する。（証明終）

 カートライトの証明 
ハロルド・ジェフリーズは、この証明法はが1945年にケンブリッジ大学の試験問題として出したもので，彼女はそれをどこからとったのかを明らかにしていないと書いている（注：証明の詳細については英語版の記述を見られたい）。ただし積分変数を置き換えれば、この証明はG.H.Hardy と E.M.Wright の証明（後述）と一致する。

 と置き、自然数 n に対し、

と置く。このとき、 は整数となる。また、十分大きな n に対し、 が言える。これらは矛盾する。

 L. Zhou と L. Markov の証明 
ニーベン・インケリの定理より、 が でない有理数ならば、 は無理数である。 は有理数であるから、 は無理数である（したがって も無理数である）。

Zhou–Markov は が無理数であることの別の初等的な証明も与えている。

ニーベン・インケリの定理の証明を次に示す。

整数 に対して

とおき

とおく。 のときの積分をすると

である。各積分を1回ずつ部分積分することにより、 に対して次の漸化式を得る。

これらより、 は、すべて

の形になる。ただし、 と は整数係数の の多項式で、次数は高々 である。

だと仮定すると

である。ところが

なので矛盾である。したがって、 のうち少なくとも1つは、無限に多くのゼロでない項を持つ。それを とおく。

さて

が有理数で

も有理数だと仮定する。すると、 は整数で、 のとき限りなく小さくなる。したがって十分大きな に対して、 となり、 となる。これは矛盾である。ゆえに、ニーベン・インケリの定理が証明された。

 G.H.Hardy と E.M.Wright の証明 

正の整数をnとし、cmを整数とするとき

とする。0<x<1において

となる。…

πが有理数であると仮定し、（a,bは正の整数）とする。

とする。
m<nまたは2n<mのとき

である。
n≦m≦2nのとき

なので、整数である。
それゆえ、任意のmに対して

は整数である。
したがって
G
は整数である。

f(x)=f(1-x)なので両辺を微分することにより

である。一般に

のとき

.
すなわち

である。
よって

なので

G=GなのでGも整数である。また

となる。さらに

となり、これは整数である。より十分にnが大きいとき

となる。
これは矛盾である。

 ランベルトによる証明 
有理数 に対する値 が または無理数であることから、その対偶を取れば、 でない有理数 に対する値 は無理数であることがわかる。よって、 は無理数である。

 リンデマンの定理の系による証明 
円周率の定義は、三角関数 が を取るような の最小値の2倍を用いるものとする。リンデマンの定理の系として、代数的数 に対する は超越数である。リンデマンの定理の系の対偶として、 が代数的数であるとき、 は か超越数である。円周率の定義とリンデマンの定理の系の対偶より は超越数であり、無理数である。

 より進んだ結果と未解決問題 
ルジャンドルは が無理数であることを示したが、現在では の累乗は全て無理数であることが知られている（実は円周率は超越数であり，（非零有理数をべき指数とする）超越数のべき乗も超越数になるので（非零有理数をべき指数とする）円周率のべき乗は超越数になる。そうして超越数は無理数である）。実際、ドイツのフェルディナント・フォン・リンデマンは、1882年に が超越数であることを示した。これは、さらに一般的なリンデマンの定理の特別な場合である。この定理は、円周率のみならず、ネイピア数 , 2の自然対数 , の正弦 などが超越数であることを導く、非常に強力なものである。また、は と が 上代数的独立であることを示した。この事実は、 が無理数であることや超越数であることを内包している。

これらの進んだ結果が知られているにもかかわらず、円周率の性質が十分判明したとはいえない。例えば、その（任意の記数法において）小数展開の数字列が十分に「乱数的」であるといえるか（「真の乱数」による乱数列と、何か異なった性質がありはしないか）、例えば正規数であるか、という問題は（そうであろうとは一般に信じられてはいるが）いまだに未解決である。また、 や + e のような単純な定数についても、無理数であるかどうかも分かっていないようなものがある。