円の面積

円の面積（えんのめんせき）は、円周率を 、円の半径を  としたとき、
で表されるp=55。

**歴史**

**古代エジプト**
円の直径から、その1/9を引いたものを2乗すると円の面積になる（リンド・パピルス）
古代エジプトにおいては、リンド・パピルスの問題50に円の面積を求める方法が記録されている同様の計算は問題41の円筒の体積を求める際にも行われている。。
リンド・パピルスでは、円の直径 著者であるアーメスは  の例を計算している。この場合、結果は整数となる。からその  を引いた数の2乗、
として円の面積を求めている。これは半径  を用いて書き直せば、
となる。したがって、現代の視点ではリンド・パピルスにおける計算は円周率を
と近似したものと見なせるpp=33-36。ただしこのことは、古代エジプト人が円周率を知っていたことや円周率の近似値を種々の計算に利用していたことを直ちに意味しない。

**古代バビロニア**
バビロニア数学では、円周の長さを  としたとき、
で求めていたpp=62-63。また、円周率に相当する数値は、円に内接する正6角形によって近似した 3 p=40や、内接および外接する正12角形で円の面積を近似して求まる 3.125 であったといわれているpp=62-63。

**ヘブライ**
ヘブライ語最古とされる幾何学書『Mishnat ha-Middot』によれば、円の直径  の自乗からその  と  を取り去ると円の面積  が得られる。これは、
であるp=23。したがって、半径  で整理すれば、
となり、円周率に相当する数値は  と求まる。

**古代ギリシャ**
円の面積は、円周 c を底辺、半径 r を高さとする直角三角形の面積に等しい
エウクレイデスは『原論』において、直径  の円の面積が1辺を  とする
正方形の面積に比例することを証明したp=190。しかし、円周率の値には言及していなかったp=95。
円に内接する正6,12,24角形
アルキメデスは『円の計測』において、
命題1
円の面積は、円周の長さを底辺、半径を高さとする直角三角形の面積に等しい
命題3
円周と直径との比は、より大きく、より小さい
を、取り尽くし法を用いて証明した。命題1は、円に内接および外接する正方形（正4角形）から辺数を増やしていき、円の面積が円周の長さを底辺、半径を高さとする直角三角形の面積よりも「大きくなく」「小さくない」ことで等しいことを証明したpp=37-43。命題3は、円に内接する正多角形の辺長と外接する正多角形の辺長の間に円周の長さがあることを用いて、円に内接および外接する正6角形から出発して正96角形で証明したp=55pp=45-50pp=7–10。

**古代中国**
『九章算術』劉徽による円に内接する正多角形を用いた円の求積
『九章算術』に註釈をつけた魏の劉徽は、円の内接する正6角形から正12角形、正24角形と辺数を増やしていくと、やがて内接多角形の面積は円の面積に差は無くなる、としているp=389。
具体的には、円に内接する正n多角形のうち1つの三角形（△OAB）に対し、三角形の底辺とその二等分線と円周上の交点を高さとする長方形で囲まれる面積（□AA'B'B）を考えると、内接する正n角形の面積とその面積に長方形の面積を加えたものの間に円の面積がある、ということを利用している（右図）。
正n角形の面積を、円の面積をとしたとき、
となり、半径10の円に対する正192角形までを評価して実際には半径1尺の円を用いており、1尺10寸であるが単位は略した。、
を得たpp=14-20。
さらに内接多角形の辺を増やしていくことによって、を得ている。

**日本**
江戸時代初期に発行された算術書である吉田光由の『塵劫記』において、直径  の円の面積は、直径の自乗に「まるき法」を掛けて求める。ここで、まるき法はに相当する値で、0.79 である。面積  で表せば、
であるp=50。
また、円周の長さ  の円の面積は、円周の長さを「円きめくり法」で割り、直径  を求めてから上記の方法を使って円の面積を求める。ここで、円きめくり法は円周率に相当する値で、3.16 である。面積  で表せば、
であるp=51。

**円の面積の公式の導出**
アルキメデスによる証明から、命題1における円周の長さを  、半径を  とすると、円の面積  は底辺が  、高さが  の直角三角形の面積なので、
となる。
命題3における円周の長さ  と直径の比を  とすれば、直径は半径の2倍の  なので、
であり、
をに代入すると、
となり、円の面積の公式が得られるp=55。

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

**幾何学的変形**
半径の円を放射状に切断し交互に並べると、縦が半径、横がの長方形と見なせる。
変形方法(1)
半径rの円を中心から扇形に細かく等分し、右図のように半分を互いに櫛形に合わさるように組み合わせる。非常に細かく等分していけば、横の長さは円周の長さの半分、縦の長さは半径とみなせるので、それぞれ 、 の長方形の面積になる。したがって、
となるpp=15-17小学校学習指導要領において具体的な教示法は示されていないものの、その解説において「円の変形による式の導出」として、円をいくつかの扇形に分割し長方形に近似させる方法が掲げられている。
半径の円を放射状に切断し円周を直線状に延ばすと、円を分割した三角形を並べたものと見なせる。
変形方法(2)
半径rの円を中心から扇形に細かく等分し、円周を直線に延ばすと、直線上には切断した扇形（三角形）が並び、その高さは全て半径rに等しい。円の中心にあった頂点を平行移動して一点に集めても面積は変わらないので、底辺が円周に等しい 、高さが半径  に等しい三角形の面積であり、
が得られるp=134。

**円に内接または外接する正多角形の面積の極限**
円に内接または外接する正多角形（正n角形）の辺数nを増やしていくと円の面積に等しくなる。

**内接正多角形**
円に内接/外接する正多角形の面積を求める
半径rの円に内接する正n角形において、1区画の三角形の面積を考える（右図(a)）。
三角形の高さは 、底辺は  となるので、1区画の面積は  であり、全区画の合計は  であるpp=223-224。
したがって、 とすれば、
ここで、 とおけば、
さらに、 なので、
である。

**外接正多角形**
内接正多角形と同様に1区画の三角形の面積を考える（右図(b)）
三角形の高さは 、底辺は  となるので、1区画の面積は  であり、全区画の合計は  であるpp=223-224。
とすれば、 であるから、
これは内接正多角形の場合と同様の式であり、上式は  に等しくなる。

**積分**
デカルト座標の原点における半径 r の円の方程式  に対し、四分円   の面積  を考え、結果を4倍すれば円の面積が求まる。

**部分積分による計算**
において、、 とおけば、 の原始関数は、 であるから、部分積分の公式を用いて、
が得られるので、四分円の定積分は、
であるpp=64-65,80。したがって、全円の面積 S は  なので、
になる。

**三角関数による置換積分**
四分円の定積分は、
ここで、 とおけば、、積分範囲は  から  となる。また、 となるので、 
であるsfn|朝倉数学ハンドブック基礎編|2010|p=179。全円の面積 S は  なので、
になる。

**リーマン和による求積（区分求積法）**
関数  を考えたとき、この関数は  において連続であるからリーマン和による面積の計算が可能であり、それは上記の定積分と等しくなる。
において、区間  を n分割する 、、 をとり、区間  における任意の点を  とすれば、四分円のリーマン和は、
である。
ここで、分割方法をn等分とすれば、 であり、とおくと、
さらに、
であるからp=98、
となって、 を得る。

**円環の積分による求積**
円環の積分による円の求積
原点を中心として、半径  の円周 ( ) に対して、高さ  の円環を考える。
このとき、 が小さければ、半径  の円周と高さ  でできる面積は長方形とみなせ、その面積は  である。したがって、半径  の円の面積は   を 0 から  まで積分したものに等しいpp=104-105。

**日本の算数数学教育における循環論法**
小学校において円の面積の公式が導入された後、高校の数学Ⅲの課程において「いろいろな曲線で囲まれた図形の面積」を積分法によって導出することが可能になるが、この一連の流れは循環論法をなしていることが指摘されている。
循環論法の流れ (2007に基づく)
# 円の面積の公式  から、中心角 θ (rad) の扇形の面積は  である。
# 中心角 θ (rad) の扇型の面積を用いて、不等式  が導出される。
# はさみうちの原理により、 が導出される。
#  より、 である。
# sin x の微分が cos x であることを用いて、 を得る。従って  である。

**脚注**

**注釈**

**出典**

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