\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{fundamental theorem of calculus}

\hypertarget{the_fundamental_theorem_of_calculus}{}\section*{{The fundamental theorem of calculus}}\label{the_fundamental_theorem_of_calculus}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{statements}{Statements}\dotfill \pageref*{statements} \linebreak
\noindent\hyperlink{proofs}{Proofs}\dotfill \pageref*{proofs} \linebreak
\noindent\hyperlink{integral_formula_for_antiderivative}{Integral formula for antiderivative}\dotfill \pageref*{integral_formula_for_antiderivative} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

The fundamental theorem of the [[infinitesimal calculus]] (FTC) states that the [[antiderivative]]s and [[indefinite integral]]s of a [[function]] (typically a [[real number|real]]-valued function on a closed [[interval]] in the [[real line]]) are the same. It is now such a truism that calculus textbooks tend to use `indefinite integral' to simply mean an antiderivative, but there is a different concept, definable from the [[definite integral]] and sometimes called the \emph{semidefinite} integral, that is really in play here.

The FTC is usually split into two parts. The first part (sometimes called the second part) states that every indefinite integral is an antiderivative. The second part (sometimes called the first part) states that every antiderivative is an indefinite integral. Somewhere in here (usually in the first part) we also want to state that such antiderivatives and indefinite integrals actually exist. Their uniqueness (such as it is) may also be included.

The second part is a low-dimensional version of the [[Stokes theorem]].

The FTC may or may not actually be true, depending on what class of functions is considered and what notions of [[derivative]] and [[integral]] are used.

\hypertarget{statements}{}\subsection*{{Statements}}\label{statements}

Let $f\colon [a, b] \to \mathbb{R}$ be a [[function]]. Recall that an \textbf{antiderivative} of $f$ is a solution $F$ to the [[differential equation]]

\begin{displaymath}
F'(x) = f(x) .
\end{displaymath}
Also recall (or learn) than an \textbf{indefinite integral} of $f$ is any function $F$ of the form

\begin{displaymath}
F(x) = \int_a^x f(t) \,\mathrm{d}t + C
\end{displaymath}
for a real constant $C$.

\begin{utheorem}
Suppose that $F$ and $f$ are appropriate functions, and use an appropriate notion of derivative and integral. Then:

\begin{enumerate}%
\item First part: If $F$ is an indefinite integral of $f$, then $F$ is an antiderivative of $f$.
\item Second part: If $F$ is an antiderivative of $f$, then $F$ is an indefinite integral of $f$.
\item Existence: $f$ has an indefinite integral / antiderivative.
\item Uniqueness: If $F_1$ and $F_2$ are antiderivatives of $f$, then $F_1 - F_2$ is a [[constant function]].

\end{enumerate}
\end{utheorem}
This holds under any of the following conditions:

\begin{enumerate}%
\item $F$ is [[continuously differentiable function|continuously differentiable]], $f$ is [[continuous function|continuous]], differentiation is pointwise, and integration is the [[Riemann integral]].
\item $F$ is [[absolutely continuous function|absolutely continuous]], $f$ is [[integrable function|integrable]], differentiation is [[almost everywhere]], and integration is the [[Lebesgue integral]].
\item In pointwise [[constructive mathematics]] with the [[fan theorem]], we may proceed as in (1).
\item In pointwise constructive mathematics with [[countable choice]], $F$ is uniformly continuously differentiable, $f$ is [[uniformly continuous function|uniformly continuous]], differentiation is uniform differentiability, and integration is the [[Riemann integral]].
\item In constructive [[locale theory]], we may proceed as in (1) if the `functions' involved are locale-theoretic [[continuous maps]] rather than set-theoretic functions.
\item In [[synthetic differential geometry]], $F$ and $f$ are [[smooth map|smooth]], differentiation is axiomatic, and integration is given by the [[integration axiom]].

\end{enumerate}
One may rephrase the first part in various ways as follows. First, simply incorporating the definitions of `indefinite integral' and `antiderivative', we have

\begin{displaymath}
\frac{\mathrm{d}}{\mathrm{d}x} \left(\int_a^x f(t) \,\mathrm{d}t + C\right) = f(x) .
\end{displaymath}
Taking for granted that adding a constant to a function leaves its derivative unchanged, this simplifies to

\begin{displaymath}
\frac{\mathrm{d}}{\mathrm{d}x} \left(\int_a^x f(t) \,\mathrm{d}t\right) = f(x) .
\end{displaymath}
When combined with the [[chain rule]], this generalizes to

\begin{displaymath}
\frac{\mathrm{d}}{\mathrm{d}x} \left(\int_a^{q(x)} f(t) \,\mathrm{d}t\right) = f(q(x)) q'(x).
\end{displaymath}
Taking for granted that $\int_u^v = \int_a^v - \int_a^u$, this generalizes to

\begin{displaymath}
\frac{\mathrm{d}}{\mathrm{d}x} \left(\int_{p(x)}^{q(x)} f(t) \,\mathrm{d}t\right) = f(q(x)) q'(x) - f(p(x)) p'(x).
\end{displaymath}
Writing $u$ for $p(x)$ and $v$ for $q(x)$ and multiplying both sides by $\mathrm{d}x$, we get the [[differential]] form

\begin{displaymath}
\mathrm{d}\left(\int_u^v f(t) \,\mathrm{d}t\right) = f(v) \,\mathrm{d}v - f(u) \,\mathrm{d}u .
\end{displaymath}
In other words, the differential and definite integral operators cancel upon performing the [[substitution]] directed by the limits of the definite integral.

One may rephrase the second part in various ways as follows. First, simply incorporating the definitions of `indefinite integral' and `antiderivative', we have

\begin{displaymath}
\int_a^x F'(t) \,\mathrm{d}t + C = F(x)
\end{displaymath}
for some constant $C$. Taking for granted that $\int_a^a = 0$, we see that $C = F(a)$, so

\begin{displaymath}
F(x) = F(a) + \int_a^x F'(t) \,\mathrm{d}t .
\end{displaymath}
It is sufficient to consider the special case where $x = b$:

\begin{displaymath}
\int_a^b F'(t) \,\mathrm{d}t = F(b) - F(a) .
\end{displaymath}
This can also be written

\begin{displaymath}
\int_a^b \mathrm{d}F(t) = F(b) - F(a)
\end{displaymath}
to match the last version of the first part; again, the differential and definite integral operators cancel (but now in the opposite order) upon performing the substitution directed by the limits of the definite integral.

\hypertarget{proofs}{}\subsection*{{Proofs}}\label{proofs}

If convenient, one may prove the theorem first for the [[unit interval]] $[0, 1]$. By applying a suitable [[affine transformation]], we can deduce the corresponding result for each interval $[a, b]$ where $a$ and $b$ are real numbers with $a \leq b$.

In [[classical mathematics]] and pointwise constructive mathematics, existence of definite integrals must be proved first; existence of indefinite integrals follows. We can then prove that every indefinite integral is an antiderivative by applying the [[mean value theorem]]. Uniqueness of antiderivatives has a simple direct proof; since at least one antiderivative is an indefinite integral, this shows that every antiderivative is an indefinite integral. Of course, we have existence of an antiderivative, so now everything is proved.

In the locale-theoretic approach, we essentially \emph{define} an antiderivative to be an indefinite integral. Formally, the data in a [[continuously differentiable map]] on $[a,b]$ consists of a [[continuous map]] (its derivative) and a real number (its value at $a$). We must prove the existence of indefinite integrals directly; a definite integral up to each point is not sufficient. Then there is nothing more to prove (but one might want to prove that differentiation has its usual properties).

Conversely, in synthetic differential geometry, we essentially define an indefinite integral to be an antiderivative. We must prove uniqueness of antiderivatives; but their existence is given by an [[axiom]], the [[integration axiom]], and then there is nothing more to prove. Sometimes one studies versions of SDG without this axiom; then there is no FTC (and indeed no integrals).

\hypertarget{integral_formula_for_antiderivative}{}\subsection*{{Integral formula for antiderivative}}\label{integral_formula_for_antiderivative}

In the literature, the first part of the FTC is sometimes stated as merely existence of an antiderivative. The purpose of this section is to show, independent of foundations, that the second part gives the integral formula for the antiderivative as an indefinite integral.

\begin{proof}
Suppose $x$ is in $[0, 1]$. By assumption, there is $F$ such that $F' = f$. By the other part of the fundamental theorem, we have $\int_0^x F'(t) \, {\mathrm{d}}t = F(x) - F(0)$. Thus, $\int_0^x f(t) \, {\mathrm{d}}t = F(x) - F(0)$. Differentiating gives the required result.

\end{proof}
\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item Wikipedia, \emph{\href{http://en.wikipedia.org/wiki/Fundamental_theorem_of_calculus}{Fundamental theorem of calculus}}

\end{itemize}
[[!redirects fundamental theorem of calculus]] [[!redirects fundamental theorems of calculus]] [[!redirects fundamental theorem of infinitesimal calculus]] [[!redirects fundamental theorems of infinitesimal calculus]] [[!redirects fundamental theorem of differential calculus]] [[!redirects fundamental theorems of differential calculus]] [[!redirects fundamental theorem of integral calculus]] [[!redirects fundamental theorems of integral calculus]] [[!redirects Fundamental Theorem of Calculus]] [[!redirects FTC]]



\end{document}