Proof by induction series help

Click For Summary

Homework Help Overview

The discussion revolves around proving the inequality \((1+t)^p + (1-t)^p \geq 2\) for \(1 > t > -1\) and \(p \geq 1\). The original poster is exploring a proof by induction approach, while questioning the assumptions regarding \(p\) being a natural number.

Discussion Character

  • Exploratory, Assumption checking, Conceptual clarification

Approaches and Questions Raised

  • The original poster attempts a proof by induction, starting with the base case \(p=1\) and moving to \(p=n+1\). They express concerns about the correctness of their method. Other participants suggest that the inequality may hold for a broader range of \(p\) and prompt consideration of the function's properties, such as its evenness and derivative.

Discussion Status

The discussion is active, with participants providing alternative perspectives and questioning the assumptions made by the original poster. Some guidance has been offered regarding the properties of the function involved, but no consensus has been reached on the validity of the original proof attempt.

Contextual Notes

There is a noted assumption that \(p\) is natural, which some participants challenge, suggesting that the inequality may apply more generally. The original poster also expresses uncertainty about the clarity of their proof due to its complexity.

talolard
Messages
119
Reaction score
0
Hey everyone, I have a question on some proof from an old exam. Please excuse my Latex, I have not yet mastered this.
Thanks for the help.
Tal

[tex[/tex]

Homework Statement



for any [tex]1>t>-1 and p \geq 1[/tex] prove that [tex](1+t)^p + (1-t)^p \geq 2[/tex]

Thats all the info the question has. I am assuming p is natural.

Homework Equations





The Attempt at a Solution




Proof by induction. it is easy to see that p=1 fullfills what is required. So we shall assum for n and show that this invokes n+1.
[tex](1+t)^{n+1} + (1-t)^{n+1} =\sum^{i=0}_{n+1}(\stackrel{n+1}{i})t^i + \sum^{i=0}_{n+1}(\stackrel{n+1}{i}) t^i[/tex]
[tex]= \sum^{i=0}_{n+1}(\stackrel{n+1}{i})t^i + \sum^{i=0}_{(n+1)/2} (\stackrel{n+1}{(2i)}) t^{2i} - \sum^{i=1}_{(n+1)/2} (\stackrel{n+1}{(2i +1)}) t^{2i+1} = 2 + \sum^{i=1}_{n+1}(\stackrel{n+1}{i}) t^{i} + \sum^{i=1}_{(n+1)/2} (\stackrel{n+1}{(2i)}) t^{2i} - \sum^{i=1}_{(n+1)/2} (\stackrel{n+1}{(2i+1)}) t^{2i+1}[/tex]

Since 1>t>-1 its succesive powers are smaller then the previous ones. Then we can see that the two partial sums of even and odd powers, the even powers are always larger then the odd powers and there sum is positive. The full sum is also positive for any t>0. but if we look at the original problem then we can see that if t < 1 the equation remains the same and so we always have a sum of 2 + something positive.

I wonder if this is correct.
 
Physics news on Phys.org


You don't have to assume that p is natural; in fact, this inequelity is much more general. Just observe that:

(1) [tex](1+t)^p + (1-t)^p[/tex] is an even function, so you just have to worry with [tex]0\leq t \leq 1[/tex].

(2) What is the derivative of the above expression? What is its sign for [tex]0\leq t \leq 1[/tex]? What does this tell you about the minimum value?
 
Last edited:


Wow.
That is so much simpler. Thanks.
I'd still be glad if you could tell me if my orignal way is correct.
Thanks
Tal
 


That expression is too messy to tell.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
1K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 15 ·
Replies
15
Views
3K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 12 ·
Replies
12
Views
3K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 16 ·
Replies
16
Views
2K