阿基米德第一次把实验的经验研究方法和几何的演绎推理形式巧妙地结合起来，建立了著名的杠杆定理，发现了（）