円の面積

円の面積（えんのめんせき）$S$は、円周率を $\pi$、円の半径を $r$ としたとき、 テンプレート:Indent で表されるテンプレート:Sfn。

歴史

古代エジプト

円の直径から、その1/9を引いたものを2乗すると円の面積になる（リンド・パピルス）

古代エジプトにおいては、リンド・パピルスの問題50に円の面積を求める方法が記録されているテンプレート:Efn。

リンド・パピルスでは、円の直径 $d$テンプレート:Efnからその $\frac{1}{9}$ を引いた数の2乗、 テンプレート:Indent として円の面積を求めている。これは半径 $r$ を用いて書き直せば、 テンプレート:Indent となる。したがって、現代の視点ではリンド・パピルスにおける計算は円周率を テンプレート:Indent と近似したものと見なせるテンプレート:Sfn。ただしこのことは、古代エジプト人が円周率を知っていたことや円周率の近似値を種々の計算に利用していたことを直ちに意味しない。

古代バビロニア

バビロニア数学では、円周の長さを $c$ としたとき、 テンプレート:Indent で求めていたテンプレート:Sfn。また、円周率に相当する数値は、円に内接する正6角形によって近似した 3 テンプレート:Sfnや、内接および外接する正12角形で円の面積を近似して求まる 3.125 であったといわれているテンプレート:Sfnテンプレート:Sfn。

ヘブライ

ヘブライ語最古とされる幾何学書『テンプレート:仮リンク』によれば、円の直径 $d$ の自乗からその $\frac{1}{7}$ と $\frac{1}{14}$ を取り去ると円の面積 $S$ が得られる。これは、 テンプレート:Indent であるテンプレート:Sfn。したがって、半径 $r$ で整理すれば、 テンプレート:Indent となり、円周率に相当する数値は $\frac{22}{7}\approx 3.14\dots$ と求まる。

古代ギリシャ

円の面積は、円周 c を底辺、半径 r を高さとする直角三角形の面積に等しい

エウクレイデスは『原論』において、直径 $d$ の円の面積が1辺を $d$ とする 正方形の面積に比例することを証明したテンプレート:Sfn。しかし、円周率の値には言及していなかったテンプレート:Sfn。

円に内接する正6,12,24角形

アルキメデスは『円の計測』において、

命題1

円の面積は、円周の長さを底辺、半径を高さとする直角三角形の面積に等しい

命題3

円周と直径との比は、$3\frac{10}{71}$より大きく、$3\frac{1}{7}$より小さいテンプレート:Efn

を、取り尽くし法を用いて証明した。命題1は、円に内接および外接する正方形（正4角形）から辺数を増やしていき、円の面積が円周の長さを底辺、半径を高さとする直角三角形の面積よりも「大きくなく」「小さくない」ことで等しいことを証明テンプレート:Efnしたテンプレート:Sfnテンプレート:Sfn。命題3は、円に内接する正多角形の辺長と外接する正多角形の辺長の間に円周の長さがあることを用いて、円に内接および外接する正6角形から出発して正96角形で証明したテンプレート:Sfnテンプレート:Sfnテンプレート:Sfnテンプレート:Sfnテンプレート:Sfn。

古代中国

『九章算術』劉徽による円に内接する正多角形を用いた円の求積

『九章算術』に註釈をつけた魏の劉徽は、円の内接する正6角形から正12角形、正24角形と辺数を増やしていくと、やがて内接多角形の面積は円の面積に差は無くなる、としているテンプレート:Sfn。

具体的には、円に内接する正n多角形のうち1つの三角形（△OAB）に対し、三角形の底辺とそのの二等分線と円周上の交点を高さとする長方形で囲まれる面積（□AA'B'B）を考えると、内接する正n角形の面積とその面積に長方形の面積を加えたものの間に円の面積がある、ということを利用している（右図）。

正n角形の面積を$a_n$、円の面積を$S$としたとき、 テンプレート:Indent となり、半径10の円に対する正192角形までを評価してテンプレート:Efn、 $314\frac{64}{625}<100\pi <314\frac{169}{625}$を得たテンプレート:Sfn。 さらに内接多角形の辺を増やしていくことによって、$314\frac{4}{25}$を得ている。

日本

江戸時代初期に発行された算術書である吉田光由の『塵劫記』において、直径 $d$ の円の面積は、直径の自乗に「まるき法」を掛けて求める。ここで、まるき法は$\frac{\pi }{4}$に相当する値で、0.79 である。面積 $S$ で表せば、 テンプレート:Indent であるテンプレート:Sfnテンプレート:Sfn。

また、円周の長さ $c$ の円の面積は、円周の長さを「円きめくり法」で割り、直径 $d$ を求めてから上記の方法を使って円の面積を求める。ここで、円きめくり法は円周率に相当する値で、3.16 である。面積 $S$ で表せば、 テンプレート:Indent であるテンプレート:Sfnテンプレート:Sfn。

円の面積の公式の導出

アルキメデスによる証明から、命題1における円周の長さを $c$ 、半径を $r$ とすると、円の面積 $S$ は底辺が $c$ 、高さが $r$ の直角三角形の面積なので、 テンプレート:Indent となる。 命題3における円周の長さ $c$ と直径の比を $\pi$ とすれば、直径は半径の2倍の $2r$ なので、 テンプレート:Indent であり、 $c$を$S$に代入すると、 テンプレート:Indent となり、円の面積の公式が得られるテンプレート:Sfn。

円の面積を求める他の方法

幾何学的変形

半径$r$の円を放射状に切断し交互に並べると、縦が半径$r$、横が$\pi r$の長方形と見なせる。

変形方法(1)

半径rの円を中心から扇形に細かく等分し、右図のように半分を互いに櫛形に合わさるように組み合わせる。非常に細かく等分していけば、横の長さは円周の長さの半分、縦の長さは半径とみなせるので、それぞれ $\pi r$、$r$ の長方形の面積になる。したがって、 テンプレート:Indent となるテンプレート:Sfnテンプレート:Sfnテンプレート:Efn。

半径$r$の円を放射状に切断し円周を直線状に延ばすと、円を分割した三角形を並べたものと見なせる。

変形方法(2)

半径rの円を中心から扇形に細かく等分し、円周を直線に延ばすと、直線上には切断した扇形（三角形）が並び、その高さは全て半径rに等しい。円の中心にあった頂点を平行移動して一点に集めても面積は変わらないので、底辺が円周に等しい $2\pi r$、高さが半径 $r$ に等しい三角形の面積であり、 テンプレート:Indent が得られるテンプレート:Sfn。

円に内接または外接する正多角形の面積の極限

円に内接または外接する正多角形（正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}$ であり、全区画の合計は $n{r}^2\sin \frac{\pi }{n}\cos \frac{\pi }{n}$ であるテンプレート:Sfn。

したがって、$n\to \mathrm{\infty }$ とすれば、 テンプレート:Indent ここで、$n=\pi /x$ とおけば、 テンプレート:Indent さらに、$\underset{x\to 0}{\lim }\frac{\sin x}{x}=1$ なので、 テンプレート:Indent である。

外接正多角形

内接正多角形と同様に1区画の三角形の面積を考える（右図(b)）

三角形の高さは $r$、底辺は $2r\tan \frac{\pi }{n}$ となるので、1区画の面積は $r^2\tan \frac{\pi }{n}$ であり、全区画の合計は $n{r}^2\tan \frac{\pi }{n}$ であるテンプレート:Sfn。

$n\to \mathrm{\infty }$ とすれば、$\underset{n\to \mathrm{\infty }}{\lim }\tan \frac{\pi }{n}=\underset{n\to \mathrm{\infty }}{\lim }\sin \frac{\pi }{n}$ であるから、 テンプレート:Indent これは内接正多角形の場合と同様の式であり、上式は $\pi r^2$ に等しくなる。

積分

デカルト座標の原点における半径 r の円の方程式 $x^2+y^2=r^2$ に対し、四分円 $y=\sqrt{r^2-x^2}$ $(0\le x\le r)$ の面積 $S_4$ を考え、結果を4倍すれば円の面積が求まる。

部分積分による計算

テンプレート:Indent において、$f(x)=1$、$g(x)=\sqrt{r^2-x^2}$ とおけば、$f(x)$ の原始関数は$F(x)=x$、$g(x{)}^{\prime }=\frac{x}{\sqrt{r^2-x^2}}$ であるから、部分積分の公式$\int f(x)g(x)dx=F(x)g(x)-\int F(x)g(x{)}^{\prime }dx$を用いて、 テンプレート:Indent が得られるので、四分円の定積分は、 テンプレート:Indent であるテンプレート:Sfn。したがって、全円の面積 S は $S=4S_4$ なので、 テンプレート:Indent になる。

三角関数による置換積分

四分円の定積分は、 テンプレート:Indent ここで、$x=r\sin t$ とおけば、$dx=r\cos tdt$、積分範囲は $0\to r$ から $0\to \frac{\pi }{2}$ となる。また、$\sqrt{r^2-x^2}=\sqrt{r^2(1-{\sin }^{2}t)}=r\cos t$ となるので、 テンプレート:Indent であるテンプレート:Sfn。全円の面積 S は $S=4S_4$ なので、 テンプレート:Indent になる。

リーマン和による求積（区分求積法）

関数 $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\dots n)$ をとり、区間 $[x_{k-1},x_k]$ における任意の点を ${\xi }_k$ とすれば、四分円のリーマン和は、 テンプレート:Indent であるテンプレート:Efn。

ここで、分割方法をn等分とすれば、$x_k-x_{k-1}=\frac{r}{n}$ であり、${\xi }_k=\frac{kr}{n}$とおくと、 テンプレート:Indent さらに、 テンプレート:Indent であるからテンプレート:Sfnテンプレート:Efn、 テンプレート:Indent となって、$S=\pi r^2$ を得る。

円環の積分による求積

円環の積分による円の求積

原点を中心として、半径 $x$ の円周 ($2\pi x$ ) に対して、高さ $dx$ の円環を考える。

このとき、$dx$ が小さければ、半径 $x$ の円周と高さ $dx$ でできる面積は長方形とみなせ、その面積は $dS=2\pi xdx$ である。したがって、半径 $r$ の円の面積は $x$ を 0 から $r$ まで積分したものに等しいテンプレート:Sfn。 テンプレート:Indent

日本の算数数学教育における循環論法

小学校において円の面積の公式が導入された後、高校の数学Ⅲの課程において「いろいろな曲線で囲まれた図形の面積」を積分法によって導出することが可能になるが、この一連の流れは循環論法をなしていることが指摘されている。

循環論法の流れ (テンプレート:Harvnbに基づく)

1. 円の面積の公式 テンプレート:Math から、中心角 テンプレート:Mvar (rad) の扇形の面積は テンプレート:Math である。
2. 中心角 テンプレート:Mvar (rad) の扇型の面積を用いて、不等式 テンプレート:Math が導出される。
3. はさみうちの原理により、テンプレート:Math が導出される。
4. テンプレート:Math より、テンプレート:Math である。
5. テンプレート:Math の微分が テンプレート:Math であることを用いて、${\int }_0^r\sqrt{r^2-x^2}dx=\frac{\pi r^2}{4}$ を得る。従って テンプレート:Math である。

参考文献

• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• アルキメデス, 『方法』
  • テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite web
• テンプレート:Cite journal
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book
• テンプレート:Cite book