哈马达方程推导过