Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $a,b,c,x,y,z >0$ and $A=a^2+b^2+c^2,\ B=x^2+y^2+z^2,\ C=ax+by+cz$. By Cauchy-Schwarz inequality, we always have $C^2\le AB$. If $C^2<AB$, prove that $$ \frac{A}{C+\sqrt{2(AB-C^2)}}<\frac{a+b+c}{x+y+z}<\frac{C+\sqrt{2(AB-C^2)}}{B}. $$ I created this inequality. Are there any nice proofs?

share|cite|improve this question
Doesn't Cauchy-Schwarz guaranteee that case (2) never happens? – darij grinberg Mar 28 '13 at 1:36
yes,The problem from this if $C^2=AB$, then we use Cauchy-Schwarz have $\dfrac{a+b+c}{x+y+z}=\dfrac{C^2}{B^2}$ – math110 Mar 28 '13 at 1:45
Are you sure that the inequality you invented is true ? – Ewan Delanoy May 22 '13 at 8:53
I have somewhat modified your question. As pointed out by darij grinberg, case (2) never happens and so I omitted it. Also, I redefined $A,B,C$ as the squares of your original $A,B,C$, so as to avoid carrying unnecessary exponents. If you think my edit is inappropriate, please feel free to roll back. – user1551 May 22 '13 at 8:56
up vote 4 down vote accepted

It seems the following.

The inequality is not strict. For instance, put $a=b=c=x=1$, $y=z=0$. Then $A=3$, $B=C=1$, and $C^2<AB$. But


The non-strict inequality can be easily proved by means of spherical trigonometry. Consider the following vectors of unit length in $\mathbb R^3$. Let $u=(a,b,c)/\sqrt{A}$, $v=(x,y,z)/\sqrt{B}$, and $w=(1,1,1)/\sqrt{3}$. Let $\alpha=\angle (v,u)$, $\beta=\angle(u,w)$, and $\gamma=\angle(w,v)$. Since $a,b,$ and $c$ are positive, we can easily check that $\cos\beta=(a+b+c)/\sqrt{3A}=(a+b+c)/\sqrt{3(a^2+b^2+c^2)}\ge 1/\sqrt{3}$. Then $\tan\beta\le\sqrt{2}$. By spherical law of cosines, we have that $\cos\gamma=\cos\alpha\cos\beta+\sin\alpha\sin\beta\cos\angle u$. Then $\cos\gamma/\cos\beta\le \cos\alpha+\sin\alpha\tan\beta\le\cos\alpha+\sqrt{2}\sin\alpha$. Substituting the cosines by the inner products, we obtain

$$\frac {(x+y+z)/\sqrt{3B}}{(a+b+c)/\sqrt{3A}}\le\frac{C}{\sqrt{AB}}+\sqrt{2-2\left(\frac{C}{\sqrt{AB}}\right)^2}.$$

The equality should hold only if $\cos\angle u=1$ (that is, the vectors $u,v,w$ and $0$ are coplanar) and $\cos\beta=1/\sqrt{3}$, that is one of $a,b,$ and $c$ is equal to $1$, and the others are equal to $0$.

From the another law of cosines $\cos\beta=\cos\alpha\cos\gamma+\sin\alpha\sin\gamma\cos\angle v$, we can similarly obtain the inequality $$\frac{a+b+c}{x+y+z}\le \frac{C+\sqrt{2(AB-C^2)}}{B}.$$

PS. Maybe the $n$-dimensional version of the inequality holds, if we change in it "$2$" to "$n-1$".

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.