Question Number 126098 by ZiYangLee last updated on 17/Dec/20
$$\mathrm{Prove}\:\mathrm{that}\: \\ $$$$\mathrm{27}\left(\mathrm{sin}^{\mathrm{4}} \alpha+\mathrm{2cos}^{\mathrm{4}} \alpha\right)\geqslant\mathrm{16}\left(\mathrm{sin2}\alpha\right)^{\mathrm{2}} \\ $$
Answered by MJS_new last updated on 17/Dec/20
$$\mathrm{sin}\:\mathrm{2}\alpha\:=\mathrm{2sin}\:\alpha\:\mathrm{cos}\:\alpha \\ $$$$\mathrm{27}\left({s}^{\mathrm{4}} +\mathrm{2}{c}^{\mathrm{4}} \right)\geqslant\mathrm{64s}^{\mathrm{2}} \mathrm{c}^{\mathrm{2}} \\ $$$${c}=\sqrt{\mathrm{1}−{s}^{\mathrm{2}} } \\ $$$$\mathrm{27}\left(\mathrm{3}{s}^{\mathrm{4}} −\mathrm{4}{s}^{\mathrm{2}} +\mathrm{2}\right)\geqslant\mathrm{64}{s}^{\mathrm{2}} \left(\mathrm{1}−{s}^{\mathrm{2}} \right) \\ $$$${s}^{\mathrm{4}} −\frac{\mathrm{172}}{\mathrm{145}}{s}^{\mathrm{2}} +\frac{\mathrm{54}}{\mathrm{145}}\geqslant\mathrm{0} \\ $$$$\mathrm{it}'\mathrm{s}\:\mathrm{easy}\:\mathrm{to}\:\mathrm{show}\:\mathrm{this}\:\mathrm{has}\:\mathrm{no}\:\mathrm{real}\:\mathrm{zeros} \\ $$$$\mathrm{and}\:\mathrm{for}\:{s}=\mathrm{0}\:\mathrm{it}'\mathrm{s}\:\mathrm{true}\:\Rightarrow\:\mathrm{always}\:\mathrm{true} \\ $$
Commented by talminator2856791 last updated on 17/Dec/20
$$\:\mathrm{very}\:\mathrm{nice}.\:\mathrm{quadratic}\:\mathrm{is}\:\mathrm{perfect}.\: \\ $$