olymmath

ISL 1982 Problem 48

    Given a finite sequence of complex numbers c1,c2,…,cnc_1, c_2, \ldots , c_n , show that there exists an integer kk ( 1≤k≤n1 \leq k \leq n ) such that for every finite sequence a1,a2,…,ana_1, a_2, \ldots, a_n of real numbers with 1≥a1≥a2≥⋯≥an≥01 \geq a_1 \geq a_2 \geq \cdots \geq a_n \geq 0 , the following inequality holds: ∣∑m=1namcm∣≤∣∑m=1kcm∣.\left| \sum_{m=1}^n a_mc_m \right| \leq \left| \sum_{m=1}^k c_m \right|.

    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/1982/p48 · Tag GR9JFTTQNM · Edit this page on GitHub · Keys: j next, k previous