Maths Olympiad Prep

Library / /290 of 520

Algebra Difficulty 6.8 National olympiad Prove it

Example 24: Given x,y>0,nNx, y>0, n \in N^{*}, prove: xn1+x2+yn1+y2xn+yn1+xy\frac{x^{n}}{1+x^{2}}+\frac{y^{n}}{1+y^{2}} \leq \frac{x^{n}+y^{n}}{1+x y}.

Solution

Prove: From the 2-variable mean inequality and the nn-variable mean inequality, we get

that is,
(1+x2)(1+y2)=1+x2+y2+x2y21+2xy+x2y2=(1+xy)2\left(1+x^{2}\right)\left(1+y^{2}\right)=1+x^{2}+y^{2}+x^{2} y^{2} \geq 1+2 x y+x^{2} y^{2}=(1+x y)^{2}

that is,
(1+x2)(1+y2)(1+xy)2xn1y+xyn11n[(n1)xn+yn]+1n[xn+(n1)yn]=xn+yn,xn1y+xyn1xn+yn\begin{array}{l} \left(1+x^{2}\right)\left(1+y^{2}\right) \geq(1+x y)^{2} \text {. } \\ x^{n-1} y+x y^{n-1} \leq \frac{1}{n}\left[(n-1) x^{n}+y^{n}\right]+\frac{1}{n}\left[x^{n}+(n-1) y^{n}\right]=x^{n}+y^{n}, \\ x^{n-1} y+x y^{n-1} \leq x^{n}+y^{n} \text {. } \end{array}

Thus, xn1+x2+yn1+y2=xn(1+y2)+yn(1+x2)(1+x2)(1+y2)\frac{x^{n}}{1+x^{2}}+\frac{y^{n}}{1+y^{2}}=\frac{x^{n}\left(1+y^{2}\right)+y^{n}\left(1+x^{2}\right)}{\left(1+x^{2}\right)\left(1+y^{2}\right)}
=(xn+yn)+xy(xn1y+xyn1)(1+x2)(1+y2)(xn+yn)+xy(xn+yn)(1+xy)2=xn+yn1+xy\begin{array}{l} =\frac{\left(x^{n}+y^{n}\right)+x y\left(x^{n-1} y+x y^{n-1}\right)}{\left(1+x^{2}\right)\left(1+y^{2}\right)} \\ \leq \frac{\left(x^{n}+y^{n}\right)+x y\left(x^{n}+y^{n}\right)}{(1+x y)^{2}} \\ =\frac{x^{n}+y^{n}}{1+x y} \end{array}

Therefore, we have xn1+x2+yn1+y2xn+yn1+xy\quad \frac{x^{n}}{1+x^{2}}+\frac{y^{n}}{1+y^{2}} \leq \frac{x^{n}+y^{n}}{1+x y}.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.