\input{/home/moi/Lycee/makalice}\setlength{\parindent}{0pt}
\entete{\NomLecon}{\textsc{MATHS - SGM - $1^{\text{ère}}$ année}}{IUT de Nantes, dpt SGM}




\begin{document}


\setlength{\parindent}{0pt}
\LECOND{I}{Première}{}{\textsc{G\'EN\'ERALIT\'ES SUR \\ \smallskip  LES FONCTIONS}}{G\'EN\'ERALIT\'ES SUR LES FONCTIONS}{/home/moi/ts/ts/Buzz.eps}




\begin{Abstract}
Où l'on revoie et développe les notions de limites, continuité, dérivation avec quelques nouveautés en faisant appel à la physique.%Pour initier son jeune disciple aux mathématiques de l'enseignement supérieur, Dark Mathemator donne des définitions aux limites et %démontre certains théorèmes.
\end{Abstract}

\SECTION{LIMITES}{Limites}

\SUBSECTION{Préliminaires}
\SUBSUBSECTION{Qu'est-ce qu'une fonction ?}

Une fonction associe à TOUT élément d'un ensemble de départ un UNIQUE élément d'un ensemble d'arrivée. Cela correspond typiquement au diagramme en patates suivant

\des{limfonc.13}{3}

%\begin{center}
%\includegraphics[height=3cm]{DiaFonction.1}
%\end{center}

Nous nous restreindrons dans ce chapitre  aux fonctions dont les ensembles de départ et d'arrivée sont des parties de $\bbr$.


\SUBSUBSECTION{Voisinage}

Nous allons être amenés à distinguer des assertions vraies au <<~ voisinage~>> d'un point et celles vraies sur tout l'ensemble de définition.

Un voisinage sera un intervalle qui <<~englobera~>>  le point considéré. Mais le plus souvent, il s'agira d'un point critique qui n'appartiendra pas à l'ensemble de définition $\DR$, voire même $\pm\infty$. Un voisinage sera donc l'intersection d'un intervalle englobant le point avec $\DR$, en adaptant pour l'infini

\ENC{ \Def \ Voisinage}{Soit $f$ une fonction définie sur un ensemble $\DR$ et $x_0$ un réel. Une assertion est vraie \textbf{au voisinage} de $x_0$ s'il existe un intervalle $I$ contenant $x_0$ tel que l'assertion soit vraie pour tout $x$ de $I\cap \DR$

\medskip

Soit $f$ une fonction définie sur un ensemble $\DR$. Une assertion est vraie \textbf{au voisinage} de $+\infty$ s'il existe un réel $a$ tel que l'assertion soit vraie pour tous les $x$ de $[a,+\infty[$}
 
En fait, retenez bien qu'en mathématiques il est très important de savoir sur quel ensemble on travaille :  par exemple, est-ce que la fonction exponentielle est bornée sur $\bbr$ ? 

C'est faux sur $\bbr$, c'est vrai au voisinage de $-\infty$.




\SUBSECTION{Approche physique des différentes définitions}

\SUBSUBSECTION{Limite finie en un réel}

Vous connaissez peut-être la loi des gaz parfaits qui relie pression, volume et température d'une  certaine masse de gaz dans certaines conditions
$$PV=RT$$
avec $R$ une constante qui dépend de la nature du gaz et des unités employées.

Si on considère un gaz parfait dans un récipient à volume constant, la pression va donc varier en fonction de la température que l'on peut contrôler selon l'équation

$$P(T)=\fr{R}{V} T$$

Si l'on veut que la pression reste entre les valeurs $P_0-\e$ et $P_0+\e$, il suffit que l'on contrôle la température pour qu'elle se situe dans  un certain intervalle qui dépendra de la précision $\e$ choisie : 


\des{limfonc.14}{5}

Si on utilise un formalisme mathématique, cela donne :

\ENC{\Def \ Limte finie en un réel}{
Soit $I$ un intervalle de $\bbr$, soit $f$ une fonction de $I$ vers $\bbr$, soit $\ell$ un réel et soit $a$ un élément ou une extrémité finie de $\bbr$. On dit que $f(x)$ tend vers $\ell$ quand $x$ tend vers $a$ lorsque, pour tout $\e>0$, il existe $\al>0$ tel que, pour tout réel $x$ appartenant à  $I\cap[a-\al,a+\al]$, on a $f(x)\in[\ell-\e,\ell+\e]$.}

\c Ca parait bien compliqué, notez tout de même qu'il existe des notations logiques simplifiant l'écriture : $\forall$ qui veut dire pour tout et $\exists$ qui veut dire il existe.


$$\forall \e>0\ \exists \al>0\ \forall x\in I\cap[a-\al,a+\al] \quad f(x)\in[\ell-\e,\ell+\e]$$



\SUBSUBSECTION{Limite infinie en un réel}


Utilisons cette fois-ci la loi de Newton, donnant la force qu'exercent l'un sur l'autre deux points matériels de masses $m$ et $m'$ distants de $d$

$$F=G\fr{mm'}{d^2}$$

avec $G$ la constante de l'attraction universelle.


\des{limfonc.15}{6}


Pour que $F$ reste supérieure à une valeur arbitraire $A$, il suffit que les points matériels soient à une distance inférieure à $\sqrt{\fr{Gmm'}{A}}$

Mathématiquement, la formulation est 

\ENC{\Def\ \ Limite infinie en un réel}{Soit $a\in\bbr$, et soit $f$ une fonction définie sur un intervalle $I$. On dit que $f(x)$ tend vers $+\infty$ quand $x$ tend vers $a$ à droite si $$\forall A>0\ \ \exists \al>0\ \ \forall x\in]a,a+\al]\cap I\ \ f(x)\se A$$}


La formulation fait peur, mais j'espère que l'illustration physique est assez parlante.


\SUBSUBSECTION{Limite finie en l'infini}


Vous savez qu'au moment de démarrer  votre 309 custom megabass, l'huile du moteur est froide puis la température d'huile augmente pour finir par se stabiliser autour de 90°C, que vous rouliez 30 minutes ou 32 heures (sauf incident).

On peut modéliser ce comportement en disant que la température $\theta$ de l'huile évolue en fonction du temps $t$ selon  la loi
$$\theta(t)=\tau\pa{1-e^{-kt}}$$
avec $k$ une constante dépendant de la viscosité de l'huile et $\tau$ la température du régime stationnaire.

\des{limfonc.16}{5}

Ainsi, si l'on veut que la température $\theta$ reste comprise dans l'intervalle $]\tau-\e,\tau+\e[$, il suffit d'attendre suffisamment longtemps.

Cela donne en langage mathématique


\ENC{\Def\ \ Limite finie en l'infini}{On dit que $f(x)$ tend vers $\ell$ quand $x$ tend vers $+\infty$  lorsque, pour tout réel $\e>0$, tout intervalle $]\ell-\e,\ell+\e[$ contient    toutes les valeurs de $f(x)$ pour $x$ assez grand}

Je vous laisse bien sûr adapter cet énoncé au cas d'une limite en $-\infty$.





\SUBSUBSECTION{Limite infine en l'infini}


Vous connaissez la formule donnant l'énergie cinétique d'un solide de masse se déplaçant à la vitesse $v$
$$E_C=\fr{1}{2}mv^2$$

\des{limfonc.17}{4.5}

Si l'on veut que l'énergie cinétique reste supérieure à une certaine valeur $E_{\text{seuil}}$, il suffit que la vitesse reste supérieure à une certaine valeur $v_0$ qui dépendra du choix de $E_{\text{seuil}}$.

\smallskip

Mathématiquement, cela donne


\ENC{\Def\ \ Limite infinie en l'infini}{On dit que $f(x)$ tend vers $+\infty$ quand $x$ tend  $+\infty$ lorsque, pour tout réel $A$ strictement positif, l'intervalle $]A,+\infty[$ contient toutes les valeurs de $f(x)$ pour $x$ assez grand}


\SUBSUBSECTION{\`A quoi servent les définitions des limites ?}

Vous n'aviez vu que les deux dernières définitions en terminale, et dans toutes les autres sections de terminale, les élèves manipulent les limites sans connaître aucune de ces définitions. Alors, pourquoi les étudie-t-on ?
\bel

\item Tout d'abord, d'un point de vue pratique, elles peuvent nous donner des moyens de calculs intéressants. Par exemple, vous vous souvenez que $$\Lim{+\infty}x^2e^{-x}=0$$
donc, d'après la définition, il existe un réel $A$, tel que, pour tout $x>A$, $x^2e^{-x}\ie1$, i.e. $$\forall x>A\quad e^{-x}\ie\fr{1}{x^2}$$ qui nous donne une majoration locale de $e^{-x}$, ce qui est appréciable car vous commencez à comprendre l'importance de savoir majorer et minorer en analyse\footnote{Jean \textsc{Dieudonné}, un des plus grands mathématiciens français du $\text{XX}^e$ siècle disait même : <<~ l'Analyse, c'est l'art de majorer et minorer~>>}.
\item Ensuite, ces définitions vont nous permettre de démontrer les théorèmes qui suivent et que vous aviez admis les années précédentes.
 \item Ce qui nous amène au dernier point : en mathématiques, il est très dangereux de prendre une affirmation pour argent comptant, sans preuve. Les mathématiques doivent vous permettre d'acquérir un sens critique et les questions du style <<~Pourquoi ? Comment ? Dans quelles conditions~?...~>>  doivent jaillir lorsque vous êtes confrontés à un nouveau concept.

\el

\SUBSECTION{Les théorèmes}


%\SECTION{LES TH\'EOR\`EMES}{Les théorèmes}

%\tsx Je commence à m'habituer à ces définitions, mais serons-nous toujours obligés d'y revenir pour calculer des limites ?

Rassurez-vous, dans la plupart des cas, nous pourrons utiliser les théorèmes que vous avez en fait découvert l'an passé, sans devoir repasser par les définitions. Cependant ces définitions sont nécessaires pour démontrer les théorèmes et vous font entrevoir qu'en mathématiques, il nous faut un point de départ solide pour vérifier si une affirmation est vraie ou fausse.

\smallskip

Mais avant toute chose, voici le principal théorème du cours 

\ENC{\Thm}{En analyse,  un dessin avant de résoudre l'exercice tu feras} 


\SUBSUBSECTION{Théorèmes de comparaison}

 Ce théorème est résumé par le dessin suivant 

\des{limfonc.8}{7}

à savoir 

\ENC{\Thm}{Si pour tout $x\se m$ on a $g(x)\se f(x)$ et si $\Lim{+\infty}f(x)=+\infty$, alors $\Lim{+\infty}g(x)=+\infty$}

 En fait, ça veut dire que si on est plus grand que quelque chose qui tend vers $+\infty$, on tend soi-même vers $+\infty$.
Il existe le pendant en $-\infty$ que je vous laisse imaginer. Maintenant, le dessin est bien beau, mais il s'agirait de démontrer ce résultat. Or nous n'avons que la définition de la limite en magasin, donc utilisons-là.

 
On veut prouver que $\Lim{+\infty}g(x)=+\infty$, donc on considère un réel positif $A$ quelconque. 

Puisque $\Lim{+\infty}f(x)=+\infty$, il existe un réel $M$ tel que, pour tout $x\se M$, on a $f(x)\se A$

De plus, pour tout $x\se m$, on a $g(x)\se f(x)$

Donc, si on appelle $\mu$ le plus grand des réels $m$ et $M$, pour tout $x\se \mu$, on a $g(x)\se A$, ce qui exprime que $\Lim{+\infty}g(x)=+\infty$.

\medskip

Par exemple $\Lim{+\infty}\sqrt{x}=+\infty$ et $g(x)=\sqrt{x}+|\sin x|\se \sqrt{x}$ pour tout réel $x$, donc par comparaison des limites on obtient que $\Lim{+\infty}g(x)=+\infty$.




\SUBSUBSECTION{Théorèmes des gendarmes}

 Un nom qui fait un peut peur et qui laisse imaginer le pauvre prisonnier entouré de deux fiers à bras en uniforme. On aurait pu aussi l'appeler théorème des portes d'ascenseur, théorème de la mouche écrasée, théorème du rouleau compresseur, et j'en passe et des meilleures.

Comme d'habitude, l'idée vient d'un petit dessin 


\des{limfonc.9}{5.5}

Une fonction $f$ est coincée entre deux fonctions $g$ et $h$ qui tendent vers $\ell$ en $+\infty$, alors $f$ elle-même va tendre vers $\ell$ en $+\infty$. Il ne reste plus qu'à trouver un énocé et une démonstration.



\ENC{\Thm  TThéorème des gendarmes en l'infini}{Soient $f$, $g$ et $h$ des fonctions et $\ell$ et $A$ deux  réels.

Si $\Lim{+\infty}g(x)=\Lim{+\infty}h(x)=\ell$ et que $g(x)\ie f(x)\ie h(x)$ pour tout $x\se A$, alors $\Lim{+\infty}f(x)=\ell$}

 La démonstration se déduit du dessin : on fixe un réel $\e>0$ quelconque. 

Comme $\Lim{+\infty}g(x)=\ell$, il existe un réel $A_g$ tel que, pour tout $x>A_g$ on a $g(x)\in]\ell-\e,\ell+\e[$, i.e. $\ell-\e<g(x)<\ell+\e$ 

Comme $\Lim{+\infty}h(x)=\ell$, il existe un réel $A_h$ tel que, pour tout $x>A_h$ on a $h(x)\in]\ell-\e,\ell+\e[$, i.e. $\ell-\e<h(x)<\ell+\e$

Soit $M$ le plus grand des réels $A_g$, $A_h$ et $A$, alors on on a simultanément pour tout $x>M$  $$\ell-\e<g(x)\ie f(x)\ie h(x)<\ell+\e$$ ce qui traduit que $\Lim{+\infty}f(x)=+\infty$.



\medskip 

On admettra  que ce théorème s'applique aussi pour des limites en des valeurs finies (il suffirait pour le prouver d'utiliser les définitions des limites en des valeurs finies)

\ENC{\Thm  TThéorème des gendarmes}{Soient $f$, $g$ et $h$ des fonctions, $\ell$ et $A$ deux  réels et $\omega$ un réel ou l'infini.

Si $\Lim{\omega}g(x)=\Lim{\omega}h(x)=\ell$ et que $g(x)\ie f(x)\ie h(x)$ pour tout $x\se A$, alors $\Lim{\omega}f(x)=\ell$}



Par exemple, nous pouvons maintenant étudier la limite de $f~:~x\mapsto \fr{\sin x}{x}$ en $+\infty$.

En effet, vous savez que, pour tout $x\in\bbr$, on a $-1\ie\sin x\ie 1$. Pour $x>0$, on obtient donc $$-\fr{1}{x}\ie\fr{\sin x}{x}\ie\fr{1}{x}$$
Or $\Lim{+\infty}-\fr{1}{x}=\Lim{+\infty}\fr{1}{x}=0$, donc, d'après le théorème des gendarmes on obtient 
$$\Lim{+\infty}\fr{\sin x}{x}=0$$

\SUBSUBSECTION{Opérations sur les limites}

 Vous connaissez cela depuis longtemps : on peut effectuer toutes les opérations sur les limites, sauf quatre : les quatre formes indéterminées (FI)
\bel
\item $\infty-\infty$ : il faudrait savoir qui est le plus fort des $\infty$. Par exemple, $\Lim{+\infty} x^2-x$, $\Lim{+\infty} x-x^2$ et $\Lim{+\infty} (x+1)-x$ sont toutes de la forme $\infty-\infty$, mais donnent des résultats tous différents.

\item $0\times \infty$ : attention, le << 0 >> ici est un abus d'écriture. Il ne représente pas 0 mais une expression qui tend vers 0. Il faudrait savoir qui est le plus fort, du 0 et de l'infini. Par exemple $\Lim{+\infty} x\times\fr{1}{x^2} $, $\Lim{+\infty} x^2\times\fr{1}{x} $ et $\Lim{+\infty} x\times\fr{1}{x} $ sont toutes de la forme $0\times \infty$, mais donnent des résultats tous différents.
  
\item $\fr{\infty}{\infty}$ : c'est encore un rapport de force, ici entre numérateur et dénominateur. Trouvez trois exemples qui donnent des résultats différents.

\item $\fr{0}{0}$ : idem

\el 
\SUBSUBSECTION{Limites de fonctions composées}

 J'espère que vous êtes à l'aise dans la composition - décomposition de fonctions. Par exemple, décomposons  la fonction $\f~:~ x\mapsto e^{-3x+1}$ en deux fonctions élémentaires 

 $$x\xrightarrow{t\mapsto  -3t+1}-3x+1\xrightarrow{t\mapsto e^{t}}e^{-3x+1}$$

\definecolor{vert}{rgb}{0,0.392193,0}

Supposons maintenant que vous vouliez étudier la limite de $\f$ en $-\infty$. Nous allons être amenés à décomposer le calcul de limite. Pour nous guider, nous aurons besoin de la propriété (admise) suivante :

\ENC{\Prop}{Soient $\omega$, $\Omega$ et $\ell$ des réels ou l'infini et $f$ et $g$ deux fonctions, alors
$$ \left.\begin{array}{l} \Lim{\textcolor{red}{\omega}}f(x)=\textcolor{magenta}{\Omega}\\ \ds\lim_{T\to\textcolor{magenta}{\Omega}}g(T)=\textcolor{vert}{\ell}\end{array}\right\rbrace\Longrightarrow\Lim{\textcolor{red}{\omega}}g\circ f(x)=\textcolor{vert}{\ell}$$}


Appliquons cette propriété au cas étudié.
 Avec les couleurs, cela donne
$$ \left.\begin{array}{l} \Lim{\textcolor{red}{-\infty}}-3x+1=\textcolor{magenta}{+\infty}\\ \ds\lim_{T\to\textcolor{magenta}{+\infty}}e^{T}=\textcolor{vert}{+\infty}\end{array}\right\rbrace\stackrel{\text{par composition}}{\Longrightarrow}\Lim{\textcolor{red}{-\infty}}\f(x)=\textcolor{vert}{+\infty}$$

\SUBSECTION{Comportement asymptotique}

\SUBSUBSECTION{Comment démontrer qu'une courbe admet une asymptote au voisinage de l'infini~?}

Commençons comme d'habitude par un dessin 

\des{limfonc.11}{5}



Pour traduire numériquement le fait que la courbe vient <<~se coucher~>> sur la droite, il faudrait mettre en évidence que $e(x)$ devient de plus en plus petit à mesure que $x$ augmente. Il suffit de  dire que $\Lim{+\infty}e(x)=0$. Or $e(x)=f(x)-(ax+b)$, donc


\ENC{\Thm}{La courbe d'équation $y=f(x)$ admet la droite d'équation $y=ax+b$ comme asymptote au voisinage de $+\infty$ si et seulement si $$\Lim{+\infty}\cro{f(x)-(ax+b)}=0$$}

On obtient un théorème similaire en $-\infty$.  



\SUBSUBSECTION{Si $\Lim{+\infty}=+\infty$, alors $\CR_f$ admet -elle
forcément une asymptote au voisinage de $+\infty$~?}

Il y a asymptote quand on peut écrire $f(x)$ sous la forme $x\mapsto ax+b+e(x)$ avec $e(x)$ qui tend vers 0 en l'infini, c'est à dire une partie
affine plus une partie <<~ qui compte pour du beurre~>>.

Mais ce n'est pas toujours le cas. Considérez par exemple $x\mapsto x^2+1/x$. La partie qui ne tend pas vers 0 en $+\infty$ n'est pas affine, donc la courbe ne va pas ressembler localement à une droite.

\begin{center}
\includegraphics[height=4cm]{/home/moi/ts/ts/tsx2.4}

\end{center}


Il faudra donc suivre la procédure suivante lorsque $\Lim{\infty}=\infty$

\begin{center}
\includegraphics[width=\textwidth]{/home/moi/Lycee/TS/figures/limfonc.18}
\end{center}
%\des{limfonc.18}{7}


\SUBSECTION{Domination - \'Equivalence}

\SUBSUBSECTION{Fonction négligeable devant une autre}
Comme nous venons de le remarquer, il faudra cette année le plus souvent repérer à l'\oe il nu la limite en repérant les dominants et les dominés. Dans un exemple précédant, la fonction $x\mapsto x^2+1/x$, $1/x$ était le terme dominant et $x^2$ le terme dominé au voisinage de 0, donc c'est $1/x$ qui <<~portera~>> la limite. Mais au voisinage de l'infini, les rôles s'échangent. 


C'est parfois moins visible.

Prenez par exemple $3x^2-132x+27$ au voisinage de $+\infty$. Nous sommes confrontés à une forme indéterminée $\infty-\infty$. Mais  regardez les graphes des fonctions $x\mapsto x$ et $x\mapsto x^2$ : vous voyez bien que $x^2$ est bien plus fort que $x$ au voisinage de l'infini, et donc que c'est $x^2$ qui porte la limite qui sera donc $+\infty$.
Mais cette considération  n'est qu'un support à l'intuition, qui peut parfois être dangereuse. Pour le prouver par le calcul, on peut par exemple mettre le plus fort en facteur :

Pour tout $x\neq 0$, $3x^2-132x+27=x^2\pa{3-\fr{132}{x}+\fr{27}{x^2}}$

Or $$\left.\begin{array}{r}\left.\begin{array}{l}\Lim{+\infty}\fr{132}{x}=0\\\Lim{+\infty}\fr{27}{x^2}=0\end{array}\right\rbrace\stackrel{\text{par somme}}{\Longrightarrow}\Lim{+\infty}\pa{3-\fr{132}{x}+\fr{27}{x^2}}=3\\\Lim{+\infty}x^2=+\infty\end{array}\right\rbrace\stackrel{\text{par produit}}{\Longrightarrow}\Lim{+\infty}3x^2-132x+27=+\infty$$


Il existe des outils plus forts.

\ENC{\Def\ \ Domination}{ Soient $f$ et $g$ deux fonctions numériques définies sur un voisinage $\VR$ de $a$ (éventuellement l'infini). On dit que $f$ est négligeable devant $g$ au voisinage de $a$ si et seulemnt s'il existe une fonction $e$ vérifiant 
$$\forall x\in\VR\quad f(x)=e(x)g(x)\quad\text{avec }\ \Lim{a}e(x)=0$$}

Vous rencontrerez parfois la notation $f=o(g)$ ($f$ est un petit o de $g$), mais mieux vaut utiliser celle proposée qui est moins dangereuse.

Il est équivalent de dire, si $g$ ne s'annule pas sur $\VR$, que $\Lim{a}\fr{f(x)}{g(x)}=0$.

\medskip

Par exemple, $\Lim{+\infty}\fr{x}{x^3}=\Lim{+\infty}1/x^2=0$, donc $x\mapsto x$ est négligeable devant $x\mapsto x^3$ au voisinage de $+\infty$, mais $\Lim{0}\fr{x^3}{x}=\Lim{0}x^2=0$, donc $x\mapsto x^3$ est négligeable devant $x\mapsto x$ au voisinage de $0$

Vous aurez encore remarqué qu'il s'agit d'un problème local.

\SUBSUBSECTION{Fonctions équivalentes}

Il est aussi parfois utile de savoir si deux expressions sont <<~de même force~>>. Par exemple, vous savez que
$\Lim{0}\fr{\sin x}{x}=1$, c'est à dire que $\Lim{0}\fr{\sin x}{x}-1=0$, ou encore qu'il existe une fonction $e$ telle que $\Lim{0}e(x)=0$ vérifiant $\fr{\sin x}{x}=1+e(x)$
soit finalement $$\sin x =x+x e(x)$$

Ainsi, localement autour de 0, les fonction $x\mapsto \sin x$ et $x\mapsto x$ sont égales, à une fonction négligeable devant elles près.
 On dira qu'elles sont \textit{équivalentes} au voisinage de zéro.

\ENC{\Def\ \ Fonctions équivalentes}{Soient $f$ et $g$ deux fonctions numériques définies sur un voisinage $\VR$ de $a$ (éventuellement l'infini). On dit que $f$ est équivalente à $g$ au voisinage de $a$ si et seulemnt si $f-g$ est négligeable devant $g$, i.e. s'il existe une fonction $e$ vérifiant 
$$\forall x\in\VR\quad f(x)-g(x)=e(x)g(x)\quad\text{avec }\ \Lim{a}e(x)=0$$}

Vous rencontrerez parfois la notation $f \backsim g$.

Il est équivalent de dire, si $g$ ne s'annule pas sur $\VR$, que $\Lim{a}\fr{f(x)}{g(x)}=1$.
 

%\begin{minipage}[t]{0.45\textwidth}\vspace{0cm}\begin{flushleft} \SECTION{CONTINUIT\'E}{Continuité }\end{flushleft}\end{minipage}\hspace{0.5cm}\begin{minipage}[t]{0.45\textwidth}\vspace{-0.5cm}
%\hspace{5.5cm}
%\begin{flushright}\includegraphics[height=5cm]{/home/moi/ts/ts/chainonmanquant.eps}\end{flushright}\end{minipage}

\SECTION{CONTINUIT\'E}{Continuité }
\begin{center}\includegraphics[height=5cm]{/home/moi/ts/ts/chainonmanquant.eps}\end{center}
\SUBSECTION{Continuité en un point}

\SUBSUBSECTION{Qu'est-ce qu'une fonction continue en un point ?}

Voici la définition de la continuité d'une fonction en un point


\ENC{\Def \ \ Continuité en un point}{Soit $a$ un réel, et soit $f$ une fonction
définie sur un intervalle contenant $a$.
 On dit que \textbf{\mg$f$ est continue en $a$}
lorsque $f(x)$ tend vers $f(a)$ quand $x$ tend vers $a$. }

On ne voit pas trop l'utilité de cette définition, qui reprend celle de la limite en un point. En fait, nous allons voir que la continuité d'une fonction sur un intervalle va nous permettre de résoudre de nombreux problèmes, mais en physique, les fonctions sont rarement continues. La définition précédente va en fait nous aider parfois à <<~rendre continues~>> certaines fonctions en les prolongeant par continuité.

\SUBSUBSECTION{Qu'est-ce que  prolonger une fonction par continuité ?}

Il y a plusieurs cas de discontinuité d'une fonction en un point.



Il y a par exemple le cas des fonctions qui ont une limite à droite et une limite à gauche différente, comme par exemple la fonction signe
$$\text{signe}~:~ x\mapsto \fr{|x|}{x}=\begin{cases}1 \ \text{ si }\ x>0\\ -1 \ \text{ si }\ x<0\end{cases}$$
On voit donc que $\limg{0}\text{signe}(x)\neq\limd{0}\text{signe}(x)$.

\medskip

Plus intéressant est le cas où les deux limites sont égales. Par exemple, la fonction sinus amorti très utilisée en physique vérifie  $$\limg{0}\fr{\sin x}{x}=\limd{0}\fr{\sin x}{x}=1$$ Il suffit donc de créer une fonction $$g~:~x\mapsto \begin{cases}\fr{\sin x}{x}\ \ \text{ si } x\neq 0\\ f(0)=1\end{cases}$$

qui est maintenant continue en zéro. On a prolongé la fonction sinus amorti par continuité en 0.

\SUBSECTION{Continuité sur un  intervalle}

\SUBSUBSECTION{Qu'est-ce qu'un intervalle ?}

On ne peut pas rentrer dans les détails. On retiendra que c'est une partie de $\bbr$ qui n'a pas de <<~trou~>>. Par exemple, $\bbr^*$ n'est pas un intervalle.


\SUBSUBSECTION{Qu'est-ce qu'une fonction continue sur un intervalle ?}

\ENC{\Def \ \ Continuité sur un intervalle}{Une fonction est continue sur un intervalle si ellle est continue en chaque point de cet intervalle}

Il est bien sûr impossible de vérifier la continuité d'une fonction en chaque point. Nous admettrons que les fonctions polynômes, exponentielles, sinus et cosinus  sont continues sur $\bbr$, que les fonctions rationnelles, racine carrée, logarithme, tangente  sont continues sur leur ensemble de définition, ainsi que leurs combinaisons linéaires et leurs composées. On invoquera ces résultats par la phrase magique <<~d'après les théorèmes généraux...~>>


\SUBSECTION{Le Théorème des Valeurs Intermédiaires}

\SUBSUBSECTION{Comment montrer qu'une équation admet au moins une solution ?}

La situation est résumée par le dessin suivant

\des{limfonc.19}{5}

et l'énoncé


\ENC{\Thm \ \ Théorème des valeurs intermédiaires}{ Soit $f$ une fonction
continue d'un intervalle $I$ vers $\bbr$, et soient $a$ et $b$
deux éléments de $I$ tels que $a<b$. Alors pour tout réel $k$
compris entre $f(a)$ et $f(b)$, il existe $c\in[a,b]$ tel que
$f(c)=k$. }

Une conséquence importante est qu'une fonction continue sur un intervalle qui change de signe, s'annule sur cet intervalle.
\sm

On peut montrer aussi  que deux courbes représentatives de fonctions continues se croisent en étudiant la fonction $x\mapsto f(x)-g(x)$.

\sm

On montre aussi que l'image d'un intervalle par une fonction continue est un intervalle.

\SUBSUBSECTION{Comment monter qu'une équation admet une unique solution ?}
 
Le TVI montre l'existence d'au moins une solution. Si l'on a besoin de l'unicité, cela ne suffit pas 


\des{limfonc.20}{4.5}


On a besoin de la stricte monotonie de $f$ pour assurer l'unicité


\ENC{\Thm\ \ Théorème de la solution unique}{Soit $f$ une fonction
\textbf{continue} et \textbf{strictement monotone} d'un intervalle
$I$ vers $\bbr$, et soient $a$ et $b$ deux éléments de $I$ tels
que $a<b$. Alors pour tout réel $k$ \textbf{compris entre} $f(a)$
et $f(b)$, il existe un \textbf{unique} réel $c\in[a,b]$ tel que
$f(c)=k$.}



L'utilisation d'un logiciel de calcul formel nous permettra de programmer la résolution d'une équation par dichotomie grâce à ces théorèmes comme nous le verrons en TD.


%\SECTION{D\'ERIVATION}{Dérivation}

%\begin{center}\includegraphics[height=5cm]{/home/moi/ts/ts/gericault.eps}\end{center}




\end{document}