%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%% Adresse mail : rifly01@gmail.com            %%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%%% PREAMBULE %%%%
\documentclass{article}

%%%% LES PACKAGES %%%%%
\usepackage[french]{babel}								% Francisation
\usepackage{amsmath,amsfonts, esint}			% Les symboles 
\usepackage{thmbox}												% Les théorèmes
\usepackage{multicol}											% Les colonnes 
\usepackage[ansinew, latin1]{inputenc}		% Les accents
\usepackage{fancyhdr}											% Numérotation des pages ...
\usepackage{graphicx}											% Les images 
\usepackage{floatrow} 										% Légender les dessins ...
\usepackage{cancel}												% Rayer une expression 
\usepackage[colorlinks=true,
						menucolor=red,
						breaklinks=true,
						urlcolor=blue,
						linkcolor=blue]{hyperref}			% Les liens 
\usepackage[left=1cm,
						right=1.5cm,
						top=1cm,
						bottom=1cm]{geometry}					% Les dimensions 
\usepackage{pstricks, pstricks-add}				% 
\usepackage{pst-node}											% Les points  
\usepackage{pst-plot}											% Dessiner les fonctions  
\usepackage{pst-tree}											% Les arbres ponderées  
\usepackage{pst-circ}											% Les circuits électriques 
%%%% FIN PACKAGES  %%%%%

%%%% MES SPEFICATIONS %%%%%
	\newtheorem{theo}{Théorème}[section]		% Théorèmes
	\newtheorem{cor}[theo]{Corollaire}			% Corollaire
	\newtheorem{lemm}[theo]{Lemme}					% Lemme
	\newtheorem{fact}[theo]{Fait}						% Fait
	\newtheorem{defi}{Définition}						% Définition
	\newtheorem{exmp}[theo]{Exemple}				% Exemple
	\newtheorem{corr}{Corrigé}							% Corrigé
	\newtheorem{exo}{Exercice}							% Exercice
	\newtheorem{rgl}{Règle}									% Règle
	\newtheorem{modo}{Méthode}							% Méthode
	
	\everymath{\displaystyle}								% Maths Style partout

	\newcommand{\R}{{\mathbb R}}						% L'ensemble des réels
	\newcommand{\N}{{\mathbb N}}						% L'ensemble des Entiers
	\newcommand{\Q}{{\mathbb Q}}						% L'ensemble des rationnels
	\newcommand{\Z}{{\mathbb Z}}						% L'ensemble des relatifs
	\newcommand{\C}{{\mathbb C}}						%	L'ensemble des complexes
	\newcommand{\F}{{\mathbb F}}						% L'ensemble F
	\newcommand{\I}{{\mathbb I}}						% L'ensemble I
	\newcommand{\K}{{\mathbb K}}						% L'ensemble K
	\newcommand{\U}{{\mathbb U}}						% L'ensemble U
	
	\newcommand{\al}{\alpha}								% alpha
	\newcommand{\be}{\beta}									% beta
	\newcommand{\del}{\delta}								% delta
	\newcommand{\eps}{\epsilon}							% epsilon
	\newcommand{\ssiP}{\Leftrightarrow}			% si et seulement si : petite	
	\newcommand{\ssiG}{\Longleftrightarrow}	% si et seulement si : grande
	\newcommand{\impP}{\Rightarrow}					% implication : petite
	\newcommand{\impG}{\Longrightarrow}			% implication : grande
	\newcommand{\donneP}{\mapsto}						% donne : petite
	\newcommand{\donneG}{\longmapsto}				% donne : grande
	\newcommand{\conv}{\rightarrow}					% converge : petite 
	\newcommand{\conV}{\longrightarrow}			% converge : grande
	%\newcommand{\di}{\displaystyle}				% mise en forme maths 
	\newcommand{\vect}{\overrightarrow}			% pour l'écriture des vecteurs
	\newcommand{\oo}{\infty}								% Infini
	\newcommand{\cad}{c'est-à-dire}					% C'est-à-dire
	\newcommand{\pal}{\partial}							% Dérivées partielles
	
	\newcommand{\moi}{
	\begin{flushright}
	\href{http://mp.ensi.free.fr}{\textsc{--- Mohammed EL BACHIR ---}}
	\end{flushright}
	}	
	
	% L'entête de mon document %
	\pagestyle{fancy} \fancyhf{}
	\fancyhead[R]{\thepage}
	\fancyhead[L]{\textbf{Définition différentielle}}													%\footnotesize{\leftmark}
	\renewcommand{\headrulewidth}{0.3pt}
	\addtolength{\headheight}{0.3pt}
	\fancypagestyle{plain}{
    \fancyhead[R]{\thepage}								% Le numéro de page à droite
    \fancyhead[L]{}
    \renewcommand{\headrulewidth}{0pt}
    }
	\linespread{1.4}
	
%%%% FIN COMMANDES %%%%%

\begin{document}
%%%% CONTENU     %%%%%

\begin{center}
\huge \textbf{Différentielle}
\end{center}

\begin{defi}
\normalfont 
\large 
Soient $\U$ un ouvert de $\R^n$ et $ f : \U \longrightarrow \R$ une fonction réelle définie sur $\U$ et $a\in\U$, on dit que $f$ est différentiable au point $a$ si 
\begin{enumerate}
	\item Les dérivées partielles $\frac{\pal f}{\pal x_j}(a)$ de $f$ en $a$ existent toutes avec $ j = 1,...,n$. 
	\item $\forall \eps > 0, \exists \mu > 0 $ tel que $ \forall x\in \U$, 
	\[0\le \left\|x-a\right\|< \mu \Longrightarrow \left|f(x)-f(a)-\sum_{j=1}^{n}\frac{\pal f}{\pal x_j}(a)\Big(x_j-a_j\Big)\right| \le \eps \left\|x-a\right\| \]
\end{enumerate}
\end{defi}


\moi

%% Plusieurs paragraphes ?
%\newpage 
%\tableofcontents
%%%% FIN CONTENU %%%%%

\end{document}
