Proof by induction series help

Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
3 replies · 1K views
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.