Есть ещё стандартный способ "взять наибольшего". Если, например, предположить, что z>y, z>x, то быстро придём к противоречию, из которого следует, что решение может быть только в варианте x=y=z.