Maths Olympiad Prep

Library / /24 of 28

, 2024

Algebra Difficulty 5.8 AIME, harder Prove it United States

Problem:
Over all pairs of complex numbers (x,y)(x, y) satisfying the equations
x+2y2=x4andy+2x2=y4 x + 2y^{2} = x^{4} \quad \text{and} \quad y + 2x^{2} = y^{4}
compute the minimum possible real part of xx.

Solutions — 2

Solution 1

Solution:
Note the following observations:
(a) if (x,y)(x, y) is a solution then (ωx,ω2y)(\omega x, \omega^{2} y) is also a solution if ω3=1\omega^{3}=1 and ω1\omega \neq 1.
(b) we have some solutions (x,x)(x, x) where xx is a solution of x42x2x=0x^{4}-2x^{2}-x=0.

These are really the only necessary observations and the first does not need to be noticed immediately. Indeed, we can try to solve this directly as follows: first, from the first equation, we get y2=12(x4x)y^{2}=\frac{1}{2}(x^{4}-x), so inserting this into the second equation gives
14(x4x)22x2=y((x4x)28x2)28x4+8x=0(x82x57x2)28x4+8x=0x16++41x4+8xP(x)=0 \begin{aligned} \frac{1}{4}(x^{4}-x)^{2}-2x^{2} & = y \\ \left((x^{4}-x)^{2}-8x^{2}\right)^{2}-8x^{4}+8x & = 0 \\ \left(x^{8}-2x^{5}-7x^{2}\right)^{2}-8x^{4}+8x & = 0 \\ \underbrace{x^{16}+\cdots+41x^{4}+8x}_{P(x)} & = 0 \end{aligned}
By the second observation, we have that x(x32x1)x(x^{3}-2x-1) should be a factor of PP. The first observation gives that (x32ωx1)(x32ω2x1)(x^{3}-2\omega x-1)(x^{3}-2\omega^{2} x-1) should therefore also be a factor. Now (x32ωx1)(x32ω2x1)=x6+2x42x3+4x22x+1(x^{3}-2\omega x-1)(x^{3}-2\omega^{2} x-1)=x^{6}+2x^{4}-2x^{3}+4x^{2}-2x+1 since ω\omega and ω2\omega^{2} are roots of x2+x+1x^{2}+x+1. So now we see that the last two terms of the product of all of these is 5x4x-5x^{4}-x. Hence the last two terms of the polynomial we get after dividing out should be x38-x^{3}-8, and given what we know about the degree and the fact that everything is monic, the quotient must be exactly x6x38x^{6}-x^{3}-8 which has roots being the cube roots of the roots to x2x8x^{2}-x-8, which are 1±3323\sqrt[3]{\frac{1 \pm \sqrt{33}}{2}}. Now x32x1x^{3}-2x-1 is further factorable as (x1)(x2x1)(x-1)(x^{2}-x-1) with roots 1,1±521, \frac{1 \pm \sqrt{5}}{2} so it is not difficult to compare the real parts of all roots of PP, especially since 5 are real and non-zero, and we have that Re(ωx)=12x\operatorname{Re}(\omega x)=-\frac{1}{2} x if xRx \in \mathbb{R}. We conclude that the smallest is 13323\sqrt[3]{\frac{1-\sqrt{33}}{2}}.

Solution 2

Solution:
Subtracting the second equation from the first, we get:
(y+2x2)(x+2y2)=y4x4(xy)+2(x2y2)=(x2y2)(x2+y2) \begin{gathered} \left(y+2x^{2}\right)-\left(x+2y^{2}\right)=y^{4}-x^{4} \Longrightarrow \\ (x-y)+2\left(x^{2}-y^{2}\right)=\left(x^{2}-y^{2}\right)\left(x^{2}+y^{2}\right) \Longrightarrow \end{gathered}
(xy)(1(x+y)(x2+y2+2))=0 (x-y)\left(1-(x+y)(x^{2}+y^{2}+2)\right)=0
Subtracting yy times the first equation from xx times the second, we get:
(xy+2y3)(xy+2x3)=x4yxy42(y3x3)=xy(x3y3)(x3y3)(2+xy)=0 \begin{gathered} \left(xy+2y^{3}\right)-\left(xy+2x^{3}\right)=x^{4}y-xy^{4} \Longrightarrow \\ 2\left(y^{3}-x^{3}\right)=xy\left(x^{3}-y^{3}\right) \Longrightarrow \\ \left(x^{3}-y^{3}\right)(2+xy)=0 \end{gathered}
Subtracting y2y^{2} times the second equation from x2x^{2} times the first, we get:
(x3+2x2y2)(y3+2x2y2)=x6y6x3y3=(x3+y3)(x3y3)(x3y3)(1x3y3)=0 \begin{gathered} \left(x^{3}+2x^{2}y^{2}\right)-\left(y^{3}+2x^{2}y^{2}\right)=x^{6}-y^{6} \Longrightarrow \\ x^{3}-y^{3}=\left(x^{3}+y^{3}\right)\left(x^{3}-y^{3}\right) \Longrightarrow \\ \left(x^{3}-y^{3}\right)\left(1-x^{3}-y^{3}\right)=0 \end{gathered}
We have three cases.

Case 0. x=0x=0 Thus, (x,y)=(0,0)(x, y)=(0,0) is the only valid solution.

Case 1. x=ωyx=\omega y for some third root of unity ω\omega. Thus, y2=ω4x2=ωx2y^{2}=\omega^{4} x^{2}=\omega x^{2}
x+2y2=x4x+2ωx2=x4x(1+ω)(2ωx2)=1 \begin{gathered} x+2y^{2}=x^{4} \Longrightarrow \\ x+2\omega x^{2}=x^{4} \Longrightarrow \\ x(1+\omega)\left(2-\omega x^{2}\right)=1 \end{gathered}
Note that x=ωx=-\omega is always a solution to the above, and so we can factor as:
x3+2(1+ω)x1=0(x+ω)(x2ωxω2)=0 \begin{gathered} x^{3}+2(1+\omega)x-1=0 \\ (x+\omega)\left(x^{2}-\omega x-\omega^{2}\right)=0 \end{gathered}
and so the other solutions are of the form:
x=1±52ω x=\frac{1 \pm \sqrt{5}}{2} \cdot \omega
for the third root of unity. The minimum real part in this case is 1+52-\frac{1+\sqrt{5}}{2} when ω=1\omega=1.

Case 2. Since x3y30x^{3}-y^{3} \neq 0, we have xy=2xy=-2 and x3+y3=1x^{3}+y^{3}=1.
Thus, x3y3=(x3+y3)24(xy)2=±33x3=(1±332)x^{3}-y^{3}=\sqrt{\left(x^{3}+y^{3}\right)^{2}-4(xy)^{2}}= \pm \sqrt{33} \Longrightarrow x^{3}=\left(\frac{1 \pm \sqrt{33}}{2}\right)
This yields the minimum solution of x=(1332)1/3x=\left(\frac{1-\sqrt{33}}{2}\right)^{1 / 3} as desired. This is satisfied by letting y=(1+332)1/3y=\left(\frac{1+\sqrt{33}}{2}\right)^{1 / 3}.

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.