円の面積

円の面積は、円周率を 、円の半径を としたとき、 で表される数学小辞典 第2版増補。

1. 歴史
-----

1.1. 古代エジプト
-----------

古代エジプトにおいては、リンド・パピルスの問題50に円の面積を求める方法が記録されている同様の計算は問題41の円筒の体積を求める際にも行われている。}}。

リンド・パピルスでは、円の直径 著者であるアーメスは の例を計算している。この場合、結果は整数となる。}}からその を引いた数の2乗、 として円の面積を求めている。これは半径 を用いて書き直せば、 となる。したがって、現代の視点ではリンド・パピルスにおける計算は円周率を と近似したものと見なせる数学史 5000年の歩み。ただしこのことは、古代エジプト人が円周率を知っていたことや円周率の近似値を種々の計算に利用していたことを直ちに意味しない。

1.2. 古代バビロニア
------------

バビロニア数学では、円周の長さを としたとき、 で求めていた数学史 5000年の歩み。また、円周率に相当する数値は、円に内接する正6角形によって近似した 3 π-魅惑の数や、内接および外接する正12角形で円の面積を近似して求まる 3.125 であったといわれている数学史 5000年の歩み上垣渉。

1.3. ヘブライ
---------

ヘブライ語最古とされる幾何学書『ミシュナート・ハ・ミッドット』によれば、円の直径 の自乗からその と を取り去ると円の面積 が得られる。これは、 である平山諦。したがって、半径 で整理すれば、 となり、円周率に相当する数値は と求まる。

1.4. 古代ギリシャ
-----------

エウクレイデスは『原論』において、直径 の円の面積が1辺を とする正方形の面積に比例することを証明した数学史事典。しかし、円周率の値には言及していなかった岩波数学辞典 第4版。

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

命題1円の面積は、円周の長さを底辺、半径を高さとする直角三角形の面積に等しい命題3円周と直径との比は、より大きく、より小さいを、取り尽くし法を用いて証明した。命題1は、円に内接および外接する正方形から辺数を増やしていき、円の面積が円周の長さを底辺、半径を高さとする直角三角形の面積よりも「大きくなく」「小さくない」ことで等しいことを証明この方法は、二重帰謬法sfnした上野健爾アルキメデス。命題3は、円に内接する正多角形の辺長と外接する正多角形の辺長の間に円周の長さがあることを用いて、円に内接および外接する正6角形から出発して正96角形で証明した数学小辞典 第2版増補数学史事典上野健爾上垣渉中川仁。

1.5. 古代中国
---------

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

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

正n角形の面積を、円の面積をとしたとき、 となり、半径10の円に対する正192角形までを評価して実際には半径1尺の円を用いており、1尺10寸であるが単位は略した。}}、を得た上野健爾。 さらに内接多角形の辺を増やしていくことによって、を得ている。

1.6. 日本
-------

江戸時代初期に発行された算術書である吉田光由の『塵劫記』において、直径 の円の面積は、直径の自乗に「まるき法」を掛けて求める。ここで、まるき法はに相当する値で、0.79 である。面積 で表せば、 である和算百科塵劫記初版本。

また、円周の長さ の円の面積は、円周の長さを「円きめくり法」で割り、直径 を求めてから上記の方法を使って円の面積を求める。ここで、円きめくり法は円周率に相当する値で、3.16 である。面積 で表せば、 である和算百科塵劫記初版本。

2. 円の面積の公式の導出
-------------

アルキメデスによる証明から、命題1における円周の長さを 、半径を とすると、円の面積 は底辺が 、高さが の直角三角形の面積なので、 となる。 命題3における円周の長さ と直径の比を とすれば、直径は半径の2倍の なので、 であり、をに代入すると、 となり、円の面積の公式が得られる数学小辞典 第2版増補。

3. 円の面積を求める他の方法
---------------

3.1. 幾何学的変形
-----------

変形方法半径rの円を中心から扇形に細かく等分し、右図のように半分を互いに櫛形に合わさるように組み合わせる。非常に細かく等分していけば、底辺は円周の長さの半分、高さは半径とみなせるので、それぞれ 、 の平行四辺形の面積になる。したがって、 となる不思議な数πの伝記π-魅惑の数小学校学習指導要領において具体的な教示法は示されていないものの、その解説において「円の変形による式の導出」として、円をいくつかの扇形に分割し平行四辺形に近似させる方法が掲げられている}}。

変形方法半径rの円を中心から扇形に細かく等分し、円周を直線に延ばすと、直線上には切断した扇形が並び、その高さは全て半径rに等しい。円の中心にあった頂点を平行移動して一点に集めても面積は変わらないので、底辺が円周に等しい 、高さが半径 に等しい三角形の面積であり、 が得られる上垣渉。

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

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

3.2.1. 内接正多角形
-------------

半径rの円に内接する正n角形において、1区画の三角形の面積を考える。

三角形の高さは 、底辺は となるので、1区画の面積は であり、全区画の合計は である数学ハンドブック。

したがって、 とすれば、 ここで、 とおけば、 さらに、 なので、 である。

3.2.2. 外接正多角形
-------------

内接正多角形と同様に1区画の三角形の面積を考える

三角形の高さは 、底辺は となるので、1区画の面積は であり、全区画の合計は である数学ハンドブック。

とすれば、 であるから、 これは内接正多角形の場合と同様の式であり、上式は に等しくなる。

3.3. 積分
-------

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

3.3.1. 部分積分による計算
----------------

において、、 とおけば、 の原始関数は、 であるから、部分積分の公式を用いて、 が得られるので、四分円の定積分は、 である理工系の微積分入門。したがって、全円の面積 S は なので、 になる。

3.3.2. 三角関数による置換積分
------------------

四分円の定積分は、 ここで、 とおけば、、積分範囲は から となる。また、 となるので、 である朝倉数学ハンドブック[基礎編]。全円の面積 S は なので、 になる。

3.3.3. リーマン和による求積
-----------------

関数 を考えたとき、この関数は において連続であるからリーマン和による面積の計算が可能であり、それは上記の定積分と等しくなる。

において、区間 を n分割する 、、 をとり、区間 における任意の点を とすれば、四分円のリーマン和は、 であるこれは例えば『岩波講座 現代数学への入門』sfn。

ここで、分割方法をn等分とすれば、 であり、とおくと、 さらに、 であるから数学公式II『数学公式II』sfn、 となって、 を得る。

3.3.4. 円環の積分による求積
-----------------

原点を中心として、半径 の円周  に対して、高さ の円環を考える。

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

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

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

循環論法の流れ 

円の面積の公式 //S// =}} Pi}}//r//sup から、中心角 θ}}  の扇形の面積は Sfrac である。
中心角 θ}}  の扇型の面積を用いて、不等式 Sfrac が導出される。
はさみうちの原理により、1=Underset が導出される。
1=Underset より、1=Sfrac である。
sin //x//}} の微分が cos //x//}} であることを用いて、 を得る。従って //S// =}} Pi}}//r//sup である。

5. 脚注
-----

5.1. 注釈
-------

5.2. 出典
-------

6. 参考文献
-------

アルキメデス, 『方法』