Maths Olympiad Prep

Library / Shortlist JBMO /50 of 50

Shortlist JBMO, 2007

Combinatorics Difficulty 7.3 National Olympiad, round 2 Prove it JBMO

Problem:

The nonnegative integer nn and (2n+1)×(2n+1)(2n+1) \times (2n+1) chessboard with squares colored alternatively black and white are given. For every natural number mm with 1<m<2n+11 < m < 2n+1, an m×mm \times m square of the given chessboard that has more than half of its area colored in black is called a BB-square. If the given chessboard is a BB-square, find in terms of nn the total number of BB-squares of this chessboard.

Solution

Solution:

Every square with even side length will have an equal number of black and white 1×11 \times 1 squares, so it isn't a BB-square. In a square with odd side length, there is one more 1×11 \times 1 black square than white squares, if it has black corner squares. So, a square with odd side length is a BB-square either if it is a 1×11 \times 1 black square or it has black corners.

Let the given (2n+1)×(2n+1)(2n+1) \times (2n+1) chessboard be a BB-square and denote by bib_{i} (i=1,2,…,n+1i=1,2, \ldots, n+1) the lines of the chessboard which have n+1n+1 black 1×11 \times 1 squares, by wiw_{i} (i=1,2,…,ni=1,2, \ldots, n) the lines of the chessboard which have nn black 1×11 \times 1 squares, and by TmT_{m} (m=1,3,5,…,2n−1,2n+1m=1,3,5, \ldots, 2n-1,2n+1) the total number of BB-squares of dimension m×mm \times m of the given chessboard.

For T1T_{1} we obtain T1=(n+1)(n+1)+n⋅n=(n+1)2+n2T_{1} = (n+1)(n+1) + n \cdot n = (n+1)^{2} + n^{2}.

For computing T3T_{3} we observe that there are nn 3×33 \times 3 BB-squares, which have the black corners on each pair of lines (bi,bi+1)(b_{i}, b_{i+1}) for i=1,2,…,ni=1,2, \ldots, n and there are n−1n-1 3×33 \times 3 BB-squares, which have the black corners on each pair of lines (wi,wi+1)(w_{i}, w_{i+1}) for i=1,2,…,n−1i=1,2, \ldots, n-1. So, we have
T3=n⋅n+(n−1)(n−1)=n2+(n−1)2. T_{3} = n \cdot n + (n-1)(n-1) = n^{2} + (n-1)^{2}.

By using similar arguments for each pair of lines (bi,bi+2)(b_{i}, b_{i+2}) for i=1,2,…,n−1i=1,2, \ldots, n-1 and for each pair of lines (wi,wi+2)(w_{i}, w_{i+2}) for i=1,2,…,n−2i=1,2, \ldots, n-2 we compute
T5=(n−1)(n−1)+(n−2)(n−2)=(n−1)2+(n−2)2. T_{5} = (n-1)(n-1) + (n-2)(n-2) = (n-1)^{2} + (n-2)^{2}.

Step by step, we obtain
T7=(n−2)(n−2)+(n−3)(n−3)=(n−2)2+(n−3)2…………………………………………T2n−1=2⋅2+1⋅1=22+12T2n+1=1⋅1=12 \begin{gathered} T_{7} = (n-2)(n-2) + (n-3)(n-3) = (n-2)^{2} + (n-3)^{2} \\ \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \ldots \\ T_{2n-1} = 2 \cdot 2 + 1 \cdot 1 = 2^{2} + 1^{2} \\ T_{2n+1} = 1 \cdot 1 = 1^{2} \end{gathered}

The total number of BB-squares of the given chessboard equals to
T1+T3+T5+…+T2n+1=2(12+22+…+n2)+(n+1)2=n(n+1)(2n+1)3+(n+1)2=(n+1)(2n2+4n+3)3 \begin{gathered} T_{1} + T_{3} + T_{5} + \ldots + T_{2n+1} = 2\left(1^{2} + 2^{2} + \ldots + n^{2}\right) + (n+1)^{2} = \\ \frac{n(n+1)(2n+1)}{3} + (n+1)^{2} = \frac{(n+1)\left(2n^{2} + 4n + 3\right)}{3} \end{gathered}

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.