Maths Olympiad Prep

Library / Hellenic Mathematical Olympiad /14 of 57

Hellenic Mathematical Olympiad

Combinatorics Difficulty 5.7 AIME, harder Prove it Greece

At each square of a 2007×20072007 \times 2007 chessboard we put one of the numbers 11 or −1-1. We denote by AiA_i the product of the numbers of the ii-row, i=1,2,…,2007i=1,2,\ldots,2007 and by BjB_j the product of the numbers of the jj-column, j=1,2,…,2007j=1,2,\ldots,2007. Prove that:

A1+A2+⋯+A2007+B1+B2+⋯+B2007≠0. A_1 + A_2 + \dots + A_{2007} + B_1 + B_2 + \dots + B_{2007} \neq 0.

Solution

We have A1A2…A2007⋅B1B2…B2007=1A_1A_2\dots A_{2007} \cdot B_1B_2\dots B_{2007} = 1, because each element of the table appears two times, one in a row and one in a column, and so the number of (−1)(-1) in the product A1A2…B2007A_1A_2\dots B_{2007} is even, say, for example 2k2k.

Therefore the number of +1+1 will be 4014−2k4014 - 2k.

If (4014−2k)(1)+2k(−1)=0⇒4014=4k(4014-2k)(1) + 2k(-1) = 0 \Rightarrow 4014 = 4k, which is absurd, because 44 does not divide 40044004. Hence A1+A2+⋯+A2007+B1+B2+⋯+B2007≠0A_1 + A_2 + \dots + A_{2007} + B_1 + B_2 + \dots + B_{2007} \neq 0.

Want a route through all this instead of an archive? The track puts 2,604 problems in a working order, from Junior Challenge level to the IMO shortlist.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.