功的公式的推导