The hyperbolic identity and reduce the integrand to . Therefore
Let . Splitting the numerator into a derivative term and a constant gives . Thus
Complete the square as and substitute . The remaining integral is . Hence
The 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 , then
Indeed, 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 is
The binomial theorem at gives the sum . Therefore

Articles by others on the same topic (0)

There are currently no matching articles.