咨询：二元非齐次二次函数的可因式分解性判断及分解方法

嘿，这个问题我平时帮人解答过不少，二元非齐次二次函数的因式分解其实没那么难，只要抓住齐次部分的突破口，再结合系数对比就能搞定。咱们先从判断方法说起，再用你给的例子一步步拆解。

一、判断是否可因式分解 #

二元非齐次二次函数的一般形式是：ap² + bpq + cq² + dp + eq + f（这里用你例子里的p、q当变量）。判断它能不能分解成两个一次式的乘积，常用两种思路：

• 思路1：转化为单变量二次式看判别式
  把函数看成关于其中一个变量（比如p）的一元二次式：ap² + (bq + d)p + (cq² + eq + f)。计算这个二次式的判别式Δ = (bq + d)² - 4a(cq² + eq + f)，如果Δ是关于q的完全平方式，说明这个二次式能分解，原函数也就可以分解成两个一次式的乘积。
• 思路2：假设分解式后对比系数
  假设原函数能分解为(mp + nq + k)(xp + yq + l)，展开后对比各项系数，要是能找到满足所有系数等式的常数m、n、k、x、y、l，就说明可以分解。

二、具体分解方法（结合你的例子实操） #

你的例子是：p² - 3pq + 2q² - p + 3q - 2，咱们用最常用的“齐次部分突破法”来分解：

步骤1：先分解齐次二次部分 #

原函数的齐次项是p² - 3pq + 2q²，这部分很容易分解：
p² - 3pq + 2q² = (p - q)(p - 2q)

步骤2：假设完整的分解式 #

因为非齐次二次函数如果能分解，它的两个一次因式的齐次部分就是刚才得到的两个因式，所以我们可以给每个因式加一个常数项，假设原函数分解为：
(p - q + m)(p - 2q + n)
这里m和n就是我们要求的常数。

步骤3：展开假设式，对比系数求常数 #

展开上面的式子：

(p - q + m)(p - 2q + n)
= p² - 2pq + np - pq + 2q² - nq + mp - 2mq + mn
= p² - 3pq + 2q² + (m + n)p + (-n - 2m)q + mn

把这个展开式和原式p² - 3pq + 2q² - p + 3q - 2对比各项系数：

• p的一次项系数：m + n = -1
• q的一次项系数：-n - 2m = 3
• 常数项：mn = -2

先解前两个方程：从第一个方程得n = -1 - m，代入第二个方程：
-(-1 - m) - 2m = 3 → 1 + m - 2m = 3 → m = -2
再代入n = -1 - (-2) = 1

最后验证常数项：mn = (-2)*1 = -2，完全符合原式的常数项，说明我们找对了！

步骤4：写出最终分解结果 #

所以原函数分解为：(p - q - 2)(p - 2q + 1)

三、另一种方法：看成单变量二次式分解 #

你也可以把原式看成关于p的二次式：
p² - (3q + 1)p + (2q² + 3q - 2)
然后对常数项部分2q² + 3q - 2分解，它可以拆成(2q - 1)(q + 2)，而这两个因式的和刚好是(2q -1)+(q+2)=3q+1，也就是p的一次项系数的相反数，所以原式直接分解为：
[p - (2q - 1)][p - (q + 2)] = (p - 2q + 1)(p - q - 2)
结果和之前完全一致。

内容的提问来源于stack exchange，提问作者Tanisha