十字相乘法公式用于二次三项式的因式分解，其基本形式为：
对于多项式 $ax^2 + bx + c$，如果存在两个数 $m$ 和 $n$，使得 $m + n = -b/a$ 且 $m \times n = c/a$，则该多项式可以分解为：
$$ax^2 + bx + c = a（x + m）（x + n）$$
具体步骤如下：
1. 将二次项系数 $a$ 分解成两个因数 $a_1$ 和 $a_2$，即 $a = a_1 \times a_2$。
2. 将常数项 $c$ 分解成两个因数 $c_1$ 和 $c_2$，即 $c = c_1 \times c_2$。
3. 找到 $m$ 和 $n$，使得 $m + n = -b/a$ 且 $m \times n = c/a$。通常通过观察和尝试可以找到这样的 $m$ 和 $n$。
4. 将原多项式重写为：
$$ax^2 + bx + c = a（x + m）（x + n）$$
示例
以 $x^2 + 7x + 12$ 为例：
1. 二次项系数为 1，不需要分解。
2. 常数项 12 可以分解为 3 和 4，因为 $3 + 4 = 7$。
3. 因此，多项式可以分解为：
$$x^2 + 7x + 12 = （x + 3）（x + 4）$$
注意事项
当首项系数不是 1 时，可能需要多次尝试不同的因数组合。
确保交叉相乘后的和等于一次项的系数。
十字相乘法是一种非常实用的因式分解方法，特别适用于二次三项式。通过这种方法，可以将复杂的二次多项式分解为更简单的因子形式，便于进一步分析和应用。