olymmath

SEEMOUS 2019 Problem 2

    Let A1,A2,…,Am∈Mn(R)A_1, A_2,\dots,A_m\in \mathcal{M}_n(\mathbb{R}) . Prove that there exist ε1,ε2,…,εm∈{−1,1}\varepsilon_1,\varepsilon_2,\dots,\varepsilon_m\in \{-1,1\} such that: tr((ε1A1+ε2A2+⋯+εmAm)2)≥tr(A12)+tr(A22)+⋯+tr(Am2)\rm{tr}\left( (\varepsilon_1 A_1+\varepsilon_2A_2+\dots+\varepsilon_m A_m)^2\right)\geq \rm{tr}(A_1^2)+\rm{tr}(A_2^2)+\dots+\rm{tr}(A_m^2)

    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 seemous/2019/p2 · Tag 18799R9QH9 · Edit this page on GitHub · Keys: j next, k previous