诱导公式的推广