用基米德原理公式推导冰融化后液体深度不变