Is this an acceptable proof?

  • Thread starter Agent M27
  • Start date
  • #1
Agent M27
171
0

Homework Statement



Let a & b be real numbers.

Prove that:
|a+b|<=|a|+|b|



Homework Equations


|x|=[tex]\sqrt{x^{2}}[/tex]


The Attempt at a Solution



|a+b|

=[tex]\sqrt{(a+b)^{2}}[/tex]

=[tex]\sqrt{(a^{2}+2ab+b^{2})}[/tex] <= [tex]\sqrt{a^{2}} + [tex]\sqrt{b^{2}}[/tex]

|a|=[tex]\sqrt{a^{2}}[/tex]

|b|=[tex]\sqrt{b^{2}}[/tex]

I feel like this is lacking in foundation, but I lack in the foundation of proofs involving absolute value. Thanks in advance for the assistance.

Joe

Sorry for the ugly formatting, tex is cumbersome sometimes.
 
Last edited:

Answers and Replies

  • #2
micromass
Staff Emeritus
Science Advisor
Homework Helper
Insights Author
22,129
3,302
This is ok. But I would like some more details in the following inequality:

[tex]\sqrt{a^2+2ab+b^2}\leq\sqrt{a^2}+\sqrt{b^2}[/tex]

It's not immediately obvious why this should be true...
 
  • #3
HallsofIvy
Science Advisor
Homework Helper
43,010
969

Homework Statement



Let a & b be real numbers.

Prove that:
|a+b|<=|a|+|b|



Homework Equations


|x|=[tex]\sqrt{x^{2}}[/tex]


The Attempt at a Solution



|a+b|

=[tex]\sqrt{(a+b)^{2}}[/tex]

=[tex]\sqrt{(a^{2}+2ab+b^{2})}[/tex] <= [tex]\sqrt{a^{2}} + \sqrt{b^{2}}[/tex]
This is the only place I see a difficulty. How do you prove this? I suspect it is no simpler to prove this than it is to prove [itex]|a+ b|\le |a|+ |b|[/itex] by "considering cases": a positive or negative, b positive or negative.

|a|=[tex]\sqrt{a^{2}}[/tex]

|b|=[tex]\sqrt{b^{2}}[/tex]

I feel like this is lacking in foundation, but I lack in the foundation of proofs involving absolute value. Thanks in advance for the assistance.

Joe

Sorry for the ugly formatting, tex is cumbersome sometimes.
 
  • #4
╔(σ_σ)╝
831
2
This is ok. But I would like some more details in the following inequality:

[tex]\sqrt{a^2+2ab+b^2}\leq\sqrt{a^2}+\sqrt{b^2}[/tex]

It's not immediately obvious why this should be true...

I completely agree. In fact, I have never seen this before.

How can you prove this ?
 
  • #5
chiro
Science Advisor
4,797
134

Homework Statement



Let a & b be real numbers.

Prove that:
|a+b|<=|a|+|b|



Homework Equations


|x|=[tex]\sqrt{x^{2}}[/tex]


The Attempt at a Solution



|a+b|

=[tex]\sqrt{(a+b)^{2}}[/tex]

=[tex]\sqrt{(a^{2}+2ab+b^{2})}[/tex] <= [tex]\sqrt{a^{2}} + [tex]\sqrt{b^{2}}[/tex]

|a|=[tex]\sqrt{a^{2}}[/tex]

|b|=[tex]\sqrt{b^{2}}[/tex]

I feel like this is lacking in foundation, but I lack in the foundation of proofs involving absolute value. Thanks in advance for the assistance.

Joe

Sorry for the ugly formatting, tex is cumbersome sometimes.

With vectors the best way is to use property of the inner product.

For this however I would simply consider the cases of signs. Because these are numbers in one dimension, you only have to check a few cases.

If sgn(a) = sign(b) then |a + b| = |a| + |b| if a,b >= 0. |a + b| = |-c - d| = |-(c+d)|
= |-c| + |-d|

Now let sgn(a) = 1 - sgn(b)

Then |a + b| < |a| + |b| can be proved simply from the property

|a + b|^2 = a^2 + b^2 + 2ab

But if sgn(a) = 1 - sgn(b) then 2ab < 0

So |a+b|^2 < |a|^2 + |b|^2 from above property
 

Suggested for: Is this an acceptable proof?

  • Last Post
Replies
4
Views
1K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
5
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
3
Views
1K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
6
Views
2K
  • Last Post
Replies
17
Views
3K
  • Last Post
Replies
3
Views
1K
Top