olymmath

Putnam 1987 B5

  • Session B

Let OnO_n be the nn-dimensional vector (0,0,⋯ ,0)(0,0,\cdots, 0). Let MM be a 2n×n2n \times n matrix of complex numbers such that whenever (z1,z2,…,z2n)M=On(z_1, z_2, \dots, z_{2n})M = O_n, with complex ziz_i, not all zero, then at least one of the ziz_i is not real. Prove that for arbitrary real numbers r1,r2,…,r2nr_1, r_2, \dots, r_{2n}, there are complex numbers w1,w2,…,wnw_1, w_2, \dots, w_n such that re[M(w1⋮wn)]=(r1⋮rn).\mathrm{re}\left[ M \left( \begin{array}{c} w_1 \\ \vdots \\ w_n \end{array} \right) \right] = \left( \begin{array}{c} r_1 \\ \vdots \\ r_n \end{array} \right). (Note: if CC is a matrix of complex numbers, re(C)\mathrm{re}(C) is the matrix whose entries are the real parts of the entries of CC.)

Curated text Kedlaya Putnam archive. 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

Locator putnam/1987/b5 · Tag W3P81KRC6H · Edit this page on GitHub · Keys: j next, k previous