Question Number 193875 by Subhi last updated on 22/Jun/23
$${a},{b},{c},{d},{e},{f},\:{are}\:+\:{real}\:{numbers} \\ $$$${prove}: \\ $$$$\frac{{a}}{{b}+{c}}+\frac{{b}}{{c}+{d}}+\frac{{c}}{{d}+{e}}+\frac{{d}}{{e}+{f}}+\frac{{e}}{{f}+{a}}+\frac{{f}}{{a}+{b}}\geqslant\mathrm{3} \\ $$
Answered by AST last updated on 23/Jun/23
$$=\underset{{cyc}} {\sum}\frac{{a}^{\mathrm{2}} }{{a}\left({b}+{c}\right)}\:\geqslant\frac{\left(\Sigma{a}\right)^{\mathrm{2}} }{\underset{{cyc}} {\sum}{a}\left({b}+{c}\right)}….\left({i}\right) \\ $$$$\mathrm{2}\underset{{cyc}} {\sum}{a}\left({b}+{c}\right)=\left(\Sigma{a}\right)^{\mathrm{2}} −\left({a}+{d}\right)^{\mathrm{2}} −\left({b}+{e}\right)^{\mathrm{2}} −\left({c}+{f}\right)^{\mathrm{2}} \\ $$$${From}\:\mathrm{3}\left({a}^{\mathrm{2}} +{b}^{\mathrm{2}} +{c}^{\mathrm{2}} \right)\geqslant\left({a}+{b}+{c}\right)^{\mathrm{2}} \\ $$$${We}\:{get}\:\mathrm{2}\underset{{cyc}} {\sum}{a}\left({b}+{c}\right)\leqslant\frac{\mathrm{2}}{\mathrm{3}}\left(\Sigma{a}\right)^{\mathrm{2}} …\left({ii}\right) \\ $$$$\left({i}\right)\:{and}\:\left({ii}\right)\Rightarrow\Sigma\frac{{a}^{\mathrm{2}} }{{a}\left({b}+{c}\right)}\geqslant\frac{\mathrm{2}\left(\Sigma{a}\right)^{\mathrm{2}} }{\mathrm{2}\Sigma{a}\left({b}+{c}\right)}\geqslant\mathrm{3}\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\:\Box \\ $$
Commented by Subhi last updated on 23/Jun/23
$${perfect}\: \\ $$
Answered by Subhi last updated on 23/Jun/23
$$\underset{{cyc}} {\sum}{a}\left({b}+{c}\right)\underset{{cyc}} {\sum}\frac{\left({a}\right)}{\left({b}+{c}\right)}\geqslant\left(\Sigma{a}\right)^{\mathrm{2}} \\ $$$$\Sigma\frac{\left({a}\right)}{\left({b}+{c}\right)}\geqslant\frac{\left(\Sigma{a}\right)^{\mathrm{2}} }{\Sigma{a}\left({b}+{c}\right)}=\frac{\left({a}+{b}+{c}+{d}+{e}+{f}\right)^{\mathrm{2}} }{{ab}+{ac}+{bc}+{bd}+{cd}+{ce}+{de}+{df}+{ef}+{ea}+{af}+{fb}} \\ $$$$\mathrm{2}\Sigma{a}\left({b}+{c}\right)=\left(\underset{{cyc}} {\sum}{a}\right)^{\mathrm{2}} −\Sigma{a}^{\mathrm{2}} −\mathrm{2}\left({ad}+{be}+{cf}\right)=\left(\underset{{cyc}} {\sum}{a}\right)^{\mathrm{2}} −\left(\left({a}+{d}\right)^{\mathrm{2}} +\left({b}+{e}\right)^{\mathrm{2}} +\left({c}+{f}\right)^{\mathrm{2}} \right) \\ $$$$\left({a}+{d}\right)^{\mathrm{2}} +\left({b}+{e}\right)^{\mathrm{2}} +\left({c}+{f}\right)^{\mathrm{2}} \geqslant\frac{\left({a}+{b}+{c}+{d}+{e}+{f}\right)^{\mathrm{2}} }{\mathrm{3}} \\ $$$$\mathrm{2}\Sigma{a}\left({b}+{c}\right)\leqslant\frac{\mathrm{2}}{\mathrm{3}}\left(\Sigma{a}\right)^{\mathrm{2}} \:\:\Rrightarrow\:\Sigma{a}\left({b}+{c}\right)\leqslant\frac{\mathrm{1}}{\mathrm{3}}\left(\Sigma{a}\right)^{\mathrm{2}} \: \\ $$$$\therefore\:\underset{{cyc}} {\sum}\frac{{a}}{{b}+{c}}\geqslant\frac{\mathrm{3}\left(\Sigma{a}\right)^{\mathrm{2}} }{\left(\Sigma{a}\right)^{\mathrm{2}} }=\mathrm{3} \\ $$