5.3诱导公式(1)