Let . Splitting the numerator into a derivative term and a constant gives . ThusComplete the square as and substitute . The remaining integral is . HenceThe quadratic denominator is positive for all real , so no logarithmic absolute value or real-domain exclusion is needed.
The argument is odd, so its squared sine is even. Replacing by interchanges the numerator and denominator inside the logarithm, changing that factor's sign. Thus the full integrand is an odd function. It is continuous on the symmetric interval because . Therefore
The fundamental theorem of calculus states that integrating a continuous function from a fixed lower endpoint produces an antiderivative. More precisely, if is continuous at the interior point , thenIndeed, the difference quotient is the average of over the short interval from to , which tends to by continuity. The accompanying evaluation rule is whenever on the interval.
The sum is finite, so differentiation passes through it without a convergence issue. Each lower limit is constant with respect to , and the fundamental theorem of calculus gives the same upper-end integrand. Hence the derivative isThe binomial theorem at gives the sum . Therefore
Articles by others on the same topic
There are currently no matching articles.