# Thread:

1. ## proof for an equation

I have this equation here:

x^2 + y^2 + z^2 = xy + xz + yz

I need to somehow prove that the equation is true only when all three variables are equal, i.e., x = y = z.

I would appreciate any advice or suggestions on how to accomplish this.

2. Originally Posted by gfreeman75
I have this equation here:

x^2 + y^2 + z^2 = xy + xz + yz

I need to somehow prove that the equation is true only when all three variables are equal, i.e., x = y = z.

I would appreciate any advice or suggestions on how to accomplish this.
Well, I'll probably get jumped on here but here goes .......

The equation can be re-arranged in two ways:

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

x(x - z) + y(y - x) + z(z - y) = 0 ....(2)

Compare and equate coefficients of x, y and z:

x - y = x - z => y = z.

y - z = y - x => x = z.

Therefore x = y = z is the only solution.

3. Originally Posted by gfreeman75
I have this equation here:

x^2 + y^2 + z^2 = xy + xz + yz

I need to somehow prove that the equation is true only when all three variables are equal, i.e., x = y = z.

I would appreciate any advice or suggestions on how to accomplish this.
$x^2 + y^2 + z^2 = xy + xz + yz$

$\Rightarrow 2(x^2 + y^2 + z^2) = 2(xy + xz + yz)$

$\Rightarrow 2(x^2 + y^2 + z^2) - 2(xy + xz + yz) = 0$

$\Rightarrow (x^2 + y^2 - 2xy)+(x^2 + z^2 - 2xz) + (z^2 + y^2 - 2zy) = 0$

$\Rightarrow (x-y)^2+(x-z)^2 + (z-y)^2 = 0$

$\text{This forces }x=y=z.$

Originally Posted by Mr.F
Well, I'll probably get jumped on here but here goes .......

4. Originally Posted by Isomorphism
$x^2 + y^2 + z^2 = xy + xz + yz$

$\Rightarrow 2(x^2 + y^2 + z^2) = 2(xy + xz + yz)$

$\Rightarrow 2(x^2 + y^2 + z^2) - 2(xy + xz + yz) = 0$

$\Rightarrow (x^2 + y^2 - 2xy)+(x^2 + z^2 - 2xz) + (z^2 + y^2 - 2zy) = 0$

$\Rightarrow (x-y)^2+(x-z)^2 + (z-y)^2 = 0$

$\text{This forces }x=y=z.$

Very succinct. It took me at least twice as many lines when I tried working it out.

5. That's a pretty elegant solution to my problem, Isomorphism. Thank you.

6. Originally Posted by Isomorphism
$x^2 + y^2 + z^2 = xy + xz + yz$

$\Rightarrow 2(x^2 + y^2 + z^2) = 2(xy + xz + yz)$

$\Rightarrow 2(x^2 + y^2 + z^2) - 2(xy + xz + yz) = 0$

$\Rightarrow (x^2 + y^2 - 2xy)+(x^2 + z^2 - 2xz) + (z^2 + y^2 - 2zy) = 0$

$\Rightarrow (x-y)^2+(x-z)^2 + (z-y)^2 = 0$

$\text{This forces }x=y=z.$

Well, I guess I'm saying that if you've got

ax + by + cz = 0 .... (1)

cx + ay + bz = 0 ....(2)

then a = b = c if x, y and z are not equal to zero.

A bit lame, I guess.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 18, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9419593214988708, "perplexity_flag": "middle"}