Kvant Math Problem 406

Verified: no
Verdicts: SKIP + SKIP
Solve time: 2m58s
Source on kvant.digital

Problem

A circle of radius $R$ is divided by points $A_1$, $A_2$, $A_3$, $A_4$ into four equal arcs. Prove that the sum of the fourth powers of the distances from an arbitrary point on the circle $M$ to the points $A_k$ does not depend on the position of the point $M$, and moreover $$|A_1M|^4+|A_2M|^4+|A_3M|^4+|A_4M|^4=24 R^4.$$

Yu. Babenko

Exploration

Let the circle have center $O$ and radius $R$. Place a coordinate system so that $O$ is the origin in the complex plane. The four points dividing the circle into equal arcs are the vertices of a square inscribed in the circle, hence they can be represented as

$$A_k = R\omega^k,\quad k=0,1,2,3,$$

where $\omega = i$ is a primitive fourth root of unity.

Any point $M$ on the circle can be written as

$$M = Rz,\quad |z|=1.$$

The quantity of interest becomes

$$\sum_{k=0}^3 |A_kM|^4 = \sum_{k=0}^3 |Rz - R\omega^k|^4 = R^4 \sum_{k=0}^3 |z - \omega^k|^4.$$

Thus the problem reduces to showing that

$$\sum_{k=0}^3 |z - \omega^k|^4$$

is independent of $z$ on the unit circle and equals $24$.

The expression $|z-\omega^k|^2$ suggests expanding via complex conjugation:

$$|z-\omega^k|^2 = (z-\omega^k)(\overline{z}-\overline{\omega^k}).$$

Since both $z$ and $\omega^k$ lie on the unit circle, conjugation simplifies to reciprocals, suggesting strong cancellation when summing over all fourth roots of unity.

The key structural expectation is that all terms involving $z$ or $\overline{z}$ vanish after summation due to symmetry, leaving only a constant.

The delicate point is ensuring no mixed terms survive when squaring $|z-\omega^k|^2$.

Problem Understanding

This is a Type C problem. One must compute the value of

$$|A_1M|^4 + |A_2M|^4 + |A_3M|^4 + |A_4M|^4$$

for an arbitrary point $M$ on the same circle as four equally spaced points $A_k$.

The core difficulty is proving independence of $M$, not merely computing a special case. The expected result is a constant:

$$\boxed{24R^4},$$

which must arise from cancellation of all angular dependence.

Proof Architecture

First, the geometric configuration is encoded in the complex plane by placing the circle as $|z|=R$ and the four points as $R\omega^k$ with $\omega^4=1$.

Second, the distance expression is rewritten as $|Rz-R\omega^k|^4 = R^4|z-\omega^k|^4$, reducing the problem to a unit circle identity.

Third, the identity $|z-\omega^k|^2 = 2 - z\overline{\omega^k} - \overline{z}\omega^k$ is derived using $|z|=|\omega^k|=1$.

Fourth, the square of this expression is expanded into constant, linear, and quadratic terms in $z$ and $\overline{z}$.

Fifth, the sums $\sum \omega^k$, $\sum \omega^{2k}$, and $\sum \omega^{-k}$ are shown to vanish, eliminating all dependence on $z$.

The most fragile step is the full cancellation of all mixed terms after expansion, since any incorrect handling of conjugation or powers would introduce spurious $z$-dependence.

Solution

Let the circle have center $O$ and radius $R$. Identify the plane with the complex numbers and place $O$ at the origin. Let the four points dividing the circle into equal arcs be

$$A_k = R\omega^k,\quad k=0,1,2,3,$$

where $\omega=i$ satisfies $\omega^4=1$.

Any point $M$ on the circle can be written as $M=Rz$ with $|z|=1$. Then

$$|A_kM|^4 = |Rz - R\omega^k|^4 = R^4|z-\omega^k|^4.$$

Hence

$$\sum_{k=0}^3 |A_kM|^4 = R^4 \sum_{k=0}^3 |z-\omega^k|^4.$$

We compute $|z-\omega^k|^2$ using $|z|=|\omega^k|=1$:

$$|z-\omega^k|^2 = (z-\omega^k)(\overline{z}-\overline{\omega^k}) = z\overline{z} + \omega^k\overline{\omega^k} - z\overline{\omega^k} - \overline{z}\omega^k.$$

Since $z\overline{z}=1$ and $\omega^k\overline{\omega^k}=1$, this becomes

$$|z-\omega^k|^2 = 2 - z\overline{\omega^k} - \overline{z}\omega^k.$$

Therefore,

$$|z-\omega^k|^4 = \left(2 - z\overline{\omega^k} - \overline{z}\omega^k\right)^2.$$

Expanding,

$$|z-\omega^k|^4 = 4 + z^2\overline{\omega^k}^2 + \overline{z}^2\omega^{2k} + 2z\overline{z},\overline{\omega^k}\omega^k -4z\overline{\omega^k} -4\overline{z}\omega^k.$$

Since $z\overline{z}=1$ and $\overline{\omega^k}\omega^k=1$, this simplifies to

$$|z-\omega^k|^4 = 4 + z^2\omega^{-2k} + \overline{z}^2\omega^{2k} + 2 -4z\omega^{-k} -4\overline{z}\omega^k.$$

Thus

$$|z-\omega^k|^4 = 6 + z^2\omega^{-2k} + \overline{z}^2\omega^{2k} -4z\omega^{-k} -4\overline{z}\omega^k.$$

Now sum over $k=0,1,2,3$:

$$\sum_{k=0}^3 |z-\omega^k|^4 = \sum_{k=0}^3 6 + z^2 \sum_{k=0}^3 \omega^{-2k} + \overline{z}^2 \sum_{k=0}^3 \omega^{2k} -4z \sum_{k=0}^3 \omega^{-k} -4\overline{z} \sum_{k=0}^3 \omega^k.$$

Each geometric sum is computed explicitly. Since $\omega=i$,

$$\sum_{k=0}^3 \omega^k = 1+i-1-i = 0,$$

$$\sum_{k=0}^3 \omega^{-k} = 1-i-1+i = 0,$$

$$\sum_{k=0}^3 \omega^{2k} = 1 + (-1) + 1 + (-1) = 0,$$

and similarly

$$\sum_{k=0}^3 \omega^{-2k} = 0.$$

Hence all terms depending on $z$ vanish, leaving

$$\sum_{k=0}^3 |z-\omega^k|^4 = 4\cdot 6 = 24.$$

Therefore,

$$\sum_{k=0}^3 |A_kM|^4 = R^4 \cdot 24 = 24R^4.$$

This completes the proof. ∎

Verification of Key Steps

The cancellation of all $z$-dependent terms relies on four independent vanishing sums: $\sum \omega^k$, $\sum \omega^{-k}$, $\sum \omega^{2k}$, and $\sum \omega^{-2k}$. Each is a complete geometric series over the fourth roots of unity, and each evaluates to zero because the exponents $1$, $-1$, $2$, and $-2$ are not multiples of $4$.

The constant term arises solely from the expansion of $|z-\omega^k|^4$, where the product $z\overline{z}$ and $\omega^k\overline{\omega^k}$ contribute fixed values independent of $k$. No hidden dependence on $z$ remains once these cancellations are accounted for.

A potential failure point is incorrect handling of conjugation powers, particularly interpreting $\overline{\omega^k}^2$ without converting it consistently to $\omega^{-2k}$. Any inconsistency here would produce incorrect nonzero sums and falsely suggest dependence on $z$.

Alternative Approaches

A second approach uses real coordinates and trigonometric identities by placing $M$ at angle $\theta$ and writing all distances via chord length formulas $|A_kM|^2 = 2R^2(1-\cos(\theta-\theta_k))$. Expanding $(1-\cos x)^2$ and summing over the four equally spaced angles yields cancellation of all $\cos(\theta)$ and $\sin(\theta)$ terms via Fourier orthogonality.

Another approach uses harmonic polynomials: the function $\sum |x-A_k|^4$ restricted to the circle becomes a trigonometric polynomial of degree at most $4$, and symmetry under rotation by $\pi/2$ forces it to be constant, after which evaluating at a single point yields $24R^4$.