円の面積

円の面積（えんのめんせき） S {\displaystyle S} は、円周率を π {\displaystyle \pi } 、円の半径を r {\displaystyle r} としたとき、 S = π r 2 {\displaystyle S=\pi r^{2}} で表される。 古代エジプトにおいては、リンド・パピルスの問題50に円の面積を求める方法が記録されている。 リンド・パピルスでは、円の直径 d {\displaystyle d} からその 1 9 {\displaystyle {\frac {1}{9}}} を引いた数の2乗、 S = ( d − d 9 ) 2 = 64 81 d 2 {\displaystyle S=(d-{\frac {d}{9}})^{2}={\frac {64}{81}}d^{2}} として円の面積を求めている。これは半径 r {\displaystyle r} を用いて書き直せば、 S = 256 81 r 2 {\displaystyle S={\frac {256}{81}}r^{2}} となる。したがって、現代の視点ではリンド・パピルスにおける計算は円周率を π ≈ 256 81 ( = 3.16 … ) {\displaystyle \pi \approx {\frac {256}{81}}\,(=3.16\ldots )} と近似したものと見なせる。ただしこのことは、古代エジプト人が円周率を知っていたことや円周率の近似値を種々の計算に利用していたことを直ちに意味しない。 バビロニア数学では、円周の長さを c {\displaystyle c} としたとき、 S =   5 c 2 60 {\displaystyle S={\frac {\ 5c^{2}}{60}}} で求めていた。また、円周率に相当する数値は、円に内接する正6角形によって近似した 3 や、内接および外接する正12角形で円の面積を近似して求まる 3.125 であったといわれている。 ヘブライ語最古とされる幾何学書『ミシュナート・ハ・ミッドット（英語版）』によれば、円の直径 d {\displaystyle d} の自乗からその 1 7 {\displaystyle {\frac {1}{7}}} と 1 14 {\displaystyle {\frac {1}{14}}} を取り去ると円の面積 S {\displaystyle S} が得られる。これは、 S = d 2 − 1 7 d 2 − 1 14 d 2 = 11 14 d 2 {\displaystyle S=d^{2}-{\frac {1}{7}}d^{2}-{\frac {1}{14}}d^{2}={\frac {11}{14}}d^{2}} である。したがって、半径 r {\displaystyle r} で整理すれば、 S = 22 7 r 2 {\displaystyle S={\frac {22}{7}}r^{2}} となり、円周率に相当する数値は 22 7 ≈ 3.14 … {\displaystyle {\frac {22}{7}}\approx 3.14\ldots } と求まる。 エウクレイデスは『原論』において、直径 d {\displaystyle d} の円の面積が1辺を d {\displaystyle d} とする 正方形の面積に比例することを証明した。しかし、円周率の値には言及していなかった。 アルキメデスは『円の計測』において、 命題1 円の面積は、円周の長さを底辺、半径を高さとする直角三角形の面積に等しい 命題3 円周と直径との比は、 3 10 71 {\displaystyle 3{\frac {10}{71}}} より大きく、 3 1 7 {\displaystyle 3{\frac {1}{7}}} より小さい を、取り尽くし法を用いて証明した。命題1は、円に内接および外接する正方形（正4角形）から辺数を増やしていき、円の面積が円周の長さを底辺、半径を高さとする直角三角形の面積よりも「大きくなく」「小さくない」ことで等しいことを証明した。命題3は、円に内接する正多角形の辺長と外接する正多角形の辺長の間に円周の長さがあることを用いて、円に内接および外接する正6角形から出発して正96角形で証明した。 『九章算術』に註釈をつけた魏の劉徽は、円の内接する正6角形から正12角形、正24角形と辺数を増やしていくと、やがて内接多角形の面積は円の面積に差は無くなる、としている。 具体的には、円に内接する正n多角形のうち1つの三角形（△OAB）に対し、三角形の底辺とそのの二等分線と円周上の交点を高さとする長方形で囲まれる面積（□AA'B'B）を考えると、内接する正n角形の面積とその面積に長方形の面積を加えたものの間に円の面積がある、ということを利用している（右図）。 正n角形の面積を a n {\displaystyle a_{n}} 、円の面積を S {\displaystyle S} としたとき、 a 2 n < S < a 2 n + ( a 2 n − a n ) {\displaystyle a_{2n}<S<a_{2n}+(a_{2n}-a_{n})} となり、半径10の円に対する正192角形までを評価して、 314 64 625 < 100 π < 314 169 625 {\displaystyle 314{\frac {64}{625}}<100\pi <314{\frac {169}{625}}} を得た。 さらに内接多角形の辺を増やしていくことによって、 314 4 25 {\displaystyle 314{\frac {4}{25}}} を得ている。 江戸時代初期に発行された算術書である吉田光由の『塵劫記』において、直径 d {\displaystyle d} の円の面積は、直径の自乗に「まるき法」を掛けて求める。ここで、まるき法は π 4 {\displaystyle {\frac {\pi }{4}}} に相当する値で、0.79 である。面積 S {\displaystyle S} で表せば、 S = 0.79 d 2 {\displaystyle S=0.79d^{2}} である。 また、円周の長さ c {\displaystyle c} の円の面積は、円周の長さを「円きめくり法」で割り、直径 d {\displaystyle d} を求めてから上記の方法を使って円の面積を求める。ここで、円きめくり法は円周率に相当する値で、3.16 である。面積 S {\displaystyle S} で表せば、 S = 0.79 d 2 = 0.79 ( c 3.16 ) 2 {\displaystyle S=0.79d^{2}=0.79({\frac {c}{3.16}})^{2}} である。 アルキメデスによる証明から、命題1における円周の長さを c {\displaystyle c} 、半径を r {\displaystyle r} とすると、円の面積 S {\displaystyle S} は底辺が c {\displaystyle c} 、高さが r {\displaystyle r} の直角三角形の面積なので、 S = 1 2 c r {\displaystyle S={\frac {1}{2}}cr} となる。 命題3における円周の長さ c {\displaystyle c} と直径の比を π {\displaystyle \pi } とすれば、直径は半径の2倍の 2 r {\displaystyle 2r} なので、 c = 2 π r {\displaystyle c=2\pi r} であり、 c {\displaystyle c} を S {\displaystyle S} に代入すると、 S = 1 2 ( 2 π r ) r = π r 2 {\displaystyle S={\frac {1}{2}}(2\pi r)r=\pi r^{2}} となり、円の面積の公式が得られる。 変形方法(1) 半径rの円を中心から扇形に細かく等分し、右図のように半分を互いに櫛形に合わさるように組み合わせる。非常に細かく等分していけば、底辺は円周の長さの半分、高さは半径とみなせるので、それぞれ π r {\displaystyle \pi r} 、 r {\displaystyle r} の平行四辺形の面積になる。したがって、 S = ( π r ) r = π r 2 {\displaystyle S=(\pi r)r=\pi r^{2}} となる。 変形方法(2) 半径rの円を中心から扇形に細かく等分し、円周を直線に延ばすと、直線上には切断した扇形（三角形）が並び、その高さは全て半径rに等しい。円の中心にあった頂点を平行移動して一点に集めても面積は変わらないので、底辺が円周に等しい 2 π r {\displaystyle 2\pi r} 、高さが半径 r {\displaystyle r} に等しい三角形の面積であり、 S = 1 2 ( 2 π r ) r = π r 2 {\displaystyle S={\frac {1}{2}}(2\pi r)r=\pi r^{2}} が得られる。 円に内接または外接する正多角形（正n角形）の辺数nを増やしていくと円の面積に等しくなる。 半径rの円に内接する正n角形において、1区画の三角形の面積を考える（右図(a)）。 三角形の高さは r sin ⁡ π n {\displaystyle r\sin {\frac {\pi }{n}}} 、底辺は 2 r cos ⁡ π n {\displaystyle 2r\cos {\frac {\pi }{n}}} となるので、1区画の面積は r 2 sin ⁡ π n cos ⁡ π n {\displaystyle r^{2}\sin {\frac {\pi }{n}}\cos {\frac {\pi }{n}}} であり、全区画の合計は n r 2 sin ⁡ π n cos ⁡ π n {\displaystyle nr^{2}\sin {\frac {\pi }{n}}\cos {\frac {\pi }{n}}} である。 したがって、 n → ∞ {\displaystyle n\to \infty } とすれば、 lim n → ∞ n r 2 sin ⁡ π n cos ⁡ π n = lim n → ∞ n r 2 sin ⁡ π n {\displaystyle \lim _{n\to \infty }nr^{2}\sin {\frac {\pi }{n}}\cos {\frac {\pi }{n}}=\lim _{n\to \infty }nr^{2}\sin {\frac {\pi }{n}}} ここで、 n = π / x {\displaystyle n=\pi /x} とおけば、 lim n → ∞ n r 2 sin ⁡ π n = lim x → 0 π r 2 sin ⁡ x x {\displaystyle \lim _{n\to \infty }nr^{2}\sin {\frac {\pi }{n}}=\lim _{x\to 0}\pi r^{2}{\frac {\sin x}{x}}} さらに、 lim x → 0 sin ⁡ x x = 1 {\displaystyle \lim _{x\to 0}{\frac {\sin x}{x}}=1} なので、 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「http://localhost:6011/ja.wikipedia.org/v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle \lim_{x \to 0} \pi r^2 \frac{\sin x}{x}=\pi r^2} である。 内接正多角形と同様に1区画の三角形の面積を考える（右図(b)） 三角形の高さは r {\displaystyle r} 、底辺は 2 r tan ⁡ π n {\displaystyle 2r\tan {\frac {\pi }{n}}} となるので、1区画の面積は r 2 tan ⁡ π n {\displaystyle r^{2}\tan {\frac {\pi }{n}}} であり、全区画の合計は n r 2 tan ⁡ π n {\displaystyle nr^{2}\tan {\frac {\pi }{n}}} である。 n → ∞ {\displaystyle n\to \infty } とすれば、 lim n → ∞ tan ⁡ π n = lim n → ∞ sin ⁡ π n {\displaystyle \lim _{n\to \infty }\tan {\frac {\pi }{n}}=\lim _{n\to \infty }\sin {\frac {\pi }{n}}} であるから、 lim n → ∞ n r 2 tan ⁡ π n = lim n → ∞ n r 2 sin ⁡ π n {\displaystyle \lim _{n\to \infty }nr^{2}\tan {\frac {\pi }{n}}=\lim _{n\to \infty }nr^{2}\sin {\frac {\pi }{n}}} これは内接正多角形の場合と同様の式であり、上式は π r 2 {\displaystyle \pi r^{2}} に等しくなる。 デカルト座標の原点における半径 r の円の方程式 x 2 + y 2 = r 2 {\displaystyle x^{2}+y^{2}=r^{2}} に対し、四分円 y = r 2 − x 2 {\displaystyle y={\sqrt {r^{2}-x^{2}}}} ( 0 ≤ x ≤ r ) {\displaystyle (0\leq x\leq r)} の面積 S 4 {\displaystyle S_{4}} を考え、結果を4倍すれば円の面積が求まる。 ∫ r 2 − x 2 d x {\displaystyle \int {\sqrt {r^{2}-x^{2}}}\,dx} において、 f ( x ) = 1 {\displaystyle f(x)=1} 、 g ( x ) = r 2 − x 2 {\displaystyle g(x)={\sqrt {r^{2}-x^{2}}}} とおけば、 f ( x ) {\displaystyle f(x)} の原始関数は F ( x ) = x {\displaystyle F(x)=x} 、 g ( x ) ′ = x r 2 − x 2 {\displaystyle g(x)'={\frac {x}{\sqrt {r^{2}-x^{2}}}}} であるから、部分積分の公式 ∫ f ( x ) g ( x ) d x = F ( x ) g ( x ) − ∫ F ( x ) g ( x ) ′ d x {\displaystyle \int f(x)g(x)\,dx=F(x)g(x)-\int F(x)g(x)'\,dx} を用いて、 ∫ r 2 − x 2 d x = 1 2 ( x r 2 − x 2 + r 2 arcsin ⁡ x r ) {\displaystyle \int {\sqrt {r^{2}-x^{2}}}\,dx={\frac {1}{2}}(x{\sqrt {r^{2}-x^{2}}}+r^{2}\arcsin {\frac {x}{r}})} が得られるので、四分円の定積分は、 S 4 = ∫ 0 r r 2 − x 2 d x = [ 1 2 ( x r 2 − x 2 + r 2 arcsin ⁡ x r ) ] 0 r = π r 2 4 {\displaystyle {\begin{aligned}S_{4}&=\int _{0}^{r}{\sqrt {r^{2}-x^{2}}}\,dx\\&=\left[{\frac {1}{2}}(x{\sqrt {r^{2}-x^{2}}}+r^{2}\arcsin {\frac {x}{r}})\right]_{0}^{r}\\&={\frac {\pi r^{2}}{4}}\end{aligned}}} である。したがって、全円の面積 S は S = 4 S 4 {\displaystyle S=4S_{4}} なので、 S = π r 2 {\displaystyle S=\pi r^{2}} になる。 四分円の定積分は、 S 4 = ∫ 0 r r 2 − x 2 d x {\displaystyle S_{4}=\int _{0}^{r}{\sqrt {r^{2}-x^{2}}}\,dx} ここで、 x = r sin ⁡ t {\displaystyle x=r\sin t} とおけば、 d x = r cos ⁡ t d t {\displaystyle \,dx=r\cos t\,dt} 、積分範囲は 0 → r {\displaystyle 0\to r} から 0 → π 2 {\displaystyle 0\to {\frac {\pi }{2}}} となる。また、 r 2 − x 2 = r 2 ( 1 − sin 2 ⁡ t ) = r cos ⁡ t {\displaystyle {\sqrt {r^{2}-x^{2}}}={\sqrt {r^{2}(1-\sin ^{2}t)}}=r\cos t} となるので、 S 4 = ∫ 0 π 2 r 2 cos 2 ⁡ t d t = r 2 ∫ 0 π 2 1 + cos ⁡ 2 t 2 d t = r 2 2 [ t + sin ⁡ 2 t 2 ] 0 π 2 = π r 2 4 {\displaystyle {\begin{aligned}S_{4}&=\int _{0}^{\frac {\pi }{2}}r^{2}\cos ^{2}t\,dt\\&=r^{2}\int _{0}^{\frac {\pi }{2}}{\frac {1+\cos 2t}{2}}\,dt\\&={\frac {r^{2}}{2}}\left[t+{\frac {\sin 2t}{2}}\right]_{0}^{\frac {\pi }{2}}\\&={\frac {\pi r^{2}}{4}}\end{aligned}}} である。全円の面積 S は S = 4 S 4 {\displaystyle S=4S_{4}} なので、 S = π r 2 {\displaystyle S=\pi r^{2}} になる。 関数 f ( x ) = r 2 − x 2 {\displaystyle f(x)={\sqrt {r^{2}-x^{2}}}} を考えたとき、この関数は ( 0 ≤ x ≤ r ) {\displaystyle (0\leq x\leq r)} において連続であるからリーマン和による面積の計算が可能であり、それは上記の定積分と等しくなる。 構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「http://localhost:6011/ja.wikipedia.org/v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle f(x)=\sqrt{r^2-x^2}} において、区間 [ 0 , r ] {\displaystyle [0,r]} を n分割する x 0 = 0 {\displaystyle x_{0}=0} 、 x n = r {\displaystyle x_{n}=r} 、構文解析に失敗 (SVG（ブラウザのプラグインで MathML を有効にすることができます）: サーバー「http://localhost:6011/ja.wikipedia.org/v1/」から無効な応答 ("Math extension cannot connect to Restbase."):): {\displaystyle x_{k-1}<x_k (k=1 \ldots n)} をとり、区間 [ x k − 1 , x k ] {\displaystyle [x_{k-1},x_{k}]} における任意の点を ξ k {\displaystyle \xi _{k}} とすれば、四分円のリーマン和は、 S 4 = lim n → ∞ ∑ k = 1 n f ( ξ k ) ( x k − x k − 1 ) = lim n → ∞ ∑ k = 1 n r 2 − ξ k 2 ( x k − x k − 1 ) {\displaystyle S_{4}=\lim _{n\to \infty }\sum _{k=1}^{n}f(\xi _{k})(x_{k}-x_{k-1})=\lim _{n\to \infty }\sum _{k=1}^{n}{\sqrt {r^{2}-\xi _{k}^{2}}}(x_{k}-x_{k-1})} である。 ここで、分割方法をn等分とすれば、 x k − x k − 1 = r n {\displaystyle x_{k}-x_{k-1}={\frac {r}{n}}} であり、 ξ k = k r n {\displaystyle \xi _{k}={\frac {kr}{n}}} とおくと、 lim n → ∞ ∑ k = 1 n r 2 − ξ k 2 ( x k − x k − 1 ) = lim n → ∞ ∑ k = 1 n r 2 − ( k r n ) 2 r n = r 2 lim n → ∞ ∑ k = 1 n 1 n 1 − ( k n ) 2 {\displaystyle {\begin{aligned}\lim _{n\to \infty }\sum _{k=1}^{n}{\sqrt {r^{2}-\xi _{k}^{2}}}(x_{k}-x_{k-1})&=\lim _{n\to \infty }\sum _{k=1}^{n}{\sqrt {r^{2}-({\frac {kr}{n}})^{2}}}{\frac {r}{n}}\\&=r^{2}\lim _{n\to \infty }\sum _{k=1}^{n}{\frac {1}{n}}{\sqrt {1-({\frac {k}{n}})^{2}}}\\\end{aligned}}} さらに、 lim n → ∞ ∑ k = 1 n 1 n 1 − ( k n ) 2 = π 4 {\displaystyle \lim _{n\to \infty }\sum _{k=1}^{n}{\frac {1}{n}}{\sqrt {1-({\frac {k}{n}})^{2}}}={\frac {\pi }{4}}} であるから、 S 4 = π r 2 4 {\displaystyle S_{4}={\frac {\pi r^{2}}{4}}} となって、 S = π r 2 {\displaystyle S=\pi r^{2}} を得る。 原点を中心として、半径 x {\displaystyle x} の円周 ( 2 π x {\displaystyle 2\pi x} ) に対して、高さ d x {\displaystyle dx} の円環を考える。 このとき、 d x {\displaystyle dx} が小さければ、半径 x {\displaystyle x} の円周と高さ d x {\displaystyle dx} でできる面積は長方形とみなせ、その面積は d S = 2 π x d x {\displaystyle dS=2\pi xdx} である。したがって、半径 r {\displaystyle r} の円の面積は x {\displaystyle x} を 0 から r {\displaystyle r} まで積分したものに等しい。 S = ∫ 0 r d S = ∫ 0 r 2 π x d x = 2 π [ x 2 2 ] 0 r = π r 2 {\displaystyle {\begin{aligned}S=\int _{0}^{r}\,dS&=\int _{0}^{r}2\pi x\,dx\\&=2\pi \left[{\frac {x^{2}}{2}}\right]_{0}^{r}\\&=\pi r^{2}\end{aligned}}} 小学校において円の面積の公式が導入された後、高校の数学Ⅲの課程において「いろいろな曲線で囲まれた図形の面積」を積分法によって導出することが可能になるが、この一連の流れは循環論法をなしていることが指摘されている。 循環論法の流れ (山川 2007に基づく) 円の面積の公式 S = πr2 から、中心角 θ (rad) の扇形の面積は 1/2πr2θ である。 中心角 θ (rad) の扇型の面積を用いて、不等式 1/2r2sin θ < 1/2r2θ < 1/2r2tan θ が導出される。 はさみうちの原理により、limθ → 0sin θ/θ = 1 が導出される。 limθ → 0sin θ/θ = 1 より、d/dx(sin x) = cos x である。 sin x の微分が cos x であることを用いて、 ∫ 0 r r 2 − x 2 d x = π r 2 4 {\textstyle \int _{0}^{r}{\sqrt {r^{2}-x^{2}}}dx={\frac {\pi r^{2}}{4}}} を得る。従って S = πr2 である。