Question 1202869
.
Solve the system of equations

<pre>
    x + yz = 2,    (1)
    y + zx = 2,    (2)
    z + xy = 2.    (3)
</pre>~~~~~~~~~~~~~~~~~~~~~~~~


<pre>
<U>ANSWER</U>.  There are two sets of solutions: (a) (x,y,z) = (1,1,1) and (b) (x,y,z) = (-2,-2,-2).


                                  <U>Solution</U>


First, it is easy to see by inspection that  x = y = z = 1  is the solution.


Next, our goal is to check if there are other solutions.


Let's assume x= 1.  Then equations (1) and (2) take the forms

    1 + yz = 2,    (1')
    y + z  = 2.    (2')


From (2'), express z = 2-y and substitute it into equation (1').  You will get

    1 + y*(2-y) = 2  -->  1 + 2y - y^2 = 2  -->  y^2 - 2y + 1 = 0  -->  (y-1)^2 = 0  -->  y= 1.    (4)


Thus if we assume x= 1, then y= 1  and similarly z= 1.


In the same way, if we assume that any single variable is 1, then we get 
that two other variables are equal to 1, due to equations.


     So, if we are looking for other sets of solutions, 
       where at least one unknown is not equal to 1,
    then no one of the three unknowns in these sets is 1.


    +-----------------------------------------------------+
    |       OK, this step of reasoning is complete.       |
    |    At this point, we start next step of reasoning.  |
    +-----------------------------------------------------+


From equations (1) and (2)

    x + yz = y + zx,

    (x-y) - (xz - yz) = 0,

    (x-y) - z(x-y) = 0,

    (1-z)*(x-y) = 0.       


Since we assume now that  z =/= 1,    we come to  x = y.    (5)


Similarly, from equations (1) and (3) we come to  x = z.    (6)

Similarly, from equations (2) and (3) we come to  y = z.    (7)


    +--------------------------------------------------+
    |     Let before the last attack  w  denotes       |
    |  any of the three equal quantities  x = y = z.   |
    +--------------------------------------------------+


Then equation (1) takes the form

    w + w^2 = 2  -->  w^2 + w - 2 = 0  -->  factoring  (w-1)*(w+2) = 0  -->  w = 1  or  w = -2.


Thus we get these triples  (x,y,z) = (1,1,1)  and  (x,y,z) = (-2,-2,-2),  that we announced as the solutions at the beginning.



Easy check confirms that  (x,y,z) = (-2,-2,-2)  is the second solution set.


There is NO any other solutions.
</pre>

Solved.