证明地球自转是谁发现的