诱导公式12