Maths Olympiad Prep

Library / /947 of 1394

Algebra Difficulty 5.4 AIME, harder Find the answer United States

Problem:
Let S0S_{0} be a unit square in the Cartesian plane with horizontal and vertical sides. For any n>0n>0, the shape SnS_{n} is formed by adjoining 9 copies of Sn1S_{n-1} in a 3×33 \times 3 grid, and then removing the center copy. For example, S3S_{3} is shown below:
Figure 1
Let ana_{n} be the expected value of xx+yy|x-x'|+|y-y'|, where (x,y)(x, y) and (x,y)(x', y') are two points chosen randomly within SnS_{n}. There exist relatively prime positive integers aa and bb such that
limnan3n=ab. \lim_{n \rightarrow \infty} \frac{a_{n}}{3^{n}}=\frac{a}{b} .
Compute 100a+b100 a+b.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Solution:
By symmetry, we only need to consider the xx-distance, then we can multiply our answer by 2. Let this quantity be g(n)=an/2g(n)=a_{n} / 2.

Divide the nnth iteration fractal into three meta-columns of equal width. Then the probability that a random point is in the first, second, and third meta-columns is 38,28\frac{3}{8}, \frac{2}{8}, and 38\frac{3}{8}, respectively. If the two points end up in neighboring meta columns, the expected value of their xx-distance is simply the width of a meta-column, which is 3n13^{n-1}. If they end up in opposite meta-columns (the left and right ones), it is twice this amount, which is 23n12 \cdot 3^{n-1}. Finally, if the two points lie in the same meta-column, which happens with probability (38)2+(28)2+(38)2=1132\left(\frac{3}{8}\right)^{2}+\left(\frac{2}{8}\right)^{2}+\left(\frac{3}{8}\right)^{2}=\frac{11}{32}, the expected xx-distance is just g(n1)g(n-1). Thus, we have
g(n)=3n1(23828+22838)+(23n1)(23838)+1132g(n1)=15163n1+1132g(n1) g(n)=3^{n-1}\left(2 \cdot \frac{3}{8} \cdot \frac{2}{8}+2 \cdot \frac{2}{8} \cdot \frac{3}{8}\right)+\left(2 \cdot 3^{n-1}\right)\left(2 \cdot \frac{3}{8} \cdot \frac{3}{8}\right)+\frac{11}{32} g(n-1)=\frac{15}{16} \cdot 3^{n-1}+\frac{11}{32} g(n-1)
As nn grows, say this is asymptotic to g(n)=3nCg(n)=3^{n} C for some constant CC. Then we can write 3nC=15163n1+11323n1CC=6173^{n} C=\frac{15}{16} \cdot 3^{n-1}+\frac{11}{32} \cdot 3^{n-1} C \Longrightarrow C=\frac{6}{17}. Our final answer is twice this, which is 1217\frac{12}{17}.

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 reproduced verbatim; metadata (topic, difficulty) added by this project.