The ends of the blades initially formed a regular n
gon. Visualize them as complex numbers. Without loss of generality, the radius is 1, the axis is at the origin, and the tip of the blade with number n
is 1.
The tip of the blade represents the nth root of the unit, the tip of the blade k
is in
z_k = e^(2\pi i * k/n)
The center of mass after removal of the blades k1, ... , kr
is on the axis of rotation if and only if
z_k1 + z_k2 + ... + z_kr = 0
Now let 1 < d < n
be the divisor of n
. The blades k1 + m*d, 0 <= m < n/d
form the vertices of a regular n/d
-gon. Thus, their removal leaves the center of mass on the axis of rotation.
The strategy is to try to cover the list of indices of broken blades with a set of disjoint regular d_i
, where d_i
is the divisor n
. So, in the list, find the pairs whose indices differ by the divisor n
.
Daniel Fischer
source share