# Category:Definite Integrals

This category contains results about **Definite Integrals**.

Definitions specific to this category can be found in **Definitions/Definite Integrals**.

Let $\Delta$ be a finite subdivision of $\closedint a b$, $\Delta = \set {x_0, \ldots, x_n}$, $x_0 = a$ and $x_n = b$.

Let there for $\Delta$ be a corresponding sequence $C$ of sample points $c_i$, $C = \tuple {c_1, \ldots, c_n}$, where $c_i \in \closedint {x_{i - 1} } {x_i}$ for every $i \in \set {1, \ldots, n}$.

Let $\map S {f; \Delta, C}$ denote the Riemann sum of $f$ for the subdivision $\Delta$ and the sample point sequence $C$.

Then $f$ is said to be **(properly) Riemann integrable** on $\closedint a b$ if and only if:

- $\exists L \in \R: \forall \epsilon \in \R_{>0}: \exists \delta \in \R_{>0}: \forall$ finite subdivisions $\Delta$ of $\closedint a b: \forall$ sample point sequences $C$ of $\Delta: \norm \Delta < \delta \implies \size {\map S {f; \Delta, C} - L} < \epsilon$

where $\norm \Delta$ denotes the norm of $\Delta$.

The real number $L$ is called the **Riemann integral** of $f$ over $\closedint a b$ and is denoted:

- $\ds \int_a^b \map f x \rd x$

## Subcategories

This category has the following 27 subcategories, out of 27 total.

### A

### D

- Definite Integral is Area (2 P)

### E

### I

### L

- Leibniz's Integral Rule (2 P)

### M

### N

- Newton's Three-Eighths Rule (3 P)

### R

- Riemann Integrals (1 P)

## Pages in category "Definite Integrals"

The following 48 pages are in this category, out of 48 total.

### C

### D

- Definite Integral is Area
- Definite Integral of Constant
- Definite Integral of Constant Multiple of Real Function
- Definite Integral of Constant/Corollary
- Definite Integral of Even Function
- Definite Integral of Fourier Series at Ends of Interval
- Definite Integral of Function satisfying Dirichlet Conditions is Continuous
- Definite Integral of Odd Function
- Definite Integral of Partial Derivative
- Definite Integral of Periodic Function
- Definite Integral of Reciprocal of Root of a Squared minus x Squared
- Definite Integral of Step Function
- Definite Integral on Zero Interval
- Dirichlet's Integral Form of Digamma Function

### I

### L

### P

### R

### S

- Simpson's Rule
- Sophomore's Dream
- Sum of Integrals on Adjacent Intervals for Integrable Functions
- Sum of Reciprocals of Powers of Odd Integers Alternating in Sign
- Sum of Reciprocals of Powers of Odd Integers Alternating in Sign/Corollary
- Symmetric Integral of Even Function over One Plus Even Function to Power of Odd Function