1. Limited time only! Sign up for a free 30min personal tutor trial with Chegg Tutors
    Dismiss Notice
Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Proof by induction series help

  1. Jan 29, 2010 #1
    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.

    [tex[/tex]1. The problem statement, all variables and given/known data

    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.
    2. Relevant equations

    3. 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.
  2. jcsd
  3. Jan 29, 2010 #2
    Re: Series

    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: Jan 29, 2010
  4. Jan 29, 2010 #3
    Re: Series

    That is so much simpler. Thanks.
    I'd still be glad if you could tell me if my orignal way is correct.
  5. Jan 29, 2010 #4
    Re: Series

    That expression is too messy to tell.
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook