Problem:
Over all pairs of complex numbers satisfying the equations
compute the minimum possible real part of .
, 2024
Solutions — 2
Solution 1
Solution:
Note the following observations:
(a) if is a solution then is also a solution if and .
(b) we have some solutions where is a solution of .
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 , so inserting this into the second equation gives
By the second observation, we have that should be a factor of . The first observation gives that should therefore also be a factor. Now since and are roots of . So now we see that the last two terms of the product of all of these is . Hence the last two terms of the polynomial we get after dividing out should be , and given what we know about the degree and the fact that everything is monic, the quotient must be exactly which has roots being the cube roots of the roots to , which are . Now is further factorable as with roots so it is not difficult to compare the real parts of all roots of , especially since 5 are real and non-zero, and we have that if . We conclude that the smallest is .
Solution 2
Solution:
Subtracting the second equation from the first, we get:
Subtracting times the first equation from times the second, we get:
Subtracting times the second equation from times the first, we get:
We have three cases.
Case 0. Thus, is the only valid solution.
Case 1. for some third root of unity . Thus,
Note that is always a solution to the above, and so we can factor as:
and so the other solutions are of the form:
for the third root of unity. The minimum real part in this case is when .
Case 2. Since , we have and .
Thus,
This yields the minimum solution of as desired. This is satisfied by letting .