验证阿基米德原理的实验表达式