Maths Olympiad Prep

Library / /217 of 377

Algebra Difficulty 5.2 AIME, harder Find the answer United States

Problem:
Suppose that xx and yy are complex numbers such that x+y=1x+y=1 and that x20+y20=20x^{20}+y^{20}=20. Find the sum of all possible values of x2+y2x^{2}+y^{2}.

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

Solution:
We have x2+y2+2xy=1x^{2}+y^{2}+2 x y=1. Define a=2xya=2 x y and b=x2+y2b=x^{2}+y^{2} for convenience. Then a+b=1a+b=1 and ba=x2+y22xy=(xy)2=2b1b-a=x^{2}+y^{2}-2 x y=(x-y)^{2}=2 b-1 so that x,y=2b1±12x, y=\frac{\sqrt{2 b-1} \pm 1}{2}. Then
x20+y20=(2b1+12)20+(2b112)20=1220[(2b1+1)20+(2b11)20]=2220[(2b1)20+(202)(2b1)18+(204)(2b1)16+]=2220[(2b1)10+(202)(2b1)9+(204)(2b1)8+]=20 \begin{aligned} x^{20}+y^{20} & =\left(\frac{\sqrt{2 b-1}+1}{2}\right)^{20}+\left(\frac{\sqrt{2 b-1}-1}{2}\right)^{20} \\ & =\frac{1}{2^{20}}\left[(\sqrt{2 b-1}+1)^{20}+(\sqrt{2 b-1}-1)^{20}\right] \\ & =\frac{2}{2^{20}}\left[(\sqrt{2 b-1})^{20}+\binom{20}{2}(\sqrt{2 b-1})^{18}+\binom{20}{4}(\sqrt{2 b-1})^{16}+\ldots\right] \\ & =\frac{2}{2^{20}}\left[(2 b-1)^{10}+\binom{20}{2}(2 b-1)^{9}+\binom{20}{4}(2 b-1)^{8}+\ldots\right] \\ & =20 \end{aligned}
We want to find the sum of distinct roots of the above polynomial in bb; we first prove that the original polynomial is square-free. The conditions x+y=1x+y=1 and x20+y20=20x^{20}+y^{20}=20 imply that x20+(1x)2020=0x^{20}+(1-x)^{20}-20=0; let p(x)=x20+(1x)2020p(x)=x^{20}+(1-x)^{20}-20. pp is square-free if and only if gcd(p,p)=c\gcd\left(p, p'\right)=c for some constant cc:
gcd(p,p)=gcd(x20+(1x)2020,20(x19(1x)19))=gcd(x20x(1x)19+(1x)1920,20(x19(1x)19))=gcd((1x)1920,x19(1x)19)=gcd((1x)1920,x1920) \begin{aligned} \gcd\left(p, p'\right) & =\gcd\left(x^{20}+(1-x)^{20}-20,20\left(x^{19}-(1-x)^{19}\right)\right) \\ & =\gcd\left(x^{20}-x(1-x)^{19}+(1-x)^{19}-20,20\left(x^{19}-(1-x)^{19}\right)\right) \\ & =\gcd\left((1-x)^{19}-20, x^{19}-(1-x)^{19}\right) \\ & =\gcd\left((1-x)^{19}-20, x^{19}-20\right) \end{aligned}
The roots of x1920x^{19}-20 are 20k19exp(2πik19)\sqrt[19]{20^{k}} \exp \left(\frac{2 \pi i k}{19}\right) for some k=0,1,,18k=0,1, \ldots, 18; the roots of (1x)1920(1-x)^{19}-20 are 120k19exp(2πik19)1-\sqrt[19]{20^{k}} \exp \left(\frac{2 \pi i k}{19}\right) for some k=0,1,,18k=0,1, \ldots, 18. If x1920x^{19}-20 and (1x)1920(1-x)^{19}-20 share a common root, then there exist integers mm, nn such that 20m19exp(2πim19)=120n19exp(2πin19)\sqrt[19]{20^{m}} \exp \left(\frac{2 \pi i m}{19}\right)=1-\sqrt[19]{20^{n}} \exp \left(\frac{2 \pi i n}{19}\right); since the imaginary parts of both sides must be the same, we have m=nm=n and 20m19exp(2πim19)=1220m=1219\sqrt[19]{20^{m}} \exp \left(\frac{2 \pi i m}{19}\right)=\frac{1}{2} \Longrightarrow 20^{m}=\frac{1}{2^{19}}, a contradiction. Thus we have proved that the polynomial in xx has no double roots. Since for each bb there exists a unique pair (x,y)(x, y) (up to permutations) that satisfies x2+y2=bx^{2}+y^{2}=b and (x+y)2=1(x+y)^{2}=1, the polynomial in bb has no double roots.
Let the coefficient of bnb^{n} in the above equation be [bn]\left[b^{n}\right]. By Vieta's Formulas, the sum of all possible values of b=x2+y2b=x^{2}+y^{2} is equal to [b9][b10]-\frac{\left[b^{9}\right]}{\left[b^{10}\right]}. [b10]=2220(210)\left[b^{10}\right]=\frac{2}{2^{20}}\left(2^{10}\right) and [b9]=2220((101)29+(202)29)\left[b^{9}\right]=\frac{2}{2^{20}}\left(-\binom{10}{1} 2^{9}+\binom{20}{2} 2^{9}\right); thus [b9][b10]=(101)29(202)29210=90-\frac{\left[b^{9}\right]}{\left[b^{10}\right]}=-\frac{\binom{10}{1} 2^{9}-\binom{20}{2} 2^{9}}{2^{10}}=-90.

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.