Question Number 221354 by Nicholas666 last updated on 31/May/25

$$ \\ $$$$\:\:\mathrm{Let}\:{a},{b},{c}\:\mathrm{be}\:\mathrm{there}\:\mathrm{real}\:\mathrm{numbers}, \\ $$$$\:\mathrm{Prove}\:\mathrm{that}\:\mathrm{if}; \\ $$$$\:\mathrm{sin}\:{a}\:+\:\mathrm{sin}\:{b}\:+\:\mathrm{sin}\:{c}\:\geqslant\:\mathrm{2}\:\:\Rightarrow\:\mathrm{cos}\:{a}\:+\:\mathrm{cos}\:{b}\:+\:\mathrm{cos}\:{c}\:\leqslant\:\sqrt{\mathrm{5}}\:\:\:\:\:\:\:\:\:\: \\ $$$$\mathrm{and}, \\ $$$$\:\mathrm{sin}\:{a}\:+\:\mathrm{sin}\:{b}\:+\:\mathrm{sin}\:{c}\:\geqslant\:\frac{\mathrm{3}}{\mathrm{2}}\:\Rightarrow\:\mathrm{cos}\left({a}−\pi/\mathrm{6}\right)\:+\:\mathrm{cos}\left({b}−\pi/\mathrm{6}\right)\:+\:\mathrm{cos}\left({c}−\pi/\mathrm{6}\right)\:\geqslant\:\mathrm{0}\:.\:\:\:\:\:\:\:\:\:\:\:\:\: \\ $$$$ \\ $$
Commented by vnm last updated on 31/May/25

$$…+\mathrm{cos}\left({b}−\pi/\mathrm{6}\right)+…\:? \\ $$
Commented by Nicholas666 last updated on 31/May/25

$$\mathrm{yes} \\ $$