部分積分：定積分

Integration by parts for definite integrals rewrites the integral as the difference of a product evaluated at the endpoints minus a remaining definite integral. The formula transforms products of two functions into simpler forms by choosing which function to differentiate and which to integrate, then evaluating the product term at the interval's boundaries.

The inverse tangent function has no standard integration formula, so it cannot be integrated using elementary antiderivative techniques. To solve integrals involving arctan(x), the integrand is rewritten as a product of the inverse tangent and the constant 1, allowing integration by parts to be applied effectively.

After integration by parts simplifies the original integral, substitution is used to evaluate the remaining definite integral. By introducing a new variable such as t = 1 + x², the integral is transformed into a reciprocal form that integrates to a logarithmic expression, with limits adjusted accordingly for the new variable.

The product term is evaluated by computing the product of the two chosen functions at each endpoint of the integration interval, then finding the difference between these values. This direct evaluation eliminates the need to find an antiderivative for the product itself.

The natural logarithm of one equals zero by definition, since e^0 = 1. When evaluating logarithmic expressions at the bounds of a definite integral, this property simplifies the result, often eliminating terms and leaving a cleaner final expression for the area under the curve.

The final result represents the area under the inverse tangent curve between the given integration limits. This geometric interpretation shows how integration by parts successfully evaluates definite integrals of functions without elementary antiderivatives, providing both a numerical answer and conceptual understanding.

Definite integrals include fixed endpoints that are substituted directly into the product term, eliminating the constant of integration. With indefinite integrals, the constant of integration remains in the final answer. Both methods use the same formula structure, but definite integrals yield numerical results while indefinite integrals produce families of antiderivatives.