\( %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% Mes commandes %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% \newcommand{\multirows}[3]{\multirow{#1}{#2}{$#3$}}%pour rester en mode math \renewcommand{\arraystretch}{1.3}%pour augmenter la taille des case \newcommand{\point}[1]{\marginnote{\small\vspace*{-1em} #1}}%pour indiquer les points ou le temps \newcommand{\dpl}[1]{\displaystyle{#1}}%megamode \newcommand{\A}{\mathscr{A}} \newcommand{\LN}{\mathscr{N}} \newcommand{\LL}{\mathscr{L}} \newcommand{\K}{\mathbb{K}} \newcommand{\N}{\mathbb{N}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\M}{\mathcal{M}} \newcommand{\D}{\mathbb{D}} \newcommand{\E}{\mathcal{E}} \renewcommand{\P}{\mathcal{P}} \newcommand{\G}{\mathcal{G}} \newcommand{\Kk}{\mathcal{K}} \newcommand{\Cc}{\mathcal{C}} \newcommand{\Zz}{\mathcal{Z}} \newcommand{\Ss}{\mathcal{S}} \newcommand{\B}{\mathbb{B}} \newcommand{\inde}{\bot\!\!\!\bot} \newcommand{\Proba}{\mathbb{P}} \newcommand{\Esp}[1]{\dpl{\mathbb{E}\left(#1\right)}} \newcommand{\Var}[1]{\dpl{\mathbb{V}\left(#1\right)}} \newcommand{\Cov}[1]{\dpl{Cov\left(#1\right)}} \newcommand{\base}{\mathcal{B}} \newcommand{\Som}{\textbf{Som}} \newcommand{\Chain}{\textbf{Chain}} \newcommand{\Ar}{\textbf{Ar}} \newcommand{\Arc}{\textbf{Arc}} \newcommand{\Min}{\text{Min}} \newcommand{\Max}{\text{Max}} \newcommand{\Ker}{\text{Ker}} \renewcommand{\Im}{\text{Im}} \newcommand{\Sup}{\text{Sup}} \newcommand{\Inf}{\text{Inf}} \renewcommand{\det}{\texttt{det}} \newcommand{\GL}{\text{GL}} \newcommand{\crossmark}{\text{\ding{55}}} \renewcommand{\checkmark}{\text{\ding{51}}} \newcommand{\Card}{\sharp} \newcommand{\Surligne}[2]{\text{\colorbox{#1}{ #2 }}} \newcommand{\SurligneMM}[2]{\text{\colorbox{#1}{ #2 }}} \newcommand{\norm}[1]{\left\lVert#1\right\rVert} \renewcommand{\lim}[1]{\underset{#1}{lim}\,} \newcommand{\nonor}[1]{\left|#1\right|} \newcommand{\Un}{1\!\!1} \newcommand{\sepon}{\setlength{\columnseprule}{0.5pt}} \newcommand{\sepoff}{\setlength{\columnseprule}{0pt}} \newcommand{\flux}{Flux} \newcommand{\Cpp}{\texttt{C++\ }} \newcommand{\Python}{\texttt{Python\ }} %\newcommand{\comb}[2]{\begin{pmatrix} #1\\ #2\end{pmatrix}} \newcommand{\comb}[2]{C_{#1}^{#2}} \newcommand{\arrang}[2]{A_{#1}^{#2}} \newcommand{\supp}[1]{Supp\left(#1\right)} \newcommand{\BB}{\mathcal{B}} \newcommand{\arc}[1]{\overset{\rotatebox{90}{)}}{#1}} \newcommand{\modpi}{\equiv_{2\pi}} \renewcommand{\Re}{Re} \renewcommand{\Im}{Im} \renewcommand{\bar}[1]{\overline{#1}} \newcommand{\mat}{\mathcal{M}} \newcommand{\und}[1]{{\mathbf{\color{red}\underline{#1}}}} \newcommand{\rdots}{\text{\reflectbox{$\ddots$}}} \newcommand{\Compa}{Compa} \newcommand{\dint}{\dpl{\int}} \newcommand{\intEFF}[2]{\left[\!\left[#1 ; #2\right]\!\right]} \newcommand{\intEFO}[2]{\left[\!\left[#1 ; #2\right[\!\right[} \newcommand{\intEOF}[2]{\left]\!\left]#1 ; #2\right]\!\right]} \newcommand{\intEOO}[2]{\left]\!\left]#1 ; #2\right[\!\right[} \newcommand{\ou}{\vee} \newcommand{\et}{\wedge} \newcommand{\non}{\neg} \newcommand{\implique}{\Rightarrow} \newcommand{\equivalent}{\Leftrightarrow} \newcommand{\Ab}{\overline{A}} \newcommand{\Bb}{\overline{B}} \newcommand{\Cb}{\overline{C}} \newcommand{\Cl}{\texttt{Cl}} \newcommand{\ab}{\overline{a}} \newcommand{\bb}{\overline{b}} \newcommand{\cb}{\overline{c}} \newcommand{\Rel}{\mathcal{R}} \newcommand{\superepsilon}{\varepsilon\!\!\varepsilon} \newcommand{\supere}{e\!\!e} \makeatletter \newenvironment{console}{\noindent\color{white}\begin{lrbox}{\@tempboxa}\begin{minipage}{\columnwidth} \ttfamily \bfseries\vspace*{0.5cm}} {\vspace*{0.5cm}\end{minipage}\end{lrbox}\colorbox{black}{\usebox{\@tempboxa}} } \makeatother \def\ie{\textit{i.e. }} \def\cf{\textit{c.f. }} \def\vide{ { $ {\text{ }} $ } } %Commande pour les vecteurs \newcommand{\grad}{\overrightarrow{Grad}} \newcommand{\Vv}{\overrightarrow{v}} \newcommand{\Vu}{\overrightarrow{u}} \newcommand{\Vw}{\overrightarrow{w}} \newcommand{\Vup}{\overrightarrow{u'}} \newcommand{\Zero}{\overrightarrow{0}} \newcommand{\Vx}{\overrightarrow{x}} \newcommand{\Vy}{\overrightarrow{y}} \newcommand{\Vz}{\overrightarrow{z}} \newcommand{\Vt}{\overrightarrow{t}} \newcommand{\Va}{\overrightarrow{a}} \newcommand{\Vb}{\overrightarrow{b}} \newcommand{\Vc}{\overrightarrow{c}} \newcommand{\Vd}{\overrightarrow{d}} \newcommand{\Ve}[1]{\overrightarrow{e_{#1}}} \newcommand{\Vf}[1]{\overrightarrow{f_{#1}}} \newcommand{\Vn}{\overrightarrow{0}} \newcommand{\Mat}{Mat} \newcommand{\Pass}{Pass} \newcommand{\mkF}{\mathfrak{F}} \renewcommand{\sp}{Sp} \newcommand{\Co}{Co} \newcommand{\vect}[1]{\texttt{Vect}\dpl{\left( #1\right)}} \newcommand{\prodscal}[2]{\dpl{\left\langle #1\left|\vphantom{#1 #2}\right. #2\right\rangle}} \newcommand{\trans}[1]{{\vphantom{#1}}^{t}{#1}} \newcommand{\ortho}[1]{{#1}^{\bot}} \newcommand{\oplusbot}{\overset{\bot}{\oplus}} \SelectTips{cm}{12}%Change le bout des flèches dans un xymatrix \newcommand{\pourDES}[8]{ \begin{itemize} \item Pour la ligne : le premier et dernier caractère forment $#1#2$ soit $#4$ en base 10. \item Pour la colonne : les autres caractères du bloc forment $#3$ soit $#5$ en base 10. \item A l'intersection de la ligne $#4+1$ et de la colonne $#5+1$ de $S_{#8}$ se trouve l'entier $#6$ qui, codé sur $4$ bits, est \textbf{\texttt{$#7$}}. \end{itemize} } \)

Asymptotes

Qu'est-ce qu'une asymptote ?

Étymologiquement, le mot asymptote viens de l'ancien grec asùmptôtos signifiant "qui ne s'affaisse pas" ou "qui ne coïncide pas". Dans le cadre mathématiques, une asymptote donne une information infinitésimale de l'objet d'étude. Dans notre contexte, l'objet d'étude est la fonction ou plus précisément l'objet géométrique qui en découle : sa courbe représentative. Obtenir une information asymptotique permet de simplifier la compréhension de la courbe. Nous ne nous intéresserons qu'aux droites asymptotes. On en distingue trois : Dans la suite on considère \( \mathcal{C}_f\) la courbe représentative d'une fonction \( f\) . Attention, on parle d'asymptote à une courbe qui est un objet de la géométrie et non de la fonction \( f\) qui est un objet de l'analyse.

Asymptote horizontale

Définition


\( \bullet\)
On dira que la droite \( y=b\) est une asymptote horizontale en \( -\infty\) si \( \lim{x\rightarrow-\infty}f(x)=b\) .

\( \bullet\)
On dira que la droite \( y=b\) est une asymptote horizontale en \( +\infty\) si \( \lim{x\rightarrow+\infty}f(x)=b\) .
Il est bien sur possible qu'un asymptote en \( -\infty\) soit aussi une asymptote en \( +\infty\) . Considérons la fonction \( f(x)=\dfrac{x}{x-1}\) . On trouve assez rapidement \( \lim{x\rightarrow\pm\infty}\dfrac{x}{x-1}=1\) . Donc \( y=1\) est une asymptote horizontale à la courbe. Sur la graphique on a :

Asymptote verticale

Définition


On dira la droite \( x=a\) est une asymptote verticale si \( \lim{x\rightarrow a^{\pm}}f(x)=\pm\infty\) .
Reprenons l'exemple précédent avec \( f(x)=\dfrac{x}{x-1}\) . On vois assez rapidement que \( \lim{x\rightarrow 1^+}f(x)=+\infty\) et \( \lim{x\rightarrow 1^-}f(x)=-\infty\) . On en déduit donc que la droite \( x=1\) est une asymptote verticale à \( \mathcal{C_f}\) . Sur le dessin cela donne

Asymptote oblique

Définition


\( \bullet\)
On dira que la droite \( y=ax+b\) est une asymptote oblique en \( -\infty\) si \( \lim{x\rightarrow-\infty}f(x)-(ax+b)=0\) .

\( \bullet\)
On dira que la droite \( y=ax+b\) est une asymptote oblique en \( +\infty\) si \( \lim{x\rightarrow+\infty}f(x)-(ax+b)=0\) .
Considérons la fonction \( f(x)=\dfrac{x^2-1}{2x+1}\) et montrons que la droite \( y=\dfrac{1}{2}x-\dfrac{1}{4}\) est une asymptote oblique en \( +\infty\) (et aussi en \( -\infty\) ). \begin{eqnarray*} f(x)-\left(\dfrac{1}{2}x-\dfrac{1}{4}\right) &=&\dfrac{x^2-1}{2x+1}-\dfrac{1}{2}x+\dfrac{1}{4}\\ &=&\dfrac{4(x^2-1)}{4(2x+1)}-\dfrac{2x(2x+1)}{4(2x+1)}+\dfrac{2x+1}{4(2x+1)}\\ &=&\dfrac{4(x^2-1)-2x(2x+1)+(2x+1)}{4(2x+1)}\\ &=&\dfrac{4x^2-4-4x^2-2x+2x+1}{4(2x+1)}\\ &=&\dfrac{-3}{4(2x+1)} \end{eqnarray*} Ainsi \( \lim{x\rightarrow\infty}f(x)-\left(\dfrac{1}{2}x-\dfrac{1}{4}\right)=\lim{x\rightarrow\infty}\dfrac{-3}{4(2x+1)}=0\) ce qui prouve que la droite \( y=\dfrac{1}{2}x-\dfrac{1}{4}\) est une asymptote oblique.

Déterminer une asymptote oblique

Intéressons nous de plus près aux asymptotes obliques. Dans l'exemple précédent, l'asymptote a été donné. La seule chose à vérifier c'est que la différence tendait bien vers 0. Nous allons ici détailler la méthode permettant de déterminer l'équation d'une asymptote oblique. On notera simplement \( \infty\) pour les calculs de limite sans préciser \( +\) ou \( -\) , les résultat étant les même.

Théorème


Si
\( \lim{x\rightarrow\infty}\dfrac{f(x)}{x}=a\) alors
Si
\( \lim{x\rightarrow\infty}f(x)-ax=b\) alors la droite \( y=ax+b\) est une asymptote oblique

Sinon
la courbe n'admet pas de droite asymptote oblique.

Sinon
la courbe n'admet pas de droite asymptote oblique.
Reprenons l'exemple précédent avec la fonction \( f(x)=\dfrac{x^2-1}{2x+1}\) . La première étape est de calculer la limite de \( \dfrac{f(x)}{x}\) . \[\dfrac{f(x)}{x}=\dfrac{\dfrac{x^2-1}{2x+1}}{x}=\dfrac{x^2-1}{2x^2+x}\] Et \( \lim{x\rightarrow\infty}\dfrac{f(x)}{x}=\lim{x\rightarrow\infty}\dfrac{x^2-1}{2x^2+x}=\dfrac{1}{2}\) . La seconde étape consiste à calculer la limite de \( f(x)-ax\) \[f(x)-\dfrac{1}{2}x=\dfrac{x^2-1}{2x+1}-\dfrac{1}{2}x=\dfrac{2(x^2-1)-x(2x+1)}{2(2x+1)}=\dfrac{2x^2-2-2x^2-x}{4x+2}=\dfrac{-2-x}{4x+2}\] Et \( \lim{x\rightarrow\infty}f(x)-\dfrac{1}{2}x=\lim{x\rightarrow\infty}\dfrac{-2-x}{4x+2}=-\dfrac{1}{4}\) ce qui prouve que \( y=\dfrac{1}{2}x-\dfrac{1}{4}\) est une asymptote oblique à la courbe représentative de \( f\) .

Des asymptotes qui ne sont pas des droites

Cette partie est hors programme Être asymptote c'est être comme la courbe mais en plus simple. Dans l'exemple précédent la fonction "difficile" \( f(x)=\dfrac{x^2-1}{2x+1}\) va se comporter en l'infini comme la droite \( y=\dfrac{1}{2}x-\dfrac{1}{4}\) . Il est possible que ça ne soit pas des droites mais d'autre type de courbes (dans l'idéal plus simple). La définition reste la même.

Définition


\( \bullet\)
On dira qu'une courbe \( \mathcal{C}_g\) d'une fonction \( g\) est asymptote en \( -\infty\) si \( \lim{x\rightarrow-\infty}f(x)-g(x)=0\) .

\( \bullet\)
On dira qu'une courbe \( \mathcal{C}_g\) d'une fonction \( g\) est asymptote en \( +\infty\) si \( \lim{x\rightarrow+\infty}f(x)-g(x)=0\) .
Prenons par exemple la fonction \( f(x)=\dfrac{x^3}{x-1}\) et montrons \( g(x)=x^2+x+1\) est une parabole asymptote. \begin{eqnarray*} f(x)-g(x) &=&\dfrac{x^3}{x-1}-(x^2+x+1)\\ &=&\dfrac{x^3}{x-1}-\dfrac{(x-1)(x^2+x+1)}{x-1}\\ &=&\dfrac{x^3}{x-1}-\dfrac{x^3-1}{x-1}\\ &=&\dfrac{x^3-x^3+1}{x-1}\\ &=&\dfrac{1}{x-1} \end{eqnarray*} Ainsi \( \lim{x\rightarrow\infty}f(x)-g(x)=\lim{x\rightarrow\infty}\dfrac{1}{x-1}=0\)