Comparison Proof via axioms, almost done need hints for finish and proof read

In summary, the problem statement is to prove that 0 is less than or equal to 2x^2 - 3xy + 2y^2, using the given axioms. By using axiom 03), we are able to manipulate the expression and eventually come to four cases: when x and y are both positive, when x is positive and y is negative, when y is positive and x is negative, and when both x and y are negative. In each case, we are able to show that the expression is greater than or equal to 0, thereby proving the problem statement. Additionally, if the distributive property is allowed, the problem can be solved more easily by completing the square.
  • #1
silvermane
Gold Member
117
0
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.


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 news on Phys.org
  • #2
Case 1

[tex] x,y >0[/tex] This is trivial since everything is positive.

Case 2
[tex] x >0 ,y <0 \Rightarrow x>y[/tex]

[tex] -x^{2}< xy \Rightarrow 0< xy + x^{2} [/tex]

[tex] (x-y)^{2} + y^{2}< (x-y)^{2} +x^{2} + xy +y^{2}[/tex]


Case 3

This is similar to case 2.


How come you can't use the distributive properties ?

Without them what does xy mean ? And how does it differ from yx ?


Assuming you could use axioms of multiplication and the distributive property you could divide by 2 and complete the square and the result falls into your hands.

[tex]x^2 - \frac{3}{2}xy + 2y^2 = (x- \frac{3}{2}y)^{2} + \frac{7}{16}y^{2}[/tex]
 

What is a comparison proof?

A comparison proof is a method of proving a mathematical statement by comparing it to a known or accepted fact or principle.

What are axioms in a comparison proof?

Axioms are statements or principles that are accepted as true without needing to be proven. In a comparison proof, they serve as the basis for comparison with the statement being proved.

How do you know when a comparison proof is almost done?

Typically, a comparison proof is almost done when you have successfully compared the statement being proved to the axioms and have shown that they are equivalent or that the statement follows logically from the axioms.

What are some hints for finishing a comparison proof?

Some hints for finishing a comparison proof include checking your assumptions and logic, making sure all steps are clearly explained and justified, and double-checking your calculations. It can also be helpful to get feedback from others or to take a break and come back to the proof with fresh eyes.

Why is proofreading important in a comparison proof?

Proofreading is important in a comparison proof to ensure that there are no errors or mistakes in the logic or calculations. It also helps to make the proof more clear and concise, making it easier for others to understand and verify.

Similar threads

  • Calculus and Beyond Homework Help
Replies
2
Views
539
  • Calculus and Beyond Homework Help
Replies
18
Views
1K
  • Calculus and Beyond Homework Help
Replies
7
Views
663
  • Calculus and Beyond Homework Help
Replies
5
Views
192
  • Calculus and Beyond Homework Help
Replies
12
Views
935
  • Calculus and Beyond Homework Help
Replies
3
Views
466
  • Calculus and Beyond Homework Help
Replies
4
Views
809
  • Calculus and Beyond Homework Help
Replies
3
Views
1K
  • Calculus and Beyond Homework Help
Replies
2
Views
827
  • Calculus and Beyond Homework Help
Replies
8
Views
709
Back
Top