Properties of Definite Integrals

Properties of definite integrals are rules that allow us to manipulate, simplify, and evaluate integrals more easily without necessarily using the definition or the Fundamental Theorem of Calculus directly for every calculation. They describe how integrals behave under certain operations like adding functions, multiplying by constants, or changing limits of integration.

Some fundamental properties include:

• The integral from a point to itself is zero: ∫_a^a f(x) dx = 0
• Reversing the limits changes the sign: ∫_a^b f(x) dx = -∫_b^a f(x) dx
• Constant Multiple Property: ∫_a^b c · f(x) dx = c · ∫_a^b f(x) dx
• Sum/Difference Property: ∫_a^b [f(x) ± g(x)] dx = ∫_a^b f(x) dx ± ∫_a^b g(x) dx

This property states that if you have an interval [a, b] and a point c within that interval (a ≤ c ≤ b), you can split the integral over [a, b] into the sum of integrals over [a, c] and [c, b]: ∫_a^b f(x) dx = ∫_a^c f(x) dx + ∫_c^b f(x) dx. This is useful for integrating piecewise functions or evaluating integrals over combined regions.

For an integral over a symmetric interval [-a, a]:

• If f(x) is an **even function** [f(-x) = f(x)], then ∫_-a^a f(x) dx = 2 · ∫₀^a f(x) dx.
• If f(x) is an **odd function** [f(-x) = -f(x)], then ∫_-a^a f(x) dx = 0.

These properties can significantly simplify evaluating integrals over symmetric intervals.

These properties are useful because they allow us to manipulate integrals algebraically, break down complex integration problems into simpler ones, and sometimes evaluate integrals quickly using symmetry or known values without needing to find the antiderivative. They are fundamental tools in calculus for both computation and theoretical work.

Yes, all properties of definite integrals can be proven rigorously. The proofs often rely on the definition of the definite integral using Riemann sums or, more commonly once established, the properties of antiderivatives and the Fundamental Theorem of Calculus.