Answer:
Proof in explanation.
Explanation:
I'm going to assume you mean "greater than or equal to".
We know
.
We know this because any real number squared will result in a positive or zero result.
Let's expand the left hand side:
![(x-y)(x-y) \ge 0](https://img.qammunity.org/2021/formulas/mathematics/middle-school/1y44gqnhq0jdtr6fpnzfhfoi8n3apkpqru.png)
Distribute:
![x(x-y)-y(x-y) \ge 0](https://img.qammunity.org/2021/formulas/mathematics/middle-school/ov2dnpdt5fzt277in4obaqwrvvsww2eigp.png)
![x^2-xy-yx+y^2 \ge 0](https://img.qammunity.org/2021/formulas/mathematics/middle-school/cibvdtg9qo0a4kbdkkq66datw6ktbph47z.png)
Combine like terms:
![x^2-2xy+y^2 \ge 0](https://img.qammunity.org/2021/formulas/mathematics/middle-school/ehekksn2dga5r0dyb1w2qepmkdertzlz97.png)
Commutative property of addition:
![x^2+y^2-2xy \ge 0](https://img.qammunity.org/2021/formulas/mathematics/middle-school/5hv42b3463q6imyw6h5tpgyq3lcrx3uue3.png)
Add
on both sides:
![x^2+y^2 \ge 2xy](https://img.qammunity.org/2021/formulas/mathematics/middle-school/bqsu5dgwytcrzw6vtuofb23s17ki8j4qox.png)
Now we wanted to show
. Our right hand side almost appeared that way except the factor of 2 present there.
Let's go back to our inequality that we got:
![x^2+y^2 \ge 2xy](https://img.qammunity.org/2021/formulas/mathematics/middle-school/bqsu5dgwytcrzw6vtuofb23s17ki8j4qox.png)
Divide both sides by 2:
![(x^2+y^2)/(2) \ge xy](https://img.qammunity.org/2021/formulas/mathematics/middle-school/aynrenacu2kjb2daw0ht76udv8j03r2m3y.png)
Note: Half of a positive number is less than that positive number.
![x^2+y^2 \ge (x^2+y^2)/(2) \ge xy](https://img.qammunity.org/2021/formulas/mathematics/middle-school/4psriiyhxmepw4gx5p97wi9jgqiz7x8khv.png)
This inequality says we would like it to say in the end:
![x^2+y^2 \ge xy](https://img.qammunity.org/2021/formulas/mathematics/middle-school/wbld4th96rkohpour0bci3pwvabs01g8vw.png)