Inequality Proof

  • Thread starter kpoltorak
  • Start date
  • #1
15
0

Homework Statement


Show that [tex]\forall a,b \in R[/tex]:
[tex]\left|ab\right|\leq\frac{1}{2}(a^{2}+b^{2})[/tex]


Homework Equations


Triangle Inequality seems to be useless.


The Attempt at a Solution


[tex](a+b)^{2}=a^{2}+b^{2}+2ab[/tex]
[tex]2ab=(a+b)^{2}-(a^{2}+b^{2})[/tex]
[tex]ab=\frac{1}{2}(a+b)^{2}-\frac{1}{2}(a^{2}+b^{2})[/tex]
[tex]\left|ab\right|=\left|\frac{1}{2}(a+b)^{2}-\frac{1}{2}(a^{2}+b^{2})\right|[/tex]
[tex]\left|ab\right|=\left|\frac{1}{2}(a^{2}+b^{2})-\frac{1}{2}(a+b)^{2}\right|[/tex]
 

Answers and Replies

  • #2
Mentallic
Homework Helper
3,798
94
Well you pretty much have it. Take a look at the right hand side, they all consist of squares, so...?
 
  • #3
15
0
Right I've noticed that the values on both sides of the minus sign are all positive, however that doesn't necessarily mean that [tex]\left|ab\right|[/tex] is less than [tex]\frac{1}{2}(a^{2}+b^{2})[/tex]. Because its an absolute value, the LHS of the minus sign could be smaller than the RHS while preserving the equality. For example, it is NOT TRUE that [tex]\left|6\right|=\left|2-8\right|\rightarrow 6\leq 2[/tex]
 
  • #4
Mentallic
Homework Helper
3,798
94
Well yes I realize that, but you seem to have forgotten what the question is. Take a look at it again!
[tex]
\left|ab\right|\leq\frac{1}{2}(a^{2}+b^{2})
[/tex]

Notice how the right side only has that one term in there, and by the way, [tex]\frac{1}{2}(a+b)^2\geq 0[/tex]

:wink:
 
  • #5
15
0
I think I see...?

[tex]|ab|\leq\left|\frac{1}{2}(a^{2}+b^{2})-\frac{1}{2}(a+b)^{2}+\frac{1}{2}(a+b)^{2}\right|[/tex]
[tex]\left|ab\right|\leq\left|\frac{1}{2}(a^{2}+b^{2})\right|[/tex]
[tex]\left|ab\right|\leq\frac{1}{2}(a^{2}+b^{2})[/tex]
 
  • #6
Mentallic
Homework Helper
3,798
94
You shouldn't have the term you added inside the absolute value sign. For example,

[tex]|10|=|5-15|[/tex]

[tex]|10|\leq |5-15+15|=|5|[/tex] is obviously wrong.

Instead, you should consider both cases when the RHS inside the absolute value is more than zero, and then less than zero and show both cases hold true for the inequality you want to prove.
 
  • #7
15
0
Now I see. Thank you for all your help!!
 
  • #8
Mentallic
Homework Helper
3,798
94
You're welcome :smile:
 
  • #9
1,010
1
Here was the way I thought about it:
[tex]|ab| \leq \frac{1}{2}(a^2+b^2) [/tex]
times by 2 and square both sides

[tex] 4a^2b^2 \leq (a^2+b^2)^2 [/tex]

[tex] 0 \leq a^4 - 2a^2b^2 + b^4 [/tex]

[tex] 0 \leq (a^2-b^2)^2 [/tex]

and since it is squared it must be greater than or equal to zero
 
Last edited:
  • #10
Mentallic
Homework Helper
3,798
94
That's much more elegant Tom.
 

Related Threads on Inequality Proof

  • Last Post
Replies
12
Views
776
  • Last Post
Replies
5
Views
2K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
2
Views
936
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
12
Views
1K
  • Last Post
Replies
15
Views
2K
Top