(adsbygoogle = window.adsbygoogle || []).push({}); 1. The problem statement:

Prove that

[tex]0\leq2x^2 - 3xy + 2y^2[/tex]

2. These are the axioms we are permitted to use:

01) Exactly one of these hold: a<b, a=b, or b<a

02) If a<b, and b<c, then a<c

03) If a<b, then a+c < b+c for every c

04) If a<b and 0<c, then ac<bc.

3. The attempt at a solution

By axiom 03) we are permitted to add [tex]+-y^2[/tex] to both sides:

[tex]0 = -y^2 + y^2 \leq 2x^2 -3xy+2y^2-y^2+y^2[/tex]

[tex]0 \leq 2x^2 -3xy +y^2 + y^2[/tex]

Again, by axiom 03) we add [tex]+-x^2[/tex] to both sides:

[tex]0 = x^2 - x^2 \leq 2x^2 - 3xy +y^2 +y^2 + x^2 - x^2 = x^2 - 3xy + y^2 +y^2 + x^2[/tex]

By axiom 03) again, we add +-xy to both sides:

[tex]0 = xy - xy \leq 2x^2 - 3xy +y^2 +y^2 + x^2 - x^2 +xy - xy = x^2 - 3xy + y^2 +y^2 +xy +x^2[/tex]

Case 1: If x=y=0, then our expression is zero

Case 2: If x doesn't = y, and y=0, then we have [tex]0<x^2+x^2=2x^2[/tex]

Case 3: If x doesn't = y, and x=0, then we have [tex]0<y^2[/tex]

Case 4: If x doesn't = y, and [tex]y\neq0[/tex],

[tex]0 < (x-y)^2 < (x-y)^2 +x^2 +xy +y^2 [/tex] ??

then I'm stuck and need help :uhh:

If anyone can help me figure out the last part, it would be greatly appreciated. I've worked very hard trying to figure it out, but that xy we would get could possibly be negative and I just need to prove that last part.

Thank you in advance for any hints/tips!!!!

**Physics Forums | Science Articles, Homework Help, Discussion**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Homework Help: Comparison Proof via axioms, almost done need hints for finish and proof read

**Physics Forums | Science Articles, Homework Help, Discussion**