12
$\begingroup$

I have to find all triplets $(x,y,z)$ that satisfy:

$$x^{2012} + y^{2012} + z^{2012} = 3\\x^{2013} + y^{2013} + z^{2013} = 3\\x^{2014} + y^{2014} + z^{2014} = 3$$

I've found the trivial solution $(1,1,1)$ but I don't know how to start looking for more... Does this system have an infinite amount of solutions?

$\endgroup$
  • 13
    $\begingroup$ Here's a rule of thumb: if the exponents in a problem are roughly equal to the current calendar year, then the answer to the problem is probably deceptively simple. $\endgroup$ – David H Aug 18 '14 at 9:04
  • 1
    $\begingroup$ @DavidH: As a corollary to your rule of thumb, any exponents or other constants matching the current year also strongly suggest that the problem may be from a recent or ongoing math contest or a take-home exam. $\endgroup$ – Ilmari Karonen Aug 18 '14 at 23:36
  • 1
    $\begingroup$ @DavidH: The solution to the system appears to be a bit more complicated than at first glance. Kindly see this generalized post. $\endgroup$ – Tito Piezas III Oct 16 '16 at 5:03
26
$\begingroup$

Let $e_1$, $e_2$ and $e_3$ be LHS of the the first, second and third equations respectivelly, then:

$$e_3 -2e_2 + e_1 = \\ x^{2012}(x^2 - 2x + 1) + y^{2012}(y^2-2y+1) + z^{2012}(z^2-2z + 1) = 0 \Longrightarrow \\\Longrightarrow x^{2012}(x-1)^2 + y^{2012}(y-1)^2 + z^{2012}(z-1)^2 = 0 $$

Since all the sumands are product of even powers, they cannot be negative, so they all are $0$. That means that each unknown is either $0$ or $1$. But only if they all are $1$ the original equations hold.

You can generalize this to $n$ equations of the same kind and $n$ unknowns:

$$\left\{\begin{eqnarray} &x_1^a& + &x_2^a& + &x_3^a&+&\ldots& + &x_n^a& = &n\\ &x_1^{a+1}& +& x_2^{a+1} &+&x_3^{a+1}&+& \ldots& + &x_n^{a+1}& = & n\\ &x_1^{a+2}& +& x_2^{a+2} &+&x_3^{a+2}&+& \ldots& + &x_n^{a+2}& = & n \\ & \vdots & & \vdots & & \vdots & & \ddots & & \vdots & & \vdots \\ &x_1^{a+n-1}& +& x_2^{a+n-1} &+&x_3^{a+n-1}&+& \ldots& + &x_n^{a+n-1}& = & n\end{eqnarray}\right.$$

With $a$ even and $n$ odd.

Then we wan define $e_j$ as the $LHS$ of the $j$-th equation. Then:

$$\sum_{k=1}^n \binom{n}{k}(-1)^{k+1}e_k = \sum_{k=1}^{n}x_k^a(x_k-1)^{n-1} = 0$$

So same as before, each $x_k$ is either $1$ or $0$, but only the $n$-tuple $(1,1,\cdots,1)$ satisfies the equation.

If all the RHS are $m < n$ with $m$ a positive integer, then the solutions are the $n$-tuples with $m$ ones and $n-m$ zeros permutated.

$\endgroup$
  • 1
    $\begingroup$ That's clever, +1. (Comment: you should probably edit to describe each $e_j$ as the LHS if the $j^{\textrm{th}}$ equation) $\endgroup$ – MPW Aug 18 '14 at 9:02
  • $\begingroup$ @MPW Thanks. I'll do that! $\endgroup$ – Darth Geek Aug 18 '14 at 9:13
  • 1
    $\begingroup$ what a clever approach! $\endgroup$ – hypergeometric Aug 18 '14 at 9:43
  • 1
    $\begingroup$ @DarthGeek: As the OP didn't specify that the triple $x,y,z$ need be all real, there are apparently other solutions where at least one of the variables is real. Kindly see this post $\endgroup$ – Tito Piezas III Oct 16 '16 at 5:05
9
$\begingroup$

While the method already posted is nice, can't resist this hint - from the first and last equation, by the inequality of power means $$\sqrt[2014]\frac{x^{2014}+y^{2014}+z^{2014}}3 \geqslant \sqrt[2012]\frac{x^{2012}+y^{2012}+z^{2012}}3$$

with equality iff $|x|=|y|=|z|=1$. Now using the second equation, the unique answer is obvious.

P.S. This obviously generalises to several variables - all you need are three equations, two of which with even exponents.

$\endgroup$
  • 4
    $\begingroup$ We are lucky you did not resist ! Thank you :-) $\endgroup$ – Claude Leibovici Aug 18 '14 at 11:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.