\documentclass[12pt,a4paper]{article}
\usepackage[latin1]{inputenc}
\usepackage[francais]{babel}
\usepackage[T1]{fontenc}
\usepackage{kpfonts}
\usepackage{tikz}
\usetikzlibrary{calc}
\usepackage[margin=2cm]{geometry}
\usepackage{titlesec}
\usepackage{fancyhdr}
\usepackage{cellspace}
\usepackage{eso-pic}
\usepackage{enumitem,pas-math}
\usepackage[urlcolor=purple,colorlinks=true]{hyperref}
\definecolor{violet}{cmyk}{0.28,0.89,0,0.28}
\definecolor{vert}{cmyk}{0.17,0,0.17,0.07}
\newcommand{\chapHead}[1]{% #1 = Titre
\begin{tikzpicture}
\fill[blue!20] (0,0) rectangle+(\textwidth,-1.5cm);
\fill[orange!5] (0,-1) rectangle +(\textwidth,-5cm);
\fill[violet] (12cm,0) rectangle +(4cm,-4.5cm);
\fill[violet!80] (12cm,-4.5cm) rectangle+(0.5cm,0.5cm);
\fill[violet!70] (12.5cm,-4.5cm) rectangle+(0.5cm,0.5cm);
\fill[violet!60] (13cm,-4.5cm) rectangle+(0.5cm,0.5cm);
\fill[violet!60] (12cm,-4cm) rectangle+(0.5cm,0.5cm);
\fill[violet!50] (12.5cm,-4cm) rectangle+(0.5cm,0.5cm);
\fill[violet!40] (12cm,-3.5cm) rectangle+(0.5cm,0.5cm);
\fill[violet!40] (13.5cm,-4.5cm) rectangle+(0.5cm,0.5cm);
\fill[vert] (12cm,-4.5cm) rectangle +(4cm,-1.5cm);
% "Article"
\node[below] at (14cm,-0.5cm) {%
\begin{minipage}{4cm}
\begin{center}
\color{white}\fontfamily{lmss}\fontseries{bx}\selectfont{\Large Article}

\bigskip

\emph{par\\{\small Stéphane PASQUET}}
\end{center}
\end{minipage}
};
% Titre
\node[below right] (titre) at (0.25cm,-1.5cm) {%
\begin{minipage}{11cm}
\fontfamily{lmss}\fontseries{bx}\selectfont\color{purple}\Huge #1
\end{minipage}
};
\node[below right,text=purple] at ($(titre.south west)+(0,-1em)$) {\fontfamily{lmss}\fontshape{it}\selectfont Disponible sur \url{http://www.mathweb.fr}};
% Date
\node at (14cm,-5.5cm) {%
\begin{minipage}{4cm}
\begin{center}
\fontfamily{lmss}\fontseries{bx}\selectfont\color{black}\today
\end{center}
\end{minipage}
};
\end{tikzpicture}
}
% Sections
\titleformat{\section}[block]
{\fontfamily{lmss}\fontseries{bx}\fontsize{16}{14}\selectfont\color{violet}}
{\thesection}
{1em}
{\fontfamily{lmss}\fontseries{bx}\selectfont}
\setlength{\parindent}{0pt}

% Paragraph

\titleformat{\paragraph}[runin]
{\fontfamily{lmss}\fontseries{b}\selectfont\color{purple}}{\theparagraph}{1em}{}

% Itemize

\setlist[itemize,1]{label={\color{purple}\textbullet}}

% footpage

\cfoot{\fontfamily{lmss}\fontseries{bx}\selectfont\color{white}\fcolorbox{violet}{violet}{\thepage}}

\renewcommand{\headrulewidth}{0pt}

\begin{document}
\pagestyle{fancy}
\chapHead{0 exposant 0}

\section*{Introduction}

Au même titre que \og $\frac{0}{0}$\fg, l'écriture \og $0^0$ \fg{} reste un mystère pour beaucoup de personnes novices qui manipulent les mathématiques. Comme pour la première écriture, nous allons voir qu'il est impossible d'imposer une égalité fixe pour la seconde.

\section*{Première approche}

Au collège, nous voyons que pour $n\in\mathbb{N}$, 
\[x^n=\underbrace{x\times x\times x\times\cdots\times x}_{n~\text{facteurs}} \]
où $x$ représente un nombre.

On voit aussi la relation :

\begin{equation}
x^n\times x^m=x^{n+m}. \label{eq1}
\end{equation}

Nous voyons aussi la relation :
\[ x^{-n}=\frac{1}{x^n},\quad x\neq 0.\]
Donc, si on prend $m=-n$, la relation (\ref{eq1}) devient :

\begin{equation}
x^n\times x^{-n}=x^0. \label{eq2}
\end{equation}

Or,

\begin{equation} 
x^n\times x^{-n}=\frac{x^n}{x^n}=1,\quad x\neq 0. \label{eq3} 
\end{equation}

On déduit alors des égalités (\ref{eq2}) et (\ref{eq3}) :
\[ \boxed{x^0=1,\quad x\neq 0}.\]


\newpage

\AddToShipoutPictureBG
{%
	\put(0,\LenToUnit{\dimexpr\paperheight-2cm})
	{%
		\begin{tikzpicture}
		\begin{scope}[rotate=-90]
		\fill[violet!80] (12cm,-4.5cm) rectangle+(0.5cm,0.5cm);
\fill[violet!70] (12.5cm,-4.5cm) rectangle+(0.5cm,0.5cm);
\fill[violet!60] (13cm,-4.5cm) rectangle+(0.5cm,0.5cm);
\fill[violet!60] (12cm,-4cm) rectangle+(0.5cm,0.5cm);
\fill[violet!50] (12.5cm,-4cm) rectangle+(0.5cm,0.5cm);
\fill[violet!40] (12cm,-3.5cm) rectangle+(0.5cm,0.5cm);
\fill[violet!40] (13.5cm,-4.5cm) rectangle+(0.5cm,0.5cm);
		\end{scope}
		\end{tikzpicture}
	}
	\put(\LenToUnit{\dimexpr\paperwidth-1.5cm},0)
	{%
		\begin{tikzpicture}
		\begin{scope}[rotate=90]
		\fill[violet!80] (12cm,-4.5cm) rectangle+(0.5cm,0.5cm);
\fill[violet!70] (12.5cm,-4.5cm) rectangle+(0.5cm,0.5cm);
\fill[violet!60] (13cm,-4.5cm) rectangle+(0.5cm,0.5cm);
\fill[violet!60] (12cm,-4cm) rectangle+(0.5cm,0.5cm);
\fill[violet!50] (12.5cm,-4cm) rectangle+(0.5cm,0.5cm);
\fill[violet!40] (12cm,-3.5cm) rectangle+(0.5cm,0.5cm);
\fill[violet!40] (13.5cm,-4.5cm) rectangle+(0.5cm,0.5cm);
		\end{scope}
		\end{tikzpicture}
	}
}

\section*{Une approche fonctionnelle}

Considérons la fonction $f(x)=x^x=\e^{x\ln x}$.\\
Nous savons que $\lim\limits_{x\to 0} x\ln x=0$ donc $\lim\limits_{x\to 0} f(x)=\e^0=1$. On aurait alors montré que :
\[ \boxed{0^0=1}\]
\`A ce stade, on est soulagé : \og Ouf ! On a trouvé la valeur de $0^0$ ! \fg. Mais comme je suis un rabat-joie, j'aimerais parler d'une autre fonction :
\[ g(x)=x^{\tfrac{1}{\ln x}}=\e^{\tfrac{1}{\ln x}\times\ln x}=\e.\]
On a : $\lim\limits_{x\to 0} \ln x=-\infty$ donc $\lim\limits_{x\to 0} \dfrac{1}{\ln x}=0$. Ainsi, $\lim\limits_{x\to 0} g(x)=0^0$. Mais $\lim\limits_{x\to 0} g(x)=\e$ d'après l'expression trouvée précédemment. D'où :
\[ \boxed{0^0=\e}\]
On pourrait même considérer la fonction :
\[ h(x)=\left(\e^{-\tfrac{1}{x}}\right)^x\]
En effet, on a d'une part : $h(x)=\e^{-1}$. D'autre part, $\limite[x>0]{x}{0}\left(-\dfrac{1}{x}\right)=-\infty$ et $\lim\limits_{X\to -\infty} \e^X=0$. Donc $\limite[x>0]{x}{0} h(x)=0^0=\e^{-1}$.
\[ \boxed{0^0=\e^{-1}}.\]

\section*{Une approche ensembliste}

En théorie des ensembles, on voit que si deux ensembles M et N ont respectivement un cardinal égal à $n$ et $m$, alors le nombre d'applications de N vers M est égal à $m^n$.

Ainsi, $0^0$ représente, dans ce contexte précis, le nombre d'applications de l'ensemble vide vers l'ensemble vide, c'est-à-dire que : \[ \boxed{0^0=1}\]


\section*{Conclusion}

Nous pouvons, à la vue de ce qui a été écrit précédemment, conclure que l'écriture \og $0^0$ \fg{} n'a aucune signification si elle est sortie d'un certain contexte, et selon le contexte dans lequel on la place, elle n'a pas la même signification. Ce n'est qu'une écriture qui symbolise un phénomène mathématique particulier selon le contexte dans lequel on la place. Ainsi, parler de $0^0$ seul n'a pas de sens.


\begin{flushright}
\emph{Document fortement inspiré de l'article de Jean Jacquelin,\linebreak\og 0 puissance 0\fg, paru dans le magazine Quadrature n°66.}
\end{flushright}
\end{document}