olymmath

DE-MO 2011 Problem 1

    Prove for each non-negative integer nn and real number xx the inequality sin⁡x⋅(nsin⁡x−sin⁡nx)≥0\sin{x} \cdot(n \sin{x}-\sin{nx}) \geq 0

    Dataset text AI-MO AoPS. Quoted with source.

    Solutions

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

    Add a solution

    Similar problems

    These problems have the most words in common with this statement.

    Locator de-mo/2011/p1 · Tag DYTXEH8PZ4 · Edit this page on GitHub · Keys: j next, k previous