放物線の求積のソースを表示

[[File:Parabolic Segment.svg|thumb|upright=1.05|放物領域。]]
'''『放物線の求積』'''（ほうぶつせんのきゅうせき、{{lang-el|Τετραγωνισμὸς παραβολῆς}}）は、[[アルキメデス]]によって、[[紀元前3世紀]]にアレクサンドリアの知人ドシテオスに宛てて執筆された、[[幾何学]]に関する著書である。[[放物線]]に関する24の命題を含み、放物領域（放物線と[[直線]]で囲まれた領域）の面積が内接する[[三角形]]の {{sfrac|4|3}} になることの2通りの証明を導いている。

アルキメデスの著作の中ではもっとも著名なものの1つであり、特に[[取り尽くし法]]の独創的な利用と、第2章での[[等比級数]]によって知られている。アルキメデスは求める面積を、面積比が[[等比級数]]を成すような無限個の[[三角形]]に分割している<ref>{{Cite journal|last1=Swain|first1=Gordon|last2=Dence|first2=Thomas|date=1998|title=Archimedes' Quadrature of the Parabola Revisited|url=https://www.jstor.org/stable/2691014|journal=Mathematics Magazine|volume=71|issue=2|pages=123–130|doi=10.2307/2691014|jstor=2691014|issn=0025-570X}}</ref>。彼はそれから得られた等比級数の総和を計算し、その値が放物領域の面積だと証明している。これは古代{{仮リンク|ギリシア数学|en|Greek mathematics}}における[[背理法]]の最も巧みな用法であり、彼の解法は[[17世紀]]に[[積分法]]の発展によって{{仮リンク|カヴァリエリの求積公式|en|Cavalieri's quadrature formula}}に取って代わられるまで比類なきものとなった<ref>{{Cite journal|last=Cusick|first=Larry W.|date=2008|title=Archimedean Quadrature Redux|url=https://www.jstor.org/stable/27643090|journal=Mathematics Magazine|volume=81|issue=2|pages=83–95|doi=10.1080/0025570X.2008.11953535|jstor=27643090|s2cid=126360876|issn=0025-570X}}</ref>。

== 主定理 ==
'''放物領域'''（{{lang-en|parabolic segment}}）とは、放物線および直線に囲まれた領域である。放物領域の面積を求めるために、アルキメデスは特定の内接三角形を考えた。この三角形の底辺は放物線の[[弦 (数学)|弦]]であり、3つめの頂点は放物線との接線が弦と水平になるような点に位置する。著作の命題1は3つめの頂点から軸と水平に引かれた直線は領域だと主張している。主定理は放物領域の面積はこの三角形の {{sfrac|4|3}} に等しいと主張している。

== テキストの構成 ==
[[File:ArchimedePese2.svg|thumb|upright=1.05|放物領域の面積に関するアルキメデスの第1の証明。]]
アルキメデスの時代、放物線などの[[円錐曲線]]は1世紀ほど前の[[メナイクモス]]のためによく知られていた。しかしながら、[[微分]][[積分法|積分学]]の発見以前、円錐曲線の面積を求める容易な手法は存在しなかった。放物線と弦に囲まれた領域に着目することで、アルキメデスはこの問題に対する最初の証明付き解法を導いた<ref>{{Cite journal|last=Towne|first=R.|date=2018|title=Archimedes in the Clasroom|url=https://collected.jcu.edu/mastersessays/91|journal=Master's Thesis|volume={{仮リンク|ジョン・キャロル大学|en|John Carroll University|label=John Carrol University}}}}</ref>。

アルキメデスは主定理に対して2通りの証明を与えている。1つは[[力学]]理論を用いるもので、もう1つは純粋な幾何学によるものである。最初の証明において、アルキメデスは重力下で平衡状態にある[[てこ]]（重りのある放物線の領域と三角形が、支点から一定距離にあるようなもの）を考えている<ref>{{Cite web|title=Quadrature of the parabola, Introduction|url=https://web.calstatela.edu/faculty/hmendel/Ancient%20Mathematics/Archimedes/QuadraturaParabolae/QP.contents.html|access-date=2021-07-03|website=web.calstatela.edu}}</ref>。三角形の重心が既知のとき、てこの平衡は底辺と高さを共有する三角形の面積を基にした放物線の面積を導く<ref>{{Cite web|title=The Illustrated Method of Archimedes|url=https://www.scribd.com/doc/200723036/The-Illustrated-Method-of-Archimedes|access-date=2021-07-03|website=Scribd|language=en}}</ref>。ここで、アルキメデスは『{{仮リンク|平面の釣合について|en|On the Equilibrium of Planes}}』での手法から離れ、重心を天秤のそれより低い位置に置いている<ref>{{Cite web|last=Dijksterhuis|first=E. J.|date=1987|title=Quadrature of the Parabola|url=https://muse.jhu.edu/chapter/1319251|url-status=live|publisher=Archimedes|pages=336–345|language=en|accessdate=2021-07-03}}<!-- 英語版の oldid=1031676219 で追加を確認--></ref>。2つめの、より有名な証明は純粋な幾何学と、等比数列の和を一部利用している。

24の命題のうち、最初の3つは[[エウクレイデス]]の『円錐曲線論』（[[円錐曲線]]に関するエウクレイデスの散逸した著作）から証明なしで引用されている。命題4および5は放物線の基本的性質を打ち立てている。命題6-17は主定理の力学的証明を与えている。命題18-24は幾何学的証明である。

== 幾何学的証明 ==
[[File:Parabolic Segment Dissection.svg|thumb|upright=1.05|アルキメデスの第2の証明では、面積を任意の個数の三角形に分割する。]]
=== 放物領域の分割 ===
証明の中心となる考えは、右図に示されているように放物領域を無限個の三角形に分割するというものである。これらの三角形はそれぞれ、青色の三角形が大領域に内接しているのと同じようにしてそれぞれ固有の放物領域に内接している。

=== 三角形の面積 ===
命題18-21にかけて、アルキメデスは緑色の三角形の面積が青色の三角形の {{sfrac|8}}であり、それゆえそれぞれの和が青色の三角形の {{sfrac|4}} になることを示している。現代的な観点からいえば、これは緑色の三角形の幅と高さがそれぞれ青色の三角形の {{sfrac|2}} および {{sfrac|4}} であることによる<ref group="注釈">定義より、緑色の三角形は青色の {{sfrac|2}} の幅を持つ。高さに関する内容は放物線の幾何学的性質から導かれており、現代の[[解析幾何学]]によって容易に証明できる。</ref>。

{{clear|right}}
[[ファイル:Quadrature Parabola Relative Sizes.svg|250px|フレームなし|none]]

同様の議論により、4つの黄色の三角形それぞれが緑色の {{sfrac|8}} すなわち青色の {{sfrac|64}} の面積をもち、その和は青色の {{math|{{sfrac|4|64}} {{=}} {{sfrac|16}}}} となる。{{math|2<sup>3</sup> {{=}} 8}} 個の赤色の三角形それぞれが黄色の {{sfrac|8}} の面積を持ち、合計で青色の {{math|{{sfrac|2<sup>3</sup>|8<sup>3</sup>}} {{=}} {{sfrac|64}}}} の面積となる。[[取り尽くし法]]を用いて、放物領域の面積（Area）は

:<math>\text{Area}\;=\;T \,+\, \frac14T \,+\, \frac1{4^2}T \,+\, \frac1{4^3}T \,+\, \cdots</math>

で求まる。ここで {{mvar|T}} は大きい青色の三角形の面積を表し、第2項は緑色の面積の総和、第3項は黄色の面積の総和と続く。これを簡素にまとめて

:<math>\text{Area}\;=\;\left(1 \,+\, \frac{1}{4} \,+\, \frac{1}{16} \,+\, \frac{1}{64} \,+\, \cdots\right)T</math>

となる。

=== 級数の和 ===
[[File:GeometricSquares.svg|thumb|upright=1.05|アルキメデスによる {{math|1= {{sfrac|1|4}} + {{sfrac|1|16}} + {{sfrac|1|64}} + ⋯ = {{sfrac|1|3}}}} の証明]]
証明を完成させるために、アルキメデスは

:<math>1 \,+\, \frac{1}{4} \,+\, \frac{1}{16} \,+\, \frac{1}{64} \,+\, \cdots\;=\; \frac{4}{3}</math>

だと示している。上記の公式は[[等比級数]]、すなわちそれぞれの項は前項の四分の一となっている。現代的に言えば、この公式は[[:en:geometric series#Sum|等比級数の和の公式]]の特殊例である。

アルキメデスは、上記の画像に描かれたような完全な幾何的手法を用いて和を評価している<ref group="注釈">厳密に言えば、アルキメデスは級数の[[部分和]]を評価しており、[[アルキメデスの性質]]より {{sfrac|4|3}} と任意の近さになると論じている。これは現代的な無限級数の和計算と論理的に同値である。</ref>。この画像は単位正方形が無限個のより小さな正方形によって分割されている様を示している。それぞれの紫色の正方形の面積は一回り大きなものの四分の一となっており、その総和は

:<math>\frac{1}{4} \,+\, \frac{1}{16} \,+\, \frac{1}{64} \,+\, \cdots</math>

である。ここで、紫色の正方形は隣接する2つの黄色の正方形と合同であるから、単位正方形の面積の {{sfrac|3}} を占めていることになる。したがって上記の級数の和は（{{math|1 + {{sfrac|3}} {{=}} {{sfrac|4|3}}}} より) {{sfrac|4|3}}となる。

== 関連項目 ==
{{commons category|Quadrature of the Parabola}}
* {{仮リンク|微分積分学の歴史|en|History of calculus}}

== 脚注 ==
=== 注釈 ===
{{Notelist}}
=== 出典 ===
{{reflist}}

== 関連書籍 ==
* {{cite journal|doi=10.2307/2690617|title=Proof without Words: Geometric Series|author=Ajose, Sunday and Roger Nelsen|journal=Mathematics Magazine|volume=67|issue=3|date=June 1994|pages=230|jstor=2690617}}
* {{cite journal|title=Quadrature of the parabola with the square pyramidal number|author=Ancora, Luciano|journal=Archimede|volume=66|issue=3|date=2014|url=https://www.zentralblatt-math.org/matheduc/en/?q=an%3A2016f.01058}}
* {{Cite book| first=David M.| last=Bressoud|author-link=:en:David Bressoud| title=A Radical Approach to Real Analysis| edition = 2nd| publisher={{仮リンク|アメリカ数学協会|en|Mathematical Association of America|label=Mathematical Association of America}}| year=2006| isbn=0-88385-747-2}}.
* Dijksterhuis, E.J. (1987) "Archimedes", Princeton U. Press {{ISBN2|0-691-08421-1}}
* {{Cite book| first=C. H.| last=Edwards Jr.| title=The Historical Development of the Calculus| publisher=Springer| year=1994| isbn=0-387-94313-7| edition=3rd}}.
* {{cite book| last=Heath| first=Thomas L.| title=The Works of Archimedes|year=2011| edition= 2nd| publisher=CreateSpace| isbn=978-1-4637-4473-1}}
* {{Cite book| first=George F.| last=Simmons| title=Calculus Gems| publisher=Mathematical Association of America| year=2007| isbn=978-0-88385-561-4| url-access=registration| url=https://archive.org/details/calculusgemsbrie0000simm}}.
* {{cite book|first=Sherman K.|last=Stein|author-link=:en:Sherman K. Stein|title=Archimedes: What Did He Do Besides Cry Eureka?|publisher=Mathematical Association of America|year=1999|isbn=0-88385-718-9|url-access=registration|url=https://archive.org/details/archimedeswhatdi00stei}}
* {{Cite book| first=John| last=Stillwell| title=Mathematics and its History| year=2004| publisher=Springer| edition=2nd| isbn=0-387-95336-1}}.
* {{cite journal|doi=10.2307/2691014|author=Swain, Gordon and Thomas Dence|title=Archimedes' Quadrature of the Parabola Revisited|journal=Mathematics Magazine|volume=71|issue=2|date=April 1998|pages=123–30|jstor=2691014}}
* {{Cite book| first=Alistair Macintosh| last=Wilson| title=The Infinite in the Finite| publisher=[[Oxford University Press]]| year=1995| isbn=0-19-853950-9}}.

== 外部リンク ==
{{wiktionary|en:quadrature}}
* {{cite web| last=Casselman| first=Bill| title=Archimedes' quadrature of the parabola| url=http://www.math.ubc.ca/~cass/archimedes/parabola.html| archive-url=https://web.archive.org/web/20120204050048/http://www.math.ubc.ca/~cass/archimedes/parabola.html| archive-date=2012-02-04|accessdate=2020-08-15}}<!-- 英語版の oldid=973099374 で現URLの追加を確認 -->: T・L・ヒースによる全文英訳。
* {{cite web| last={{仮リンク|ザビエル大学アテネオ・デ・カガヤン|en|Xavier University – Ateneo de Cagayan|Xavier University|label=Xavier University}} Department of Mathematics and Computer Science| title=Archimedes of Syracuse| url=http://www.cs.xu.edu/math/math147/02f/archimedes/archpartext.html|accessdate=2007-08-13}}<!-- 英語版の oldid=150882996 で現URLの追加を確認 -->: 命題1-3および20-24の解説付きテキスト。 
* http://planetmath.org/ArchimedesCalculus

{{DEFAULTSORT:ほうふつせんのきゆうせき}}
[[Category:アルキメデス]]
[[Category:数学史]]
[[Category:数学に関する記事]]