Proof of Cavarieli\u27s Proposition on the Quadrature of the General Parabola

本論では,17世紀初頭に活躍したB.カヴァリエリの不可分量の概念を用いて,一般放物線(y=x^nでnが任意の自然数の曲線)の下の面積を求める.まず,不可分量の概念と不可分法による楕円と球の求積を述べる.また,不可分量と密接な関係にあるアルキメデスの発見法を述べる.さらに,低次放物線(y=x^nでnが1桁の自然数の曲線)の下の求積に関するカヴァリエリの業績を述べる.次に,不可分量の概念を目に見える形で用いて,低次放物線の下の面積を求める.さらに,一般放物線の下の面積を与える定理を,ほぼ同時代の研究者であるB.パスカルが開発した数学的帰納法を用いて証明する.これは,カヴァリエリが推測するだけに終わった命題である.In this paper, the quadrature of a general parabola y=x^n is described, based on the concept of indivisibles developed by B. Cavarieli in the early 17th century. First, the area of an ellipse and the volume of a sphere are calculated using indivisibles. Next, the Archimedean heuristic having relationships with indivisibles is described. Second, Cavarieli\u27s researches on the areas of parabolas having low degrees are investigated, and formulas of these areas are derived faithfully based on the concept of indivisibles. Last, Cavarieli\u27s proposition on the area of a general parabola is proven using the mathematical induction developed by B. Pascal in the contemporary era