5.3诱导公式三、四的推导（P188) 的副本