公元17世纪，欧洲的一些矿井里已经使用活塞式抽水机抽出矿井里的积水。按照亚里士多德“自然界厌恶真空”的原理，当抽水机活塞提上来时，水就跟上来赶走活塞下面的真空，抽水时水被提上来的高度应是无限的。但...