まず、定数項 (y+4)(2y−3) を展開します。 (y+4)(2y−3)=2y2−3y+8y−12=2y2+5y−12 したがって、与えられた式は次のようになります。
x2+(3y+1)x+2y2+5y−12 次に、定数項 2y2+5y−12 を因数分解します。 2y2+5y−12=(y+4)(2y−3) 与えられた式が因数分解できると仮定すると、次のような形になります。
(x+A)(x+B) ここで、A+B=3y+1 かつ AB=2y2+5y−12=(y+4)(2y−3) となる A と B を見つけます。 A=y+4 と B=2y−3 とすると、 A+B=(y+4)+(2y−3)=3y+1 AB=(y+4)(2y−3)=2y2+5y−12 したがって、A=y+4 と B=2y−3 が条件を満たします。 よって、与えられた式は次のように因数分解できます。
x2+(3y+1)x+2y2+5y−12=(x+y+4)(x+2y−3)