カバリエリの原理

体積の定義から角柱の体積の公式までは自明であるが、角錐の体積の公式はそうではない。

つまり、

底面積×高さ×1/3

になるのは簡単な問題ではない。

証明にはカバリエリの原理を用いる。

ではカバリエリの原理の証明は？

そもそも『定理』ではなく『原理』と呼ばれている時点で証明はかなり難しいと思われる。

直感的に当たり前なものほど証明しづらい。

例えば2点Ａ，Ｂを結ぶ最も短い曲線が直線であることも証明は難しい。

…埼京線の中で暇だとこんなことばかり考えてしまう。