4 诱导公式