On an infinite chessboard are placed $2009 \ n \times n$ cardboard pieces such that each of them covers exactly $n^2$ cells of the chessboard. Prove that the number of cells of the chessboard which are covered by odd numbers of cardboard pieces is at least $n^2.$ (9 points)
Problem
Source:
Tags: modular arithmetic
fishythefish
03.09.2010 18:24
Correct me if I'm mistaken, but doesn't the problem say that each piece covers $n^2$ cells? So this is true for all pieces, not just the odd ones.
andersonw
04.09.2010 01:14
Yeah, but pieces can overlap.
(if anyone in AMP UCSC is reading this, it will sound very very familiar )
So let's just transfer this chessboard to an infinite lattice grid, and the condition states that cardboard piece must have sides parallel to each axis and have each vertex be at a lattice point.
Tile the plane with $n\times n$ squares, so that each of their vertices are at $(kn, ln)$ for all integers $k, l$. Now, let's "mod" each of these squares to the square with vertices at $(0,0), (n,0), (0,n),$ and $(n,n)$, so that each unit square with lower-left vertex $(a,b)$ will go to the unit square with lower-left vertex $(a\pmod{n}, b\pmod{n})$. Note that each cardboard square, when placed on the grid and "modded" to this central nxn square, will cover every point in this nxn square exactly once. Therefore, each unit square with lower-left vertex $(x,y)$ with $0\le x<n$, $0\le y<n$ will be fully covered exactly 2009 times. Now, we claim that before the modding, among all of the unit squares with lower-left vertices $(x+kn, y+ln)$ for all integers $k, l$, at least one of them is covered by an odd number of cardboard pieces. If each of them were covered by an even number of pieces, then after the modding, the unit square with lower-left vertex $(x,y)$ would be covered an even number of times, a contradiction as 2009 is an odd number. Therefore, for all $x$ and $y$ such that $0\le x<n$, $0\le y<n$, there exists a unit square with lower-left vertex $(x+kn, y+ln)$ that is covered by an odd number of pieces. As there are $n^2$ possible combinations of $x$ and $y$, and each of these gives at least one unique unit square that is covered an odd number of times, there are at least $n^2$ unit squares that are covered by an odd number of pieces, which was what was wanted.
Edit: Also, no clue why this is in High School Basics >.>. It should be Pre-Olympiad at least.
fishythefish
04.09.2010 17:03
Oh, I misunderstood the problem. I thought all of the pieces were numbered 1-2009, or something. I never considered the number of pieces that overlap.