olymmath

ISL 1988 Problem 55

    Suppose αi>0,βi>0\alpha_i > 0, \beta_i > 0 for 1≤i≤n,n>11 \leq i \leq n, n > 1 and that ∑i=1nαi=∑i=1nβi=π.\sum^n_{i=1} \alpha_i = \sum^n_{i=1} \beta_i = \pi. Prove that ∑i=1ncos⁡(βi)sin⁡(αi)≤∑i=1ncot⁡(αi).\sum^n_{i=1} \frac{\cos(\beta_i)}{\sin(\alpha_i)} \leq \sum^n_{i=1} \cot(\alpha_i).

    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 isl/1988/p55 · Tag FRM7CTWH2T · Edit this page on GitHub · Keys: j next, k previous