不等式を平方完成します。まず、xについて整理します。 ax2−(y+z)x+(y2+az2−yz)≥0 xについての2次式と見て、平方完成を行います。 a(x−2ay+z)2−a(2ay+z)2+y2+az2−yz≥0 a(x−2ay+z)2−4a(y+z)2+y2+az2−yz≥0 a(x−2ay+z)2−4ay2+2yz+z2+y2+az2−yz≥0 a(x−2ay+z)2+4a4ay2+4a2z2−4ayz−y2−2yz−z2≥0 a(x−2ay+z)2+4a(4a−1)y2−(4a+2)yz+(4a2−1)z2≥0 a(x−2ay+z)2+4a4a−1(y2−4a−14a+2yz)+4a(4a2−1)z2≥0 a(x−2ay+z)2+4a4a−1(y−4a−12a+1z)2−4a4a−1(4a−12a+1z)2+4a4a2−1z2≥0 a(x−2ay+z)2+4a4a−1(y−4a−12a+1z)2−4a(4a−1)(2a+1)2z2+4a(4a2−1)z2≥0 a(x−2ay+z)2+4a4a−1(y−4a−12a+1z)2+4a(4a−1)(4a2−1)(4a)−(2a+1)2z2≥0 a(x−2ay+z)2+4a4a−1(y−4a−12a+1z)2+4a(4a−1)16a3−4a−(4a2+4a+1)z2≥0 a(x−2ay+z)2+4a4a−1(y−4a−12a+1z)2+4a(4a−1)16a3−4a2−8a−1z2≥0 この不等式が常に成り立つためには、それぞれの項の係数が非負である必要があります。
したがって、a>0 かつ 4a4a−1>0 かつ 4a(4a−1)16a3−4a2−8a−1≥0 である必要があります。 4a4a−1>0 より、4a−1>0 である必要があるため、a>41 。 また、16a3−4a2−8a−1≥0 である必要がある。 16a3−4a2−8a−1=(2a+1)(8a2−6a−1). したがって、(2a+1)(8a2−6a−1)≥0である必要がある。 8a2−6a−1=0 となるのは、a=166±36+32=166±68=83±17。 a>41 であるから、a≥83+17 となる。