1
$\begingroup$

My question is: Solve simultaneously:(anwers are in integers)

$$\begin{align} y^3 - 9x^2 + 27x - 27 &= 0 \\ z^3-9y^2+27y-27 &= 0 \\ x^3-9z^2+27z-27 &= 0 \end{align}$$

Any hints to solve this question would be greatly appreciated.

  • 3
    At least $(3,3,3)$ should work.2012-06-02
  • 0
    @TMM:But how can we solve this simultaneously?2012-06-02
  • 0
    @Peter Sheldrick I have no idea about that.Plz can you tell me how can i solve this question simultaneously like by substitution and all2012-06-02
  • 5
    -1 for responding to each comment by simply repeating your question without any indication that you have actually read the comment.2012-06-02
  • 0
    What kind of solutions are you looking for? Given the tags, one might guess that you just want integer triples that work. Is that the case? How does this relate to linear algebra?2012-06-02
  • 0
    @ Dylan i want anwer in integers sorry if my tags are not correct i am new to this site and so dont know much2012-06-02

1 Answers 1

10

Edit: It turns out that it is only integer solutions that are being asked about. Then there is a simpler approach that involves play with inequalities. Below is the original answer, followed by a solution of the integer version of the problem.

A start: Note that the first equation can be rewritten as $$y^3+(x-3)^3=x^3.$$

Similarly, the other two can be rewritten as $$z^3+(y-3)^3=y^3$$ and $$x^3+(z-3)^3=z^3.$$ Add up, cancel. We get $$(x-3)^3+(y-3)^3+(z-3)^3=0.$$ If you are interested in integer or rational solutions, the problem was long ago settled by Euler, and (perhaps) earlier by Fermat. If you want to examine the system over the reals, there is more work to do.

Integer solutions, another approach: First we note that by the case $n=3$ of Fermat's Last Theorem, any solution of $a^3+b^3=c^3$ in integers (with some possibly negative) has at least one of $a$, $b$, or $c$ equal to $0$. The case $n=3$ of FLT has a relatively elementary, though by no means simple proof that goes back to Euler. A proof may even have been given by Fermat, though there is documentary evidence only for the case $n=4$. Using FLT, we can easily classify all the solutions of our system.

Now we show how to solve the problem without using the case $n=3$ of FLT. First we do a simplification that makes the coefficients smaller.

From the first equation, it is clear that $y^3$ is divisible by $3$, so $y$ must be. Let $y=3v$. Similarly, $z$ is divisible by $3$, say $z=3w$, and $x$ is divisible by $3$, say $x=3u$. After the substitutions have been done, we arrive at the equations $$\begin{align} v^3 &=3u^2 -3u+1 \\ w^3 &=3v^2 -3v+1\\ u^3 &=3w^2 -3w+1 \end{align}$$ Note that for any real number $t$, we have $3t^2-3t+1\ge \frac{1}{4}$. So since we are looking for integer solutions, all of $u$, $v$, and $w$ are positive integers.

If $t$ is a positive integer, then $3t^2-3t+1 \lt 3t^2$. So from our system of equations we conclude that $$v^3 \lt 3u^2, \qquad w^3 \lt 3v^2,\qquad u^3 \lt 3w^2.$$ From the first inequality we get $v^{27}\lt 3^9 u^{18}$. But by the third inequality, $u^{18}\lt 3^6 w^{12}$. But by the second inequality $w^{12} \lt 3^4 v^8$. Putting things together, we get $$v^{27}\lt 3^{19}v^8,$$ from which it follows that $v^{19} \lt 3^{19}$, or more simply $v\lt 3$. By symmetry we also have $u \lt 3$ and $w \lt 3$. Thus each of our variables $u$, $v$, and $w$ must be $1$ or $2$, and now we are essentially finished.

  • 0
    I got till the step where we add up and cancel but i did not get the one you wrote in bracket2012-06-02
  • 1
    You may be referring to something I edited out, in order not to give away too much. If we let $u=x-3$, $v=y-3$, $w=z-3$, then our equation becomes the simpler-looking $u^3+v^3+w^3=0$.2012-06-02
  • 0
    i want the answer in integers2012-06-02
  • 3
    In your course, the Fermat equation $a^n+b^n=c^n$ must have been mentioned. The equation I reached is a close relative of the Fermat equation for $n=3$. Bu there is another way that I will give a hint for.2012-06-02
  • 0
    ok thanks I will wait for the other hint2012-06-02
  • 0
    @ André Nicolas: i had a doubt that if u=1 then how can v be = 02012-06-03
  • 0
    ya ok thanks for that2012-06-03
  • 1
    @meg_1997: Finally wrote down the full argument! Sorry about delay.2012-06-04