The definite integral can be understood as the area under the graph of the function. In order to define the integral properly, we need the concept of *integral sum*.

Assume that \(f\) is a continuous function defined on the interval \([a,b]\). A *partition* of the interval \([a,b]\) is a sequence of points \(x_0\), \(x_1\), \(\dots\), \(x_n\) such that \(x_0=a\), \(x_n=b\), and \(x_0\leq x_1\leq x_2\leq\cdots\leq x_n\).
Let \(c_0\) be any point from the interval \([x_0,x_1]\), \(c_1\in[x_1,x_2]\), \(\dots\), \(c_{n-1}\in [x_{n-1},x_n]\). An *integral sum* (also called the *Riemann sum*) corresponding to the partition \(x_0\), \(x_1\), \(\dots\), \(x_n\), and the numbers \(c_0\), \(c_1\), \(\dots\), \(c_{n-1}\) is defined as \[S(f,x_0,x_1,\dots, x_n,c_0,\dots, c_{n-1})=f(c_0)\cdot (x_1-x_0)+f(c_1)\cdot (x_2-x_1)+f(c_2)\cdot (x_3-x_2)+\cdots+ f(c_{n-1})\cdot (x_n-x_{n-1}).\]

This quantity \(S\) depends on the choice \(c_0\), \(c_1\), \(\dots\), \(c_{n-1}\), and the partition \(x_0\), \(x_1\), \(\dots\), \(x_n\). The surface area of the shaded region in the picture below is an example for the integral sum with \(n=5\).

The maximum of the numbers \(\{|x_1-x_0|, |x_2-x_1|,\dots, |x_n-x_{n-1}|\}\), usually denoted by \(\delta\) is called the *diameter of the partition*. The limit of the integral sums as the diameter of the partition approaches \(0\) is called the *integral* of the function \(f\) on the interval \([a,b]\) and is denoted by \(\int_a^b f(x)\,dx\). Here is the precise definition:

The above-described limit does not exist for all functions \(f\), but if such a limit exists, the function is called *integrable*/ All continuous functions are integrable. Also, all bounded functions that have countably many discontinuities are integrable as well. The class of integrable functions is surprisingly large, but our aim is not to go into details at this point.

The fundamental theorem of calculus makes a connection between antiderivatives and definite integrals. The first theorem that we will present shows that the definite integral \(\int_a^xf(t)\,dt\) is the anti-derivative of a continuous function \(f\). This theorem is sometimes referred to as *First fundamental theorem of calculus*. Its name is actually *differentiation theorem*.

Here we will present the formulation and the proof of the fundamental theorem of calculus. This theorem is also known as Newton-Leibnitz formula.

*Remark.*
There are many generalizations of this theorem that can relax our assumptions of continuity of \(f\).

In evaluating the integrals \(\displaystyle \int_a^bf(x)\,dx\) one needs to find an antiderivative \(F\) of the function \(f\), and to calculate \(F(b)-F(a)\). The notation \(\displaystyle \left.F(x)\right|_{a}^b\) is often used to replace the expression \(F(b)-F(a)\). Sometimes we also use \(\displaystyle \left.F(x)\right|_{x=a}^{x=b}\) for the same purpose especially if the function \(F\) depends on some other parameters and we want to avoid any possible ambiguity.