まず、分子を分母で割ることを考えます。
\begin{array}{c|ccccc}
\multicolumn{2}{r}{x^2} & -x & +1 \\
\cline{2-6}
x^2-x+3 & x^4 & -2x^3 & -x^2 & +2x & +34 \\
\multicolumn{2}{r}{x^4} & -x^3 & +3x^2 \\
\cline{2-4}
\multicolumn{2}{r}{0} & -x^3 & -4x^2 & +2x \\
\multicolumn{2}{r}{} & -x^3 & +x^2 & -3x \\
\cline{3-5}
\multicolumn{2}{r}{} & 0 & -5x^2 & +5x & +34 \\
\multicolumn{2}{r}{} & & -5x^2 & +5x & -15 \\
\cline{4-6}
\multicolumn{2}{r}{} & & 0 & 0 & +49 \\
\end{array}
したがって、
x4−2x3−x2+2x+34=(x2−x+3)(x2−x−5)+49 f(x)=x2−x+3(x2−x+3)(x2−x−5)+49=x2−x−5+x2−x+349 t=x2−x+3 とおくと、f(x)=t−8+t49. g(t)=t+t49 とすると f(x)=g(t)−8. t=x2−x+3=(x−21)2+411≥411 x≥0 の範囲で、t は x=21 のとき最小値 411 をとります。 g(t)=t+t49 について、相加相乗平均の関係より t+t49≥2t⋅t49=249=14 等号成立は t=t49 のとき、つまり t2=49 より t=7 (t>0 より)。 t=7 を満たす x が x≥0 に存在するか調べる。 x2−x+3=7 x2−x−4=0 x=21±1+16=21±17 x=21+17>0 したがって、x=21+17 のとき、t=7 となり、 f(x) は最小値 14−8=6 をとる。