高斯公式推证阿基米德原理