Nemotron-IMO-Bench 2026 G46

Prove that in any acute triangle $ABC$ $\sum \frac{\cos A}{\cos (B-C)}\geq 1+\frac{2}{3}\sum \cos^2 A.$

Dataset text Nemotron-IMO-Bench. Open licence.

Solutions

No solution is on olymmath yet. Official and human solutions come first when they arrive. AI solutions come after them, with a label.