诱导公式应用1.12.7