Problem:
is a polygon with sides. A new polygon is derived by taking as its vertices the midpoints of the sides of . This process is repeated. Show that we must eventually reach a polygon which is homothetic to .
Problem:
is a polygon with sides. A new polygon is derived by taking as its vertices the midpoints of the sides of . This process is repeated. Show that we must eventually reach a polygon which is homothetic to .
Solution:
Let be a polygon with sides. Let the vertices of be in order. The process consists of forming a new polygon whose vertices are the midpoints of the sides respectively. This process is repeated.
Let us represent the vertices of as complex numbers on the complex plane. The midpoints are then:
(with ).
Let be the transformation that sends to .
Let us consider the effect of repeatedly applying .
Let be a primitive -th root of unity. The set of vectors can be expanded in the basis of for .
The transformation acts linearly:
If we consider the vector as a column vector , then is multiplication by a circulant matrix whose first row is .
The eigenvectors of a circulant matrix are the vectors , and the corresponding eigenvalues are:
for .
Now, for are all distinct roots of unity except .
The eigenvalue for is .
The modulus of for is:
where .
Since is odd, none of the (for ) is , so for all .
But for all .
Therefore, as we repeat the process, all components except the component (the centroid) decay to zero. Thus, the sequence of polygons converges to a regular -gon centered at the centroid of , which is homothetic to .
Therefore, after sufficiently many steps, the polygon becomes homothetic to .