西元前3世纪，下图人物在著作（）里用几何方法推导出杠杆原理。