Для доказательства того, что из равенства x^2 + y^2 + z^2 = xy + yz + zx следует, что x = y = z, можно воспользоваться методом дифференциации по переменной.
Допустим, что x ≠ y ≠ z. Тогда можно предположить, что x > y > z. Из этого следует, что x - y > 0 и y - z > 0.
Рассмотрим выражение (x - y)^2 + (y - z)^2 + (z - x)^2. Подставим значения переменных из равенства x^2 + y^2 + z^2 = xy + yz + zx:
(x - y)^2 + (y - z)^2 + (z - x)^2 = x^2 - 2xy + y^2 + y^2 - 2yz + z^2 + z^2 - 2zx + x^2
= x^2 + y^2 + z^2 - 2(xy + yz + zx) = 0
Таким образом, мы получили, что (x - y)^2 + (y - z)^2 + (z - x)^2 = 0, что возможно только в случае, когда x = y = z.
Следовательно, из равенства x^2 + y^2 + z^2 = xy + yz + zx следует, что x = y = z.