Suppose $x,y\geq 0$ and $b,c,d\geq 1$ are integers. Prove or find a counterexample to the following inequality $$ \frac{1}{1+\frac{b+d}{\sqrt{x^{2}+c^{2}}}} + \frac{1}{1+\frac{c+d}{\sqrt{y^{2}+b^{2}}}}\geq \frac{1}{1+\frac{d}{\sqrt{(x+b)^{2}+(y+c)^{2}}}}. $$
-
2$\begingroup$ why ? $\endgroup$– Anthony QuasJul 31, 2012 at 1:24
-
1$\begingroup$ Are you asking me? What I said is simple algebra. $\endgroup$– GH from MOJul 31, 2012 at 1:30
-
6$\begingroup$ no - i was asking the OP $\endgroup$– Anthony QuasJul 31, 2012 at 2:52
-
2$\begingroup$ It looks exactly like a typical math. contest inequality and, as such, it is of easy to medium difficulty (that by itself is quite a hint). Since I strongly suspect that some cheating is taking place, I'll not post an answer until I am convinced that I'm wrong here. I'll abstain from voting to close though because I do not have an irrefutable proof of my suspicion either. $\endgroup$– fedjaJul 31, 2012 at 11:04
-
1$\begingroup$ @Anthony Quas: I am familiar with what the OP is asking, but I don't know the answer. The inequality is obtained when considering whether e certain distance function on discrete sets is a metric, i.e., whether it obeys the triangle inequality, for the case p=2. @ fedja: So it does not come from any contest, nor is there any "cheating" whatever that means. $\endgroup$– kodluJul 31, 2012 at 11:24
1 Answer
OK, I'll take kodlu's word as a proof this time. :).
Let $u=\sqrt{x^2+c^2}$, $v=\sqrt{y^2+b^2}$, $w=\sqrt{(x+b)^2+(y+c)^2}$. We need to show that $$ \frac{u}{u+b+d}+\frac{v}{v+c+d}\ge \frac{w}{w+d} $$ Note that $w\le u+v$ (triangle inequality on the plane) and that $t\mapsto \frac{t}{t+d}$ is increasing in $t$, so it will suffice to show that $$ \frac{u}{u+b+d}+\frac{v}{v+c+d}\ge \frac{u+v}{u+v+d}. $$ However, $b\le v$ and $c\le u$, so the LHS is at least $$ \frac{u}{u+v+d}+\frac{v}{v+u+d}= \frac{u+v}{u+v+d}. $$
As I said, I wouldn't be surprised to see it on some decent high school math. contest.
-
$\begingroup$ @ fedja: thanks, it is indeed straightforward. $\endgroup$– kodluJul 31, 2012 at 21:07