The finite form of Taylor's theorem is
where lies between and when . Sufficient hypotheses are continuous derivatives up to order on the interval joining the endpoints and an th derivative in its interior. The first terms end at degree ; the Taylor remainder uses the th derivative. At the remainder is zero. This finite Taylor polynomial identity does not require convergence of an infinite Taylor series.
Write the sine argument as , with . The sine addition formula gives . Its Maclaurin series is , so
There is no linear term because the outer sine has zero derivative at .
Set , the displacement from the expansion point. The numerator has Taylor series , while the reciprocal denominator has geometric series . Multiplication gives
The local power series converges for , the distance to the denominator's zero at .
Use the Maclaurin series of the logarithm and hyperbolic cosine:
To retain terms through degree six, only the constant and quadratic terms of the reciprocal factor can multiply the leading cubic term. Thus
The numerator in the original PDF is ; the cubic power is missing from the local TeX transcription.

Articles by others on the same topic (0)

There are currently no matching articles.