まず、与えられた式を平方完成に近い形に変形します。
x4−9x2+16=x4+8x2+16−17x2=(x2+4)2−17x2 しかし、このままでは因数分解できません。そこで、
x4−9x2+16=x4+8x2+16−17x2 とはせずに、
x4−9x2+16=x4+2⋅4x2+16−2⋅4x2−9x2=(x2+4)2−17x2 と考えるのではなく、以下の様に平方完成の項を調整することを試みます。
x4−9x2+16=(x2+4)2−8x2−9x2=(x2+4)2−17x2 ではなく、
x4−9x2+16=(x2+ax+4)(x2+bx+4) とおいて展開して比較する方法で考えます。
x4+(a+b)x3+(8+ab)x2+4(a+b)x+16 a+b=0なので b=−aです。 8−a2=−9なので a2=17となり、整数解を持ちません。 次に、
x4−9x2+16=(x2+ax−4)(x2+bx−4) とおいて展開して比較する方法で考えます。
x4+(a+b)x3+(−8+ab)x2−4(a+b)x+16 a+b=0なので b=−aです。 −8−a2=−9なので a2=1となります。 a=1なのでb=−1です。 したがって、
x4−9x2+16=(x2+x−4)(x2−x−4)