Maths Olympiad Prep

Library / /157 of 377

Algebra Difficulty 5.0 AIME, harder Prove it United States

Problem:

A kkth root of unity is any complex number ω\omega such that ωk=1\omega^{k}=1.

Let xx and yy be two kkth roots of unity. Prove that (x+y)k(x+y)^{k} is real.

Solution

Solution:

Note that
(x+y)k=i=0k(ki)xiyki=12i=0k(ki)(xiyki+xkiyi) \begin{aligned} (x+y)^{k} & = \sum_{i=0}^{k} \binom{k}{i} x^{i} y^{k-i} \\ & = \frac{1}{2} \sum_{i=0}^{k} \binom{k}{i} \left(x^{i} y^{k-i} + x^{k-i} y^{i}\right) \end{aligned}
by pairing the iith and (ki)(k-i)th terms. But xkiyi=(xiyki)1x^{k-i} y^{i} = \left(x^{i} y^{k-i}\right)^{-1} since xx and yy are kkth roots of unity. Moreover, since xx and yy have absolute value 11, so does xiykix^{i} y^{k-i}, so xkiyix^{k-i} y^{i} is in fact its complex conjugate. It follows that their sum is real, thus so is (x+y)k(x+y)^{k}.

This can also be shown geometrically. The argument of xx (the angle between the vector xx and the positive xx-axis) is an integer multiple of 2πk\frac{2 \pi}{k}, as is the argument of yy. Since x+yx+y bisects the angle between xx and yy, its argument is an integer multiple of πk\frac{\pi}{k}. Multiplying this angle by kk gives a multiple of π\pi, so (x+y)k(x+y)^{k} is real.

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.