Maths Olympiad Prep

Library / /160 of 196

Geometry Difficulty 5.9 AIME, harder Prove it Soviet Union

Problem:

PP is a polygon with 2n+12n + 1 sides. A new polygon is derived by taking as its vertices the midpoints of the sides of PP. This process is repeated. Show that we must eventually reach a polygon which is homothetic to PP.

Solution

Solution:

Let PP be a polygon with 2n+12n + 1 sides. Let the vertices of PP be A1,A2,,A2n+1A_1, A_2, \ldots, A_{2n+1} in order. The process consists of forming a new polygon PP' whose vertices are the midpoints M1,M2,,M2n+1M_1, M_2, \ldots, M_{2n+1} of the sides A1A2,A2A3,,A2n+1A1A_1A_2, A_2A_3, \ldots, A_{2n+1}A_1 respectively. This process is repeated.

Let us represent the vertices of PP as complex numbers z1,z2,,z2n+1z_1, z_2, \ldots, z_{2n+1} on the complex plane. The midpoints are then:

Mk=zk+zk+12,k=1,2,,2n+1 M_k = \frac{z_k + z_{k+1}}{2}, \quad k = 1, 2, \ldots, 2n+1
(with z2n+2=z1z_{2n+2} = z_1).

Let TT be the transformation that sends (z1,z2,,z2n+1)(z_1, z_2, \ldots, z_{2n+1}) to (M1,M2,,M2n+1)(M_1, M_2, \ldots, M_{2n+1}).

Let us consider the effect of repeatedly applying TT.

Let ω=e2πi/(2n+1)\omega = e^{2\pi i/(2n+1)} be a primitive (2n+1)(2n+1)-th root of unity. The set of vectors (z1,z2,,z2n+1)(z_1, z_2, \ldots, z_{2n+1}) can be expanded in the basis of (1,ωk,ω2k,,ω(2n)k)(1, \omega^k, \omega^{2k}, \ldots, \omega^{(2n)k}) for k=0,1,,2nk = 0, 1, \ldots, 2n.

The transformation TT acts linearly:

Mk=zk+zk+12 M_k = \frac{z_k + z_{k+1}}{2}

If we consider the vector (z1,z2,,z2n+1)(z_1, z_2, \ldots, z_{2n+1}) as a column vector ZZ, then TT is multiplication by a circulant matrix AA whose first row is (1/2,1/2,0,,0)(1/2, 1/2, 0, \ldots, 0).

The eigenvectors of a circulant matrix are the vectors (1,ωk,ω2k,,ω(2n)k)(1, \omega^k, \omega^{2k}, \ldots, \omega^{(2n)k}), and the corresponding eigenvalues are:

λk=12+12ωk \lambda_k = \frac{1}{2} + \frac{1}{2} \omega^k
for k=0,1,,2nk = 0, 1, \ldots, 2n.

Now, ωk\omega^k for k=1,,2nk = 1, \ldots, 2n are all distinct roots of unity except 11.

The eigenvalue for k=0k = 0 is 11.

The modulus of λk\lambda_k for k0k \neq 0 is:

λk=12+12ωk=eiθk/2cos(θk/2)=cos(θk/2) |\lambda_k| = \left| \frac{1}{2} + \frac{1}{2} \omega^k \right| = \left| e^{i\theta_k/2} \cos(\theta_k/2) \right| = |\cos(\theta_k/2)|
where ωk=eiθk\omega^k = e^{i\theta_k}.

Since 2n+12n+1 is odd, none of the ωk\omega^k (for k0k \neq 0) is 1-1, so cos(θk/2)0\cos(\theta_k/2) \neq 0 for all kk.

But λk<1|\lambda_k| < 1 for all k0k \neq 0.

Therefore, as we repeat the process, all components except the k=0k=0 component (the centroid) decay to zero. Thus, the sequence of polygons converges to a regular (2n+1)(2n+1)-gon centered at the centroid of PP, which is homothetic to PP.

Therefore, after sufficiently many steps, the polygon becomes homothetic to PP.

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.