


幾何学において、ボナヴェントゥラ・カヴァリエリにちなんで名付けられた不可分法の現代的実装であるカヴァリエリの原理は次のとおりです。[ 1 ]
今日、カヴァリエリの原理は積分計算への初期段階と見なされており、フビニの定理やレイヤーケーキ表現における一般化など、いくつかの形で使用されていますが、カヴァリエリの原理を用いた結果は、積分によってより直接的に示すことができる場合が多いです。一方、カヴァリエリの原理は、極限は使用するものの無限小は使用しない古代ギリシャの「除去法」から発展したものです。

カヴァリエリの原理はもともと不可分法と呼ばれ、ルネサンス期のヨーロッパではその名前で知られていた。[ 2 ]カヴァリエリは不可分法の完全な理論を発展させ、それを『Geometria indivisibilibus continuorum nova quadam ratione promota』(連続体の不可分法によって新たに進歩した幾何学、1635年)と『Exercitationes geometricae sex』(6つの幾何学的演習、1647年)で詳述した。[ 3 ]カヴァリエリの著作は原理を確立したが、彼は関連するパラドックスや宗教論争を避けるために、著作の中で連続体が不可分法で構成されていることを否定し、これまで知られていなかった結果を見つけるためにそれを使用することはなかった。[ 4 ]
紀元前3世紀、アルキメデスはカヴァリエリの原理に似た方法を用いて、著書『力学的定理の方法』の中で円錐と円柱の体積から球の体積を求めることができた。 [ 5 ]西暦5世紀には、祖崇之とその息子祖庚之が球の体積を求める同様の方法を確立した。[ 2 ]しかし、これらの方法はいずれも近世ヨーロッパでは知られていなかった。
カヴァリエリの不可分量からエヴァンジェリスタ・トリチェリとジョン・ウォリスの無限小量への移行は、微積分学の歴史における大きな進歩であった。不可分量は余次元1の実体であり、平面図形は無限個の1次元線から構成されていると考えられていた。一方、無限小量は、それが構成する図形と同じ次元の実体であり、したがって、平面図形は無限小の幅を持つ「平行四辺形」から構成されることになる。ウォリスは、等差数列の和の公式を適用して、三角形を幅 1/∞の無限小の平行四辺形に分割することで、三角形の面積を計算した。

N. リードは[ 6 ]カヴァリエリの原理を用いてサイクロイドで囲まれた領域の面積を求める方法を示した。半径rの円は、その下の線上で時計回りに、またはその上の線上で反時計回りに転がることができる。円上の点は、それによって 2 つのサイクロイドを描く。円が特定の距離だけ転がったとき、時計回りに回転する角度と反時計回りに回転する角度は同じである。したがって、サイクロイドを描く 2 つの点は、同じ高さにある。したがって、それらを通る線は水平である (つまり、円が転がる 2 つの線に平行である)。結果として、円の各水平断面は、2 つのサイクロイドの弧で囲まれた領域の対応する水平断面と同じ長さを持つ。カヴァリエリの原理により、円の面積はその領域と同じである。
単一のサイクロイド弧を囲む長方形を考えます。サイクロイドの定義から、幅は2πr 、高さは2rなので、面積は円の面積の 4 倍になります。サイクロイド弧の上にあるこの長方形の面積を計算するには、弧が長方形と交わる中点で長方形を二等分し、一方の部分を 180° 回転させて、もう一方の半分の長方形に重ね合わせます。面積が円の 2 倍になる新しい長方形は、2 つのサイクロイド間の「レンズ」領域(面積は上で計算して円と同じになりました)と、元の長方形でサイクロイド弧の上にある領域を形成していた 2 つの領域から構成されます。したがって、単一の完全なサイクロイド弧の上にある長方形で囲まれた面積は円の面積に等しく、弧で囲まれた面積は円の面積の 3 倍になります。

底面の形状に関わらず、円錐(円形底面)を含むあらゆるピラミッドの体積が(1/3) ×底辺×高さであるという事実は、それが1つの場合においてのみ成り立つことが分かっていれば、カヴァリエリの原理によって証明できる。まず、三角柱の内部を体積が等しい3つのピラミッド状の部分に分割することで、単一の場合においてこの原理を証明することができる。そして、カヴァリエリの原理を用いて、これら3つの体積が等しいことを示すことができる。
実際、円錐やピラミッドの体積を計算するには、カヴァリエリの原理やそれに類する微小な議論が必要であり、これは本質的にヒルベルトの第3問題の内容である。すなわち、多面体のピラミッドや円錐は切断して標準的な形状に再構成することができず、代わりに無限(微小)な手段によって比較する必要がある。古代ギリシャ人は、アルキメデスの力学的議論や除去法など、さまざまな先駆的な手法を用いてこれらの体積を計算していた。

半径の円筒を考えてみましょう身長放物面を外接する頂点が円筒の底面の中心にあり、底面が円筒の上面にある 放物面も考慮してください。寸法は同じだが、頂点と底辺が反転している。
あらゆる身長に対して円盤状の断面領域反転放物面の面積は、リング状の断面積に等しい。内接放面の外側にある円筒部分について。
したがって、反転放物面の体積は、内接放物面の外側の円筒部分の体積に等しい。言い換えれば、放物面の体積は外接する円筒の体積の半分。

円錐の体積がわかっている場合すると、カヴァリエリの原理を用いて球の体積が、 どこは半径です。
それは次のように行われます。半径の球を考えます。半径の円筒身長円筒内部には、頂点が円筒の一方の底面の中心にあり、底面がもう一方の底面にある円錐があります。ピタゴラスの定理により、平面は赤道より上の単位が半径の円で球と交わるおよびエリア円錐の外側にある円筒部分と平面との交点の面積もまたご覧のとおり、任意の高さにある水平面と球との交点によって定義される円の面積は円錐の「外側」にある円柱の部分と平面との交点の面積に等しい。したがって、カヴァリエリの原理を適用すると、半球の体積は円錐の「外側」にある円柱の部分の体積に等しいと言える。前述の円錐の体積は円柱の体積の 1 倍なので、円錐の外側の体積は円柱の体積。したがって、球の上半分の体積は円柱の体積。円柱の体積は
(「底面積」は面積の単位、「高さ」は距離の単位です。面積×距離=体積。)
したがって、上半球の体積はそして球体全体のそれは。

ナプキンリング問題と呼ばれるものにおいて、カヴァリエリの原理により、球の中心をまっすぐ貫通する穴を開けると、残りの帯の高さが驚くべきことに、残りの物質の体積は球の大きさに依存しない。残りのリングの断面は平面環状であり、その面積は2つの円の面積の差である。ピタゴラスの定理により、2つの円のうちの1つの面積は、 どこは球の半径であり、は赤道面から切断面までの距離であり、もう一方の距離はこれらを差し引くと、キャンセルします。したがって、最終的な答えは。
させて測定するすると、カヴァリエリの原理は次のように書き起こされるだろう積分可能関数の場合の上値は2つの正の関数の差として書き直すことができることを知っておいてください。、 どこそしての正と負の部分を表すそれぞれ。