Re: cos(x) >= 1 - x^2/2! + x^4/4! - x^6/6!

From: Timothy Murphy (tim_at_birdsnest.maths.tcd.ie)
Date: 08/23/04


Date: Mon, 23 Aug 2004 11:28:45 +0100

Oleg wrote:

> I think you can clear up this thing considering the function
> h(x)=cos(x)-(1 - x^2/2! + x^4/4! - x^6/6!) and looking for its
> minimums by means of derivatives.

I expect someone has pointed this out -
I haven't been following the thread -
but I think the OP said he knew the result was true for small x -
actually it follows from the form of Taylor's Theorem with remainder
that it is true for -pi/2 < x < pi/2 .

If one assumes that, then it is sufficient to show h(x) has no zero.
If it has a zero then so does h'(x) by the Mean Value Theorem,
and then it follows that so does h''(x) since h'(0) = 0.
But that is the same result with n-2 in place of n.

-- 
Timothy Murphy  
e-mail (<80k only): tim /at/ birdsnest.maths.tcd.ie
tel: +353-86-2336090, +353-1-2842366
s-mail: School of Mathematics, Trinity College, Dublin 2, Ireland


Relevant Pages

  • Re: Christoffel instead of Riemann
    ... The Riemann curvature tensor is one complicated object, ... Now the Christoffel symbol can be used since both the potential and ... equal to zero because nothing in the metric depends on t. ... three derivatives of the metric one is working with: ...
    (sci.physics)
  • Re: Christoffel instead of Riemann
    ... The Riemann curvature tensor is one complicated object, ... Now the Christoffel symbol can be used since both the potential and ... equal to zero because nothing in the metric depends on t. ... three derivatives of the metric one is working with: ...
    (sci.physics.relativity)
  • Re: How Many Of You Had To Teach Yourself The Math?
    ... using derivatives. ... bottom lid) and body cylinder itself that must be made out of the ... One where the area of the lids is about zero and the ... the optimum is found when both D and H are the same. ...
    (sci.electronics.basics)
  • Re: John Gabriels Theorem Revisited.
    ... > the denominator in gabriel's quotient may never be zero. ... > calculations/arithmetic using zero but not using infinity. ... Partitions are part of gabriel's ... > in his proof is the use of what he calls positional derivatives. ...
    (sci.math)
  • Re: A fundamental (but obscure) calculus question: d/df ( df/dx ) ?
    ... > Zero, I assume, but why? ... If a finite difference version of df/dx ... > is substituted, then one considers d/df on the result, ie ... I've seen problems where two derivatives were ...
    (sci.math)