什么是分组分解因式？
分组分解因式是一种用于分解四项式的代数方法。当一个表达式具有 \(\text{a}\text{x} + \text{a}\text{y} + \text{b}\text{x} + \text{b}\text{y}\) 的结构时，你可以把这四项两两分组，从每一组中提取最大公因式，再将整个表达式改写为两个二项式的乘积：\(\left(\text{a} + \text{b}\right)\left(\text{x} + \text{y}\right)\)。本计算器会以数值方式验证这个恒等式，帮助你检查自己的代数演算是否正确。
如何使用本计算器
请为四个系数分别输入数值：a 和 b（与变量组配对的因式），以及 x 和 y。计算器会算出展开式 \(\text{a}\text{x} + \text{a}\text{y} + \text{b}\text{x} + \text{b}\text{y}\) 的和、分组后的因式 \(\left(\text{a} + \text{b}\right)\) 与 \(\left(\text{x} + \text{y}\right)\)，以及它们的乘积。由于这个恒等式始终成立，展开值与分解后的乘积必然相等——这正好印证了你的分解是正确的。
公式详解
从 \(\text{a}\text{x} + \text{a}\text{y} + \text{b}\text{x} + \text{b}\text{y}\) 开始。先将前两项与后两项分别分组：\(\left(\text{a}\text{x} + \text{a}\text{y}\right) + \left(\text{b}\text{x} + \text{b}\text{y}\right)\)。再对每一组提取公因式：\(\text{a}\left(\text{x} + \text{y}\right) + \text{b}\left(\text{x} + \text{y}\right)\)。此时两组都含有共同的二项式 \(\left(\text{x} + \text{y}\right)\)，把它提取出来，即得到 \(\left(\text{a} + \text{b}\right)\left(\text{x} + \text{y}\right)\)。
实例演算
假设 \(\text{a} = 2\)、\(\text{b} = 3\)、\(\text{x} = 5\)、\(\text{y} = 7\)。展开值为 $$2\cdot 5 + 2\cdot 7 + 3\cdot 5 + 3\cdot 7 = 10 + 14 + 15 + 21 = 60.$$ 分解形式为 $$\left(2 + 3\right)\left(5 + 7\right) = \left(5\right)\left(12\right) = 60.$$ 两边都等于 60，恒等式成立。
常见问题
什么情况下可以用分组法分解？当表达式恰好有四项，且能分成每组都含有公因式、并最终留下一个共同二项式的两组时，就可以使用分组分解法。
分组的顺序会有影响吗？不会——你也可以按 \(\left(\text{a}\text{x} + \text{b}\text{x}\right) + \left(\text{a}\text{y} + \text{b}\text{y}\right)\) 来分组，同样能得到 \(\left(\text{a} + \text{b}\right)\left(\text{x} + \text{y}\right)\)。
为什么结果不总是看起来像漂亮的因式分解？本工具是基于你输入的数值进行计算的。若要进行符号化因式分解，需要保留变量；而这里我们是在数值层面验证等式是否成立。
