円の面積

**円の面積**（えんのめんせき）Sは、円周率を \pi、円の半径を r としたとき、

で表される。

## 歴史
### 古代エジプト

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

リンド・パピルスでは、円の直径 dからその \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 とする
正方形の面積に比例することを証明した。しかし、円周率の値には言及していなかった。

アルキメデスは『円の計測』において、
;命題1
:円の面積は、円周の長さを底辺、半径を高さとする直角三角形の面積に等しい
;命題3
:円周と直径との比は、3\frac{10}{71}より大きく、3\frac{1}{7}より小さい
を、取り尽くし法を用いて証明した。命題1は、円に内接および外接する正方形（正4角形）から辺数を増やしていき、円の面積が円周の長さを底辺、半径を高さとする直角三角形の面積よりも「大きくなく」「小さくない」ことで等しいことを証明した。命題3は、円に内接する正多角形の辺長と外接する正多角形の辺長の間に円周の長さがあることを用いて、円に内接および外接する正6角形から出発して正96角形で証明した。

### 古代中国

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

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

正n角形の面積をa_n、円の面積をSとしたとき、

となり、半径10の円に対する正192角形までを評価して、
314\frac{64}{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を用いて、

が得られるので、四分円の定積分は、

である。したがって、全円の面積 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 となるので、 
r^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-1},x_k] における任意の点を \xi_k とすれば、四分円のリーマン和は、

である。

ここで、分割方法をn等分とすれば、x_k-x_{k-1}=\frac{r}{n} であり、\xi_k=\frac{kr}{n}とおくと、

さらに、

であるから、

となって、S=\pi r^2 を得る。

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

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

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

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

**循環論法の流れ** (に基づく)

# 円の面積の公式  から、中心角  (rad) の扇形の面積は  である。
# 中心角  (rad) の扇型の面積を用いて、不等式  が導出される。
# はさみうちの原理により、 が導出される。
#  より、 である。
#  の微分が  であることを用いて、\int_0^r\sqrt{r^2-x^2}dx=\frac{\pi r^2}{4} を得る。従って  である。

## 脚注
### 注釈

### 出典

## 参考文献
*
*
*
*
*
* 
* 
* 
* アルキメデス, 『方法』
** 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
* 
*