円の面積
円の面積(えんのめんせき)Sは、円周率を \pi、円の半径を r としたとき、
で表される。
古代エジプトにおいては、リンド・パピルスの問題50に円の面積を求める方法が記録されている同様の計算は問題41の円筒の体積を求める際にも行われている。。
リンド・パピルスでは、円の直径 d 9 の例を計算している。この場合、結果は整数となる。からその \frac{1}{9} を引いた数の2乗、
として円の面積を求めている。これは半径 r を用いて書き直せば、
となる。したがって、現代の視点ではリンド・パピルスにおける計算は円周率を
と近似したものと見なせる。ただしこのことは、古代エジプト人が円周率を知っていたことや円周率の近似値を種々の計算に利用していたことを直ちに意味しない。
バビロニア数学では、円周の長さを c としたとき、
で求めていた。また、円周率に相当する数値は、円に内接する正6角形によって近似した 3 や、内接および外接する正12角形で円の面積を近似して求まる 3.125 であったといわれている。
ヘブライ語最古とされる幾何学書『ミシュナート・ハ・ミッドット』によれば、円の直径 d の自乗からその \frac{1}{7} と \frac{1}{14} を取り去ると円の面積 S が得られる。これは、
である。したがって、半径 r で整理すれば、
となり、円周率に相当する数値は \frac{22}{7}\approx 3.14\ldots と求まる。
エウクレイデスは『原論』において、直径 d の円の面積が1辺を d とする
正方形の面積に比例することを証明した。しかし、円周率の値には言及していなかった。
アルキメデスは『円の計測』において、
円の面積は、円周の長さを底辺、半径を高さとする直角三角形の面積に等しい
円周と直径との比は、3\frac{10}{71}より大きく、3\frac{1}{7}より小さい実際には、円周を C、直径を d とすると、\frac{10}{71}d < C-3d < \frac{1}{7}d であることを示した。
を、取り尽くし法を用いて証明した。命題1は、円に内接および外接する正方形(正4角形)から辺数を増やしていき、円の面積が円周の長さを底辺、半径を高さとする直角三角形の面積よりも「大きくなく」「小さくない」ことで等しいことを証明この方法は、二重帰謬法、二重背理法とも呼ばれる。した。命題3は、円に内接する正多角形の辺長と外接する正多角形の辺長の間に円周の長さがあることを用いて、円に内接および外接する正6角形から出発して正96角形で証明した。
『九章算術』に註釈をつけた魏の劉徽は、円の内接する正6角形から正12角形、正24角形と辺数を増やしていくと、やがて内接多角形の面積は円の面積に差は無くなる、としている。
具体的には、円に内接する正n多角形のうち1つの三角形(△OAB)に対し、三角形の底辺とそのの二等分線と円周上の交点を高さとする長方形で囲まれる面積(□AA'B'B)を考えると、内接する正n角形の面積とその面積に長方形の面積を加えたものの間に円の面積がある、ということを利用している(右図)。
正n角形の面積をa_n、円の面積をSとしたとき、
となり、半径10の円に対する正192角形までを評価して10寸であるが単位は略した。、
314\frac{64}{625}<100\pi<314\frac{169}{625}を得た。
さらに内接多角形の辺を増やしていくことによって、314 \frac{4}{25}を得ている。
江戸時代初期に発行された算術書である吉田光由の『塵劫記』において、直径 d の円の面積は、直径の自乗に「まるき法」を掛けて求める。ここで、まるき法は\frac{\pi}{4}に相当する値で、0.79 である。面積 S で表せば、
である。
また、円周の長さ c の円の面積は、円周の長さを「円きめくり法」で割り、直径 d を求めてから上記の方法を使って円の面積を求める。ここで、円きめくり法は円周率に相当する値で、3.16 である。面積 S で表せば、
である。
アルキメデスによる証明から、命題1における円周の長さを c 、半径を r とすると、円の面積 S は底辺が c 、高さが r の直角三角形の面積なので、
となる。
命題3における円周の長さ c と直径の比を \pi とすれば、直径は半径の2倍の 2r なので、
であり、
cをSに代入すると、
となり、円の面積の公式が得られる。
変形方法(1)
半径rの円を中心から扇形に細かく等分し、右図のように半分を互いに櫛形に合わさるように組み合わせる。非常に細かく等分していけば、底辺は円周の長さの半分、高さは半径とみなせるので、それぞれ \pi r、r の平行四辺形の面積になる。したがって、
となる小学校学習指導要領において具体的な教示法は示されていないものの、その解説において「円の変形による式の導出」として、円をいくつかの扇形に分割し平行四辺形に近似させる方法が掲げられている。
変形方法(2)
半径rの円を中心から扇形に細かく等分し、円周を直線に延ばすと、直線上には切断した扇形(三角形)が並び、その高さは全て半径rに等しい。円の中心にあった頂点を平行移動して一点に集めても面積は変わらないので、底辺が円周に等しい 2\pi r、高さが半径 r に等しい三角形の面積であり、
が得られる。
円に内接または外接する正多角形(正n角形)の辺数nを増やしていくと円の面積に等しくなる。
半径rの円に内接する正n角形において、1区画の三角形の面積を考える(右図(a))。
三角形の高さは r\sin \frac{\pi}{n}、底辺は 2r\cos \frac{\pi}{n} となるので、1区画の面積は r^2\sin \frac{\pi}{n}\cos \frac{\pi}{n} であり、全区画の合計は nr^2\sin \frac{\pi}{n}\cos \frac{\pi}{n} である。
したがって、n \to \infty とすれば、
ここで、n=\pi/x とおけば、
さらに、\lim_{x \to 0}\frac{\sin x}{x}=1 なので、
である。
内接正多角形と同様に1区画の三角形の面積を考える(右図(b))
三角形の高さは r、底辺は 2r\tan \frac{\pi}{n} となるので、1区画の面積は r^2\tan \frac{\pi}{n} であり、全区画の合計は nr^2\tan \frac{\pi}{n} である。
n \to \infty とすれば、\lim_{n \to \infty} \tan \frac{\pi}{n}=\lim_{n \to \infty} \sin \frac{\pi}{n} であるから、
これは内接正多角形の場合と同様の式であり、上式は \pi r^2 に等しくなる。
デカルト座標の原点における半径 r の円の方程式 x^2+y^2=r^2 に対し、四分円 y=\sqrt{r^2-x^2} (0\le x \le r) の面積 S_4 を考え、結果を4倍すれば円の面積が求まる。
において、f(x)=1、g(x)=\sqrt{r^2-x^2} とおけば、f(x) の原始関数はF(x)=x、g(x)'=\frac{x}{\sqrt{r^2-x^2} であるから、部分積分の公式\int f(x)g(x)\,dx=F(x)g(x)-\int F(x)g(x)'\,dxを用いて、
が得られるので、四分円の定積分は、
\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{align}
である。したがって、全円の面積 S は S=4S_4 なので、
になる。
四分円の定積分は、
ここで、x=r\sin t とおけば、\, dx = r \cos t \, dt、積分範囲は 0 \to r から 0 \to \frac{\pi}{2} となる。また、\sqrt{r^2-x^2}=\sqrt{r^2(1-\sin ^2 t)}=r \cos t となるので、
\int _0^{\frac{\pi}{2r^2 \cos^2 t\,dt\\
&=r^2 \int _0^{\frac{\pi}{2}\frac{1+ \cos 2 t}{2}\,dt\\
&=\frac{r^2}{2} \left [ t+\frac{\sin 2 t}{2}\right ]_{0}^{\frac{\pi}{2}\\
&=\frac{\pi r^2}{4}
\end{align}}
である。全円の面積 S は S=4S_4 なので、
になる。
関数 f(x)=\sqrt{r^2-x^2} を考えたとき、この関数は (0\le x \le r) において連続であるからリーマン和による面積の計算が可能であり、それは上記の定積分と等しくなる。
f(x)=\sqrt{r^2-x^2} において、区間 [0,r] を n分割する x_0=0、x_n=r、x_{k-1}<x_k  (k=1 \ldots n) をとり、区間 [x_{k-1},x_k] における任意の点を \xi_k とすれば、四分円のリーマン和は、
であるこれは例えば『岩波講座 現代数学への入門』、『理工系の微積分入門』による方法を四分円に適用したもの。。
ここで、分割方法をn等分とすれば、x_k-x_{k-1}=\frac{r}{n} であり、\xi_k=\frac{kr}{n}とおくと、
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{align}
さらに、
であるから1}^{n-1}\sqrt{n^2-r^2}の極限値として\frac{\pi}{4}が示されている。\frac{1}{n^2}\sqrt{n^2-r^2}=\frac{1}{n}\sqrt{1-(\frac{r}{n})^2} である。、
となって、S=\pi r^2 を得る。
原点を中心として、半径 x の円周 (2\pi x ) に対して、高さ dx の円環を考える。
このとき、dx が小さければ、半径 x の円周と高さ dx でできる面積は長方形とみなせ、その面積は dS=2\pi x dx である。したがって、半径 r の円の面積は  x を 0 から r まで積分したものに等しい。
\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{align}
小学校において円の面積の公式が導入された後、高校の数学Ⅲの課程において「いろいろな曲線で囲まれた図形の面積」を積分法によって導出することが可能になるが、この一連の流れは循環論法をなしていることが指摘されている。
循環論法の流れ (に基づく)
円の面積の公式 S  Pir2 から、中心角 θ (rad) の扇形の面積は 1Pir2θ である。
中心角 θ (rad) の扇型の面積を用いて、不等式 1r2sin θ < 1r2θ < 1r2tan θ が導出される。
はさみうちの原理により、θ → 0sin θ = 1 が導出される。
θ → 0sin θ = 1 より、d(sin x) = cos x である。
sin x の微分が cos x であることを用いて、\int_0^r\sqrt{r^2-x^2}dx=\frac{\pi r^2}{4} を得る。従って S  Pir2 である。