第六十一章 卡瓦列里的不可分量原理（2/2）

卡瓦列里说：“如果想要更加细小，那到底要细到什么程度？”

伽利略说：“如果告诉你小得很小的一个尺寸的话，你觉得上帝不会用更小的东西来组成你说的那个小的东西吗？”

卡瓦列里说：“那上帝是用无限小的物质创造世界的，所以任何东西都无限可以分开的。”

伽利略说：“那如何去分开呢？”

卡瓦列里说：“分成一个更小的，那在更小的基础上，继续再分开。”

伽利略说：“比如一个几何上的直线，你怎么分？难道是一堆点？”

卡瓦列里拿纸画着说：“老师，我觉得线段是无数个等距点构成。同时面积是无数个等距平行线段构成，体积是无数个等距平行平面构成，这些点、线段、平面是长度、面积、体积的‘不可分量’。这是一个数学基本的逻辑思维。”

伽利略说：“你说等距就等距？凭什么呢？不等距不可以吗？”

卡瓦列里笑说：“你如此，就是抬杠之举了。”

不可分量这是指长度、面积、体积的计算及其相关的推理，其中，点、线段、平面是长度、面积、体积的“不可分量”。

在《用新的方法推进连续体的不可分量的几何学》（1635）提出“不可分量原理”：，cavalieri利用这种“不可分量”，进行长度、面积、体积的计算及其相关的推理，但是，他未能对“不可分量”作出严格的论述。数学家们对此褒贬不一。

1644年，cavalieri本人发现了关于“不可分量”的悖论。

“不可分量原理”第一次给出了积分的一般方法。