发现了杠杆原理和比重原理的古希腊科学家是