OMC248(F)の別解

まえがき

先日のOMC248にてF問題を通した解法がユーザー解のなかにもなかったので, 少し解説を書いてみようとおみます.

解く際に考えたこと

一番左の項$x^2+y^2+2xy+8z=(x+y)^2+8z$になることから, $(x+y)^2$でくくるのが有効に見えるが, あんまり見えてくるものがない.
このとき逆に$(x-y)^2$でまとめてみると左の二項が
$$ \frac{4z}{(x-y)^2+4xy+8z}+\frac{4xy}{(x-y)^2+8xy+4z}$$となって, $xy,z$に対して対称になっているので, イェンゼンの不等式をうまく使えそうに思える.
ここで$k=(x-y)^2+4xy+4z$ とおくと, イェンゼンがうまく使える形になるので, あとはかなり解きやすい形になる.
$$f(x,y,z)\leq \frac{4}{t+2}-\frac{1}{t-2}=\frac{3t-10}{t^2-4}$$
と表した後は, $t$に関する関数として微分して最大値を求める方法がパッと思い浮かぶが, AM-GMでやった方が楽なのでそっちの方法で書いた.

解説

$k=(x-y)^2+4xy+4z,s=xy$とすると,
$$f(x,y,z)=\frac{4z}{k+4z}+\frac{4s}{k+4s}-\frac{z+s}{k-2(s+z)}$$
となる. また, $k=(x-y)^2+4xy+4z\leq 4(s+z)$が成立する.$\cdots(\ast)$
このとき$g(x)=\dfrac{x}{k+x}$とすると, $g''(x)=-\dfrac{2k}{(k+x)^3}< 0$となるので, $g(x)$は上に凸である. したがって, Jensenの不等式より,
\begin{align*} f(x,y,z)&=2(\frac{1}{2}g(4z)+\frac{1}{2}g(4s))-\frac{z+s}{k-2(s+z)}\\ &\leq 2g(2z+2s)-\frac{z+s}{k-2(s+z)}\\ &=\frac{4(z+s)}{k+2(z+s)}-\frac{z+s}{k-2(s+z)} \end{align*}
等号成立は$s=z$つまり$xy=z$となる.
このとき$t=\dfrac{k}{z+s}$とすると
$$f(x,y,z)\leq \frac{4}{t+2}-\frac{1}{t-2}=\frac{3t-10}{t^2-4}$$
と整理できる. $(\ast)$ より, $3t-10$が成立するので, ある正の実数$a$を用いると, AM-GM不等式より,
\begin{align*} \frac{3t-10}{t^2-4}&=\frac{3t-10}{t^2+a^2-a^2-4}\\ &\leq \frac{3t-10}{2at-a^2-4} \end{align*}
とあらわせ, 等号成立は$t=a$となる. このとき, $2at-a^2-4$が$3t-10$で割り切れると嬉しいので,
\begin{align*} \frac{a^2+4}{2a}&=\frac{10}{3}\\ 20a&=3a^2+12\\ 0&=(3a-2)(a-6)\\ \end{align*}
$a=6,2/3$となる. 等号成立条件の都合により, $a=6$ とすると,
$$\frac{3t-10}{2at-a^2-4}=\frac{3t-10}{4(t-10)}=\frac{1}{4}$$
となるので, $f(x,y,z)$ の最大値は$1/4$となり, 等号成立は
$$xy=z,\frac{(x-y)^2+4xy+4z}{z+xy}=6$$
つまり, $x,y,z$ の満たすべき条件は,
$$xy=z,x^2+y^2=4xy+2z$$
となるので, 公式解説と同様に解ける.