Maths Olympiad Prep

Library / /70 of 120

, 2012

Algebra Difficulty 5.5 AIME, harder Prove it Saudi Arabia

A square of side 11 is decomposed into 99 equal squares of sides 13\frac{1}{3} and the one in the center is painted black. The remaining eight squares are analogously divided into nine squares each, and the squares in the centers are painted in black. Prove that after 10001000 steps the total area of the black region exceeds 0.9990.999.

Solution

The first step gives rise to one black square of area (13)2=19\left(\frac{1}{3}\right)^2 = \frac{1}{9}. After the second step we obtain eight more squares of side 19\frac{1}{9}, the black region increasing thus by 892\frac{8}{9^2}. In the same manner, the third step increases the black area by 82=648^2 = 64 black squares, each of area 1272\frac{1}{27^2}, that is at this stage the black area becomes
19+892+8293. \frac{1}{9} + \frac{8}{9^2} + \frac{8^2}{9^3}.
We conclude that after 10001000 steps, the area of the black region is
19+892+8293++899991000=19(1+89+(89)2++(89)999)=191(89)1000189=1(89)1000. \begin{aligned} \frac{1}{9} + \frac{8}{9^2} + \frac{8^2}{9^3} + \dots + \frac{8^{999}}{9^{1000}} &= \frac{1}{9} \left( 1 + \frac{8}{9} + \left(\frac{8}{9}\right)^2 + \dots + \left(\frac{8}{9}\right)^{999} \right) \\ &= \frac{1}{9} \cdot \frac{1 - \left(\frac{8}{9}\right)^{1000}}{1 - \frac{8}{9}} = 1 - \left(\frac{8}{9}\right)^{1000}. \end{aligned}
It remains to prove that the last number is greater than 0.9990.999, i.e., 1(89)1000>0.9991 - \left(\frac{8}{9}\right)^{1000} > 0.999, or equivalently (89)1000<0.001\left(\frac{8}{9}\right)^{1000} < 0.001.

This easily follows by using a binomial expansion:
(98)1000=(1+18)1000>(10002)182=1000999264>1000. \left(\frac{9}{8}\right)^{1000} = \left(1 + \frac{1}{8}\right)^{1000} > \left(\frac{1000}{2}\right) \cdot \frac{1}{8^2} = \frac{1000 \cdot 999}{2 \cdot 64} > 1000.
This completes the proof.

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

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.