Intereting Posts

How does one know that a theorem is strong enough to publish?
Calippo, toothpaste and milk .. packing
Existence of rational points on ellipses equivalent to existence of integral points?
The ring of integers of a number field is finitely generated.
Divergent products.
Fourier Transform Proof $ \mathcal F(f(x)g(x))=(\frac{1}{2\pi})F(s)*G(s)$
What are the theorems in mathematics which can be proved using completely different ideas?
How do I prove this method of determining the sign for acute or obtuse angle bisector in the angle bisector formula works?
Algorithm(s) for computing an elementary symmetric polynomial
If $dF_p$ is nonsingular, then $F(p)\in$ Int$N$
$(n!+1,(n+1)!)$ hints for finding gcd.
Solving $\lim\limits_{x\to0} \frac{x – \sin(x)}{x^2}$ without L'Hospital's Rule.
probability question related to pattern in coin tossing
Find the last two digits of the number $9^{9^9}$
Can we prove the open mapping theorem using the maximum modulus principle?

Let $a,b,c>0$ how to prove that :

$$\frac{ab}{a^2+3b^2}+\frac{cb}{b^2+3c^2}+\frac{ac}{c^2+3a^2}\le\frac{3}{4}$$

I find that

$$\ \frac{ab}{a^{2}+3b^{2}}=\frac{1}{\frac{a^{2}+3b^{2}}{ab}}=\frac{1}{\frac{a}{b}+\frac{3b}{a}} $$

- Is this continuous analogue to the AM–GM inequality true?
- Proving inequality $\sqrt{\frac{2a}{b+c}}+\sqrt{\frac{2b}{c+a}}+\sqrt{\frac{2c}{a+b}} \leq \sqrt{3 \left(\frac{a}{b}+\frac{b}{c}+\frac{c}{a}\right)}$
- Prove $(a_1+b_1)^{1/n}\cdots(a_n+b_n)^{1/n}\ge \left(a_1\cdots a_n\right)^{1/n}+\left(b_1\cdots b_n\right)^{1/n}$
- Prove that $\left | \frac{a-b}{a+b}+\frac{b-c}{b+c}+\frac{c-a}{c+a} \right | < \frac{1}{8}.$
- Prove $\sqrt{a} + \sqrt{b} + \sqrt{c} \ge ab + bc + ca$
- Inequality with five variables

By AM-GM

$$\ \frac{ab}{a^{2}+3b^{2}} \leq \frac{1}{2 \sqrt{3}}=\frac{\sqrt{3}}{6} $$

$$\ \sum_{cyc} \frac{ab}{a^{2}+3b^{2}} \leq \frac{\sqrt{3}}{2} $$

But this is obviously is not working .

- If $a+b+c=6$ and $a,b,c$ belongs to positive reals $\mathbb{R}^+$; then find the minimum value of $\frac{1}{a}+\frac{4}{b}+\frac{9}{c}$ .
- Proof of the inequality $\frac{a}{b+c}+\frac{b}{a+c}+\frac{c}{a+b} \geq \frac{3}{2}$
- Inequality: $ab^2+bc^2+ca^2 \le 4$, when $a+b+c=3$.
- Prove that $\left | \frac{a-b}{a+b}+\frac{b-c}{b+c}+\frac{c-a}{c+a} \right | < \frac{1}{8}.$
- Proving the inequality $4\ge a^2b+b^2c+c^2a+abc$
- Hard Olympiad Inequality
- Minimum value of $\left(a+\frac{1}{b}\right)^2+\left(b+\frac{1}{c}\right)^2+\left(c+\frac{1}{a}\right)^2$
- Solving Equation through inequalities.
- If $a^2+b^2=1$ where $a,b>0$ then find the minimum value of $a+b+{1\over{ab}}$
- Wanted: Low-dimensional SOS certificate for the AM-GM inequality

Using the change of variables $x_1=a/b$, $x_2=b/c$, $x_3=c/a$, one asks for the maximum of $T$ under the constraint $S=0$, on the domain $D$ defined by $x_1\gt0$, $x_2\gt0$, $x_3\gt0$, where

$$

T=\sum\limits_{k=1}^3R(x_k),\qquad R(x)=x/(3+x^2),\qquad S=x_1x_2x_3-1.

$$

The extrema in $D$ are located at points such that the gradients of $T$ and $S$ are colinear. For every $k$, $\partial_kT=R'(x_k)$ with $R'(x)=(3-x^2)/(3+x^2)^2$ and $\partial_kS=(x_1x_2x_3)/x_k=1/x_k$, hence the condition is that $U(x_k)=x_kR'(x_k)$ does not depend on $k$.

The function $x\mapsto U(x)$ is smooth on $x\geqslant0$, increasing-then-decreasing and nonnegative on $0\leqslant x\leqslant\sqrt3$, and decreasing and negative on $x\gt\sqrt3$. Assume that $U(x_1)=U(x_2)=U(x_3)$ and call $v$ their common value. If $v\lt0$, the equation $U(x)=v$ has only one solution $x_v\gt1$ hence $x_1=x_2=x_3=x_v$ and $S\ne0$, which is absurd. If $v\gt0$, the equation $U(x)=v$ has at most two solutions in $(0,\sqrt3)$ hence either $x_1=x_2=x_3$, then their common value is $1$, or the $x_k$ are not all equal, then two of them are equal to some $x$ and the third one to $1/x^2$ and $U(x)=U(1/x^2)$. This last condition reads $W(x)=0$ with

$$

W(x)=(3-x^2)(1+3x^4)^2-x(3x^4-1)(x^2+3)^2,

$$

which has no solution $x\geqslant0$ except $x=1$. Finally, the gradients of $T$ and $S$ are colinear at the point $(1,1,1)$ and only there hence the only extremum on $D$ is $T(1,1,1)=3/4$, which is a local maximum since, for example, $T(x,1/x,1)\to1/4\lt3/4$ when $x\to0^+$.

To see what happens on the boundary of $D$, introduce the interval $K=[1/2,6]$. Then $R(x)\leqslant2/13$ for every $x$ not in $K$ and $R(x)\leqslant1/(2\sqrt3)$ for every $x\gt0$. Hence, as soon as one coordinate $x_k$ is not in $K$, $T\leqslant2/13+2\cdot1/(2\sqrt3)=0.731$. Since $0.731\lt3/4$, this proves that the supremum of $T$ is reached in $K\times K\times K$, and finally that this supremum is the maximum $T(1,1,1)=3/4$.

**Caveat:** The assertions above about the variations of the function $U$ and the roots of the polynomial $W$ were checked by inspecting W|A-drawn (parts of the) graphs of these two functions. To complete the proof, one should show them rigorously.

I have a Cauchy-Schwarz proof of it,hope you enjoy.:D

first,mutiply $2$ to each side,your inequality can be rewrite into

$$ \sum_{cyc}{\frac{2ab}{a^2+3b^2}}\leq \frac{3}{2}$$

Or

$$ \sum_{cyc}{\frac{(a-b)^2+2b^2}{a^2+3b^2}}\geq \frac{3}{2}$$

Now,Using Cauchy-Schwarz inequality,we have

$$ \sum_{cyc}{\frac{(a-b)^2+2b^2}{a^2+3b^2}}\geq \frac{\left(\sum_{cyc}{\sqrt{(a-b)^2+2b^2}}\right)^2}{4(a^2+b^2+c^2)}$$

Therefore,it’s suffice to prove

$$\left(\sum_{cyc}{\sqrt{(a-b)^2+2b^2}}\right)^2\geq 6(a^2+b^2+c^2) $$

after simply expand,it’s equal to

$$ \sum_{cyc}{\sqrt{[(a-b)^2+2b^2][(b-c)^2+2c^2]}}\geq a^2+b^2+c^2+ab+bc+ca $$

Now,Using Cauchy-Schwarz again,we notice that

$$ \sqrt{[(a-b)^2+2b^2][(b-c)^2+2c^2]}\geq (b-a)(b-c)+2bc=b^2+ac+bc-ab$$

sum them up,the result follows.

Hence we are done!

Equality occurs when $a=b=c$

I have answered this question in a slightly different way.

Let us assume the following : $ \frac{a}{b}=x$ and $ \frac{b}{c}=y.$ This converts the above equation to a equation

with two variables. $$ f(x,y)=\frac{x}{3+x^2} + \frac{y}{3+y^2}+\frac{xy}{1+3(xy)^2}$$ Now to get a maxima or minima point of $f(x,y)$ we partially differentiate it with $x$ and $y$ and equate them to $0$. Hence we have $$ \frac{\partial f(x,y)}{\partial x}= \frac{3-x^2}{(x^2+3)^2}+\frac{y(1-3x^2y^2)}{(3x^2y^2+1)^2}=0 $$ $$\Rightarrow \frac{3-x^2}{y(x^2+3)^2}=\frac{(3x^2y^2-1)}{(3x^2y^2+1)^2}………..Eqn(1)$$ Since $f(x,y)$ is symmetric with $x$ and $y$ ,we also have for $\frac{\partial f(x,y)}{\partial y}=0$ $$\frac{3-y^2}{x(y^2+3)^2}=\frac{(3x^2y^2-1)}{(3x^2y^2+1)^2}………..Eqn(2)$$ Combining equation 1 and 2 we get $$x \cdot\frac{3-x^2}{(x^2+3)^2}=y \cdot\frac {3-y^2}{(y^2+3)^2}$$ This immediately shows that $x=y $ is a critical point (maxima or minima). Now this clearly shows that at the critical point $$x=y$$ $$\Rightarrow ac=b^2………Eqn (3)$$ In a similar fashion assuming $\frac{b}{c}=x$ and $\frac{c}{a}=y$ we again the same set of equation $$ f(x,y)=\frac{x}{3+x^2} + \frac{y}{3+y^2}+ \frac{xy}{1+3(xy)^2}$$ Following the same steps we get $$x=y$$ $$\Rightarrow ab=c^2………..Eqn(4)$$ Equation 3 and 4 show that $$a=b=c$$ at the critical point. Hence $a=b=c$ gives us that $$\frac{ab}{a^2+3b^2}+\frac{cb}{b^2+3c^2}+\frac{ac}{c^2+3a^2}=\frac{3}{4}$$ is a maxima or a minima. To check maxima we double differentiate and check $\frac{\partial^2f}{\partial x^2}$ and $\frac{\partial^2f}{\partial y^2}$ We get the following : $$\frac{\partial^2f}{\partial x^2}=\frac{\partial^2f}{\partial y^2}=\frac{2x^3-18x}{(3+x^2)2}+\frac{18x^4-18x^8}{(1+3x^4)^2}=-\frac{16}{64} $$ at $ x=y=1$. Both being negative we see that the function $f$ has a maxima at $a=b=c$ which is $\frac{3}{4}$ Hence $$\frac{ab}{a^2+3b^2}+\frac{cb}{b^2+3c^2}+\frac{ac}{c^2+3a^2} \le \frac{3}{4}$$

By AM-Gm $$\sum_{cyc}\frac{ab}{a^2+3b^2}=\sum_{cyc}\frac{ab}{a^2+b^2+2b^2}\leq\sum_{cyc}\frac{ab}{2\sqrt{2b^2(a^2+b^2)}}=\frac{1}{2\sqrt2}\sum_{cyc}\sqrt{\frac{a^2}{a^2+b^2}}.$$

Thus, it remains to prove that $\sum\limits_{cyc}\sqrt{\frac{x}{x+y}}\leq\frac{3}{\sqrt2}$, which followos from C-S.

Indeed, $$\left(\sum\limits_{cyc}\sqrt{\frac{x}{x+y}}\right)^2\leq\sum_{cyc}\frac{x}{(x+y)(x+z)}\sum_{cyc}(x+z)=\frac{4(xy+xz+yz)(x+y+z)}{\prod\limits_{cyc}(x+y)}\leq\frac{9}{2},$$

where the last inequality it’s just $\sum\limits_{cyc}z(x-y)^2\geq0$.

Done!

From the question it is obvious that equality is achieved when $a=b=c$, this hints at the use of AM-GM. Firstly, use the fact that $ab \le \frac{1}{2} (a^2+b^2)$, we just need to show

$$ \frac{a^2+b^2}{a^2+3b^2} + \frac{b^2+c^2}{b^2+3c^2} + \frac{c^2+a^2}{c^2+3a^2} \le \frac{3}{2},$$ which is equivalent to (after removing a constant 1 from each term in LHS)

$$ \frac{b^2}{a^2+3b^2} + \frac{c^2}{b^2+3c^2} + \frac{a^2}{c^2+3a^2} \ge \frac{3}{4},$$

by AM-GM, $a^2 + 3b^2 \ge 4 \sqrt[4]{a^2b^6} = 4\sqrt{ab^3}$, hence we just need

$$ \frac{\sqrt{b}}{\sqrt{a}} + \frac{\sqrt{c}}{\sqrt{b}} + \frac{\sqrt{a}}{\sqrt{c}} \ge 3, $$ but this is obviously true by one more application of AM-GM.

- estimate population percentage within an interval, given a small sample
- Closed subspace $M=(M^{\perp})^{\perp}$ in PRE hilbert spaces.
- A question regarding existence and uniqueness in IVP
- Asymmetric random walk
- Quantificators vs pullbacks
- Looking for a smart way to solve a linear PDE with some nice symmetries
- Improper integration involving complex analytic arguments
- Multivariable integral over a simplex
- Find $f(x)$ for $f(f(x))=\sin x$
- How to use the quaternion derivative
- Why is $i^i$ real?
- Quantifier Notation
- A monomorphism of groups which is not universal?
- What's the goal of mathematics?
- How can I find this limit involving thrice-iterated logarithm?