# Newton-Leibniz theorem

Let ${\displaystyle F(x)}$ be such function that the (continuous) function ${\displaystyle f(x)}$ is its derivative i.e ${\displaystyle f(x)=dF(x)/dx}$ or ${\displaystyle F(x)}$ is the primitive function of ${\displaystyle f}$ then the definite integral ${\displaystyle \int \limits _{a}^{b}f(x)\mathrm {d} x}$ is the area under the curve drawn by (positive) ${\displaystyle f}$ and

${\displaystyle \int \limits _{a}^{b}f(x)\mathrm {d} x=F(b)-F(a)}$.

#### Proof

We will limit ourselves to the positive function in the interval ${\displaystyle \scriptstyle [a,b]}$.

Let us estimate the area under the graph of the function ${\displaystyle f}$ by dividing densely the interval ${\displaystyle \scriptstyle [a,b]}$ into sub-intervals with the ending points ${\displaystyle x_{i}}$ and with the length ${\displaystyle dx}$ and such that ${\displaystyle x_{0}=a}$ and ${\displaystyle x_{n}=b}$. If the ${\displaystyle dx}$ is small then between the two consecutive nodes ${\displaystyle x_{i}}$ and ${\displaystyle x_{i+1}}$ the function ${\displaystyle f}$ is approximately linear and therefore the area under it can be approximated by the trapezoid area

${\displaystyle P_{i}={\frac {[f(x_{i})+f(x_{i+1})]dx}{2}}}$

Then the total area under the graph of the function will be estimated as

${\displaystyle P=\sum P_{i}}$

Let ${\displaystyle F}$ be the primitive function of the function ${\displaystyle f}$. Then we can also estimate its derivative as

${\displaystyle f(x_{i})=[F(x_{i+1})-F(x_{i})]/dx}$

Now in the formula for ${\displaystyle P}$ we can re-express each value of ${\displaystyle f(x_{i})}$ by values of ${\displaystyle F(x_{i})}$ and ${\displaystyle F(x_{i+1})}$ (the same ${\displaystyle dx}$ in nominator and denominator cancels out)

${\displaystyle P=F(x_{1})-F(x_{0})+F(x_{2})-F(x_{1})+F(x_{3})-F(x_{2})+...+F(x_{n})-F(x_{n-1})+\Theta (dx)}$

Because the majority of the sum contributions show up it the sum twice but with the opposite sign and therefore cancels out we get the expression for the total area with the accuracy up the the small term in ${\displaystyle dx}$, ${\displaystyle \Theta (dx)}$ which contains the endpoints terms, as

${\displaystyle P=F(x_{n})-F(x_{0})+\Theta (dx)=F(b)-F(a)+\Theta (dx)}$.

This proves the theorem. Note that the prove readily extends to the function ${\displaystyle f}$ that is nether continuous or positive everywhere when the above arguing is used piecewise in intervals between the sign change (when the function ${\displaystyle f}$ is negative the area between the x-axis and the function graph is than taken negative or with the negative sign) or between the discontinuity (the primitive function ${\displaystyle F}$ stays continuous but its curve may have sharp edges and ${\displaystyle f}$ may have a sudden jump in value).