与えられた不等式は、
3x2−2z2+4yz+2xy+5xz<0 と書けます。この不等式を因数分解することを試みます。まず、x について整理すると、 3x2+(2y+5z)x−2z2+4yz<0 ここで、x についての二次方程式 3x2+(2y+5z)x−2z2+4yz=0 の解を求めます。しかし、この二次方程式を簡単に解くことは難しいです。 不等式を次のように変形してみます。
3x2+2xy+5xz−2z2+4yz<0 この式を因数分解することを試みます。しかし、簡単な因数分解は存在しません。
元の不等式は 3x2−2z2+4yz+2xy+5xz<0 です。 これを平方完成することを試みます。
3(x2+32xy+35xz)−2z2+4yz<0 3(x2+32xy+35xz+91y2+3625z2+95yz)−31y2−1225z2−35yz−2z2+4yz<0 3(x+31y+65z)2−31y2−1249z2+37yz<0 3(x+31y+65z)2<31y2+1249z2−37yz 3(x+31y+65z)2<124y2+49z2−28yz 3(x+31y+65z)2<124y2−28yz+49z2=12(2y−7z)2 36(x+31y+65z)2<(2y−7z)2 6∣x+31y+65z∣<∣2y−7z∣ −∣2y−7z∣<6(x+31y+65z)<∣2y−7z∣ −∣2y−7z∣<6x+2y+5z<∣2y−7z∣