诱导公式的推论