I) Continuité en un point et sur un intervalle
🧩 Activité
Soit ( C f ) (C_f) ( C f ) la courbe représentative dans un repère orthonormé ( O , i ⃗ , j ⃗ ) (O,\vec{i}, \vec{j}) ( O , i , j ) d’une fonction f f f :
Que remarquez-vous sur la courbe ( C f ) (C_f) ( C f ) au point d’abscisse x 0 = − 1 x_0=-1 x 0 = − 1 , de même au point d’abscisse x 0 = 4 x_0=4 x 0 = 4 ?
a. Déterminer f ( 4 ) f(4) f ( 4 ) et lim x → 4 f ( x ) \lim\limits_{x\to4} f(x) x → 4 lim f ( x )
b. Déterminer f ( − 1 ) f(-1) f ( − 1 ) , puis étudier la limite de f f f en − 1 -1 − 1
✔️ Correction
Au point d’abscisse x 0 = − 1 x_0=-1 x 0 = − 1 on voit qu’il y a une « coupure » dans le graphe de f f f , par contre au point d’abscisse x 0 = 4 x_0=4 x 0 = 4 on voit qu’il n’y a pas de « coupure » dans le graphe de f f f .
a.
f ( 4 ) = 6 f(4)=6 f ( 4 ) = 6
lim x → 4 f ( x ) = 6 \lim\limits_{x\to4}f(x)=6 x → 4 lim f ( x ) = 6
b.
f ( − 1 ) = 1 f(-1)=1 f ( − 1 ) = 1
lim x → − 1 + f ( x ) = 1 \lim\limits_{x\to-1^+}f(x)=1 x → − 1 + lim f ( x ) = 1
lim x → − 1 − f ( x ) = 2 \lim\limits_{x\to-1^-}f(x)=2 x → − 1 − lim f ( x ) = 2
Comme lim x → − 1 + f ( x ) ≠ lim x → − 1 − f ( x ) \lim\limits_{x\to-1^+}f(x)\ne\lim\limits_{x\to-1^-}f(x) x → − 1 + lim f ( x ) = x → − 1 − lim f ( x ) ,
alors f f f n’a pas de limite au point d’abscisse x 0 = − 1 x_0=-1 x 0 = − 1
1) La continuité en un point
Dans toute la suite : f f f une fonction numérique définie sur un intervalle ouvert I I I et x 0 x_0 x 0 un élément de I I I
🔍 Définition
On dit qu’une fonction f f f est continue au point x 0 x_0 x 0 si
lim x → x 0 f ( x ) = f ( x 0 ) \boxed{\lim_{x \rightarrow x_0} f(x) = f(x_0)} x → x 0 lim f ( x ) = f ( x 0 )
🌟Exemples
i) Soit la fonction f f f définie par :
f ( x ) = { x 2 − 1 x − 1 si x ≠ 1 2 si x = 1 f(x)=
\begin{cases}
\dfrac{x^2-1}{x-1} & \text{si } x \ne 1 \\
2 & \text{si } x = 1
\end{cases} f ( x ) = ⎩ ⎨ ⎧ x − 1 x 2 − 1 2 si x = 1 si x = 1
On a
lim x → 1 f ( x ) = lim x → 1 x 2 − 1 x − 1 = lim x → 1 ( x − 1 ) ( x + 1 ) x − 1 = lim x → 1 ( x + 1 ) = 1 + 1 = 2 \begin{align*}
\lim_{x \rightarrow 1} f(x) &= \lim_{x \rightarrow 1} \dfrac{x^2 - 1}{x - 1} \\&= \lim_{x \rightarrow 1} \dfrac{(x-1)(x+1)}{x-1} \\&= \lim_{x \rightarrow 1} (x+1) \\&= 1+1 = 2
\end{align*} x → 1 lim f ( x ) = x → 1 lim x − 1 x 2 − 1 = x → 1 lim x − 1 ( x − 1 ) ( x + 1 ) = x → 1 lim ( x + 1 ) = 1 + 1 = 2
Donc
lim x → 1 f ( x ) = f ( 1 ) \lim_{x \rightarrow 1} f(x) = f(1) x → 1 lim f ( x ) = f ( 1 )
Par suite : la fonction f f f est continue en 1 1 1 .
ii) Soit la fonction g g g définie par :
g ( x ) = { sin ( x ) 2 x si x ≠ 0 1 si x = 0 g(x)=
\begin{cases}
\dfrac{\sin(x)}{2x} & \text{si } x \ne 0 \\
1 & \text{si } x = 0
\end{cases} g ( x ) = ⎩ ⎨ ⎧ 2 x sin ( x ) 1 si x = 0 si x = 0
On a
lim x → 0 g ( x ) = lim x → 0 sin ( x ) 2 x = 1 2 ⋅ lim x → 0 sin ( x ) x = 1 2 ⋅ 1 = 1 2 \begin{align*}
\lim_{x \rightarrow 0} g(x) &= \lim_{x \rightarrow 0} \dfrac{\sin(x)}{2x} \\
&= \dfrac{1}{2} \cdot \lim_{x \rightarrow 0} \dfrac{\sin(x)}{x} \\
&= \dfrac{1}{2} \cdot 1 \\
&= \dfrac{1}{2}
\end{align*} x → 0 lim g ( x ) = x → 0 lim 2 x sin ( x ) = 2 1 ⋅ x → 0 lim x sin ( x ) = 2 1 ⋅ 1 = 2 1
Donc
lim x → 0 g ( x ) ≠ g ( 0 ) \lim_{x \rightarrow 0} g(x) \ne g(0) x → 0 lim g ( x ) = g ( 0 )
Par suite : la fonction g g g n’est pas continue en 0 0 0 .
🔍 Définition
i) Si f f f est définie sur I = [ x 0 ; x 0 + α [ I = [x_0 \, ; \, x_0 + \alpha[ I = [ x 0 ; x 0 + α [ ,
on dit que f f f est continue à droite en x 0 x_0 x 0 si
lim x → x 0 x > x 0 f ( x ) = f ( x 0 ) \boxed{\lim_{\substack{x \to x_0 \\ x > x_0}} f(x) = f(x_0)} x → x 0 x > x 0 lim f ( x ) = f ( x 0 )
ii) Si f f f est définie sur I = ] x 0 − α ; x 0 ] I = ]x_0 - \alpha \, ; \, x_0] I = ] x 0 − α ; x 0 ] ,
on dit que f f f est continue à gauche en x 0 x_0 x 0 si
lim x → x 0 x < x 0 f ( x ) = f ( x 0 ) \boxed{\lim_{\substack{x \to x_0 \\ x < x_0}} f(x) = f(x_0)} x → x 0 x < x 0 lim f ( x ) = f ( x 0 )
🔸 Proposition
On dit que f f f est continue au point x 0 x_0 x 0 si et seulement si
lim x → x 0 x < x 0 f ( x ) = lim x → x 0 x > x 0 f ( x ) = f ( x 0 ) \lim_{\substack{x \to x_0 \\ x < x_0}} f(x) = \lim_{\substack{x \to x_0 \\ x > x_0}} f(x) = f(x_0) x → x 0 x < x 0 lim f ( x ) = x → x 0 x > x 0 lim f ( x ) = f ( x 0 )
🌟Exemples
1. Considérons la fonction f f f définie par :
f ( x ) = { x + 1 si x < 1 − x + 3 si x > 1 2 si x = 1 f(x)=
\begin{cases}
x+1 & \text{si } x < 1 \\
-x+3 & \text{si } x > 1 \\
2 & \text{si } x = 1
\end{cases} f ( x ) = ⎩ ⎨ ⎧ x + 1 − x + 3 2 si x < 1 si x > 1 si x = 1
lim x → 1 x < 1 f ( x ) = lim x → 1 x < 1 ( x + 1 ) = 2 \lim_{\substack{x \to 1 \\ x < 1}} f(x) = \lim_{\substack{x \to 1 \\ x < 1}} (x+1) = 2 lim x → 1 x < 1 f ( x ) = lim x → 1 x < 1 ( x + 1 ) = 2
Donc lim x → 1 − f ( x ) = f ( 1 ) \lim_{x \to 1^-} f(x) = f(1) lim x → 1 − f ( x ) = f ( 1 ) , la fonction est continue à gauche en 1 1 1 .
lim x → 1 x > 1 f ( x ) = lim x → 1 x > 1 ( − x + 3 ) = 2 \lim_{\substack{x \to 1 \\ x > 1}} f(x) = \lim_{\substack{x \to 1 \\ x > 1}} (-x+3) = 2 lim x → 1 x > 1 f ( x ) = lim x → 1 x > 1 ( − x + 3 ) = 2
Donc lim x → 1 + f ( x ) = f ( 1 ) \lim_{x \to 1^+} f(x) = f(1) lim x → 1 + f ( x ) = f ( 1 ) , la fonction est continue à droite en 1 1 1 .
lim x → 1 − f ( x ) = lim x → 1 + f ( x ) = f ( 1 ) \lim_{x \to 1^-} f(x) = \lim_{x \to 1^+} f(x) = f(1) x → 1 − lim f ( x ) = x → 1 + lim f ( x ) = f ( 1 )
la fonction f f f est continue en 1 1 1 .
2. Dans l’activité 1, on a :
lim x → − 1 x > − 1 f ( x ) = 1 et lim x → − 1 x < − 1 f ( x ) = 2 \lim_{\substack{x \to -1 \\ x > -1}} f(x) = 1 \quad \text{et} \quad \lim_{\substack{x \to -1 \\ x < -1}} f(x) = 2 x → − 1 x > − 1 lim f ( x ) = 1 et x → − 1 x < − 1 lim f ( x ) = 2
donc f f f n’est pas continue en − 1 -1 − 1 .
2) La continuité sur un intervalle
🔍 Définition
On dit que f f f est continue sur un intervalle ouvert I I I , si elle est continue en tout point x 0 x_0 x 0 de I I I .
On dit que f f f est continue sur [ a , b ] [a, b] [ a , b ] , si elle est continue sur ] a , b [ ]a, b[ ] a , b [ , continue à droite en a a a , et continue à gauche en b b b .
On dit que f f f est continue sur [ a , b [ [a, b[ [ a , b [ , si elle est continue sur ] a , b [ ]a, b[ ] a , b [ , et continue à droite en a a a .
On dit que f f f est continue sur ] a , b ] ]a, b] ] a , b ] , si elle est continue sur ] a , b [ ]a, b[ ] a , b [ , et continue à gauche en b b b .
On dit que f f f est continue sur ] − ∞ , b ] ]-\infty, b] ] − ∞ , b ] , si elle est continue sur ] − ∞ , b [ ]-\infty, b[ ] − ∞ , b [ , et continue à gauche en b b b .
On dit que f f f est continue sur [ a , + ∞ [ [a, +\infty[ [ a , + ∞ [ , si elle est continue sur ] a , + ∞ [ ]a, +\infty[ ] a , + ∞ [ , et continue à droite en a a a .
🔸 Proposition : Continuité des fonctions usuelles
Toute fonction polynômiale est continue sur R \mathbb{R} R .
Toute fonction rationnelle est continue sur un intervalle inclus dans son domaine de définition.
Les fonctions x ↦ sin ( x ) et x ↦ cos ( x ) x \mapsto \sin(x) \quad \text{et} \quad x \mapsto \cos(x) x ↦ sin ( x ) et x ↦ cos ( x ) sont continues sur R \mathbb{R} R .
La fonction x ↦ tan ( x ) x \mapsto \tan(x) x ↦ tan ( x ) est continue sur R ∖ { π 2 + k π ; k ∈ Z } \mathbb{R} \setminus \left\{ \frac{\pi}{2} + k\pi \ ;\ k \in \mathbb{Z} \right\} R ∖ { 2 π + kπ ; k ∈ Z }
La fonction x ↦ x x \mapsto \sqrt{x} x ↦ x est continue sur [ 0 , + ∞ [ [0, +\infty[ [ 0 , + ∞ [ .
🌟 Exemple
i) La fonction f : x ↦ x 3 + 3 x 2 − 4 x + 7 f : x \mapsto x^3 + 3x^2 - 4x + 7 f : x ↦ x 3 + 3 x 2 − 4 x + 7
est continue sur R \mathbb{R} R parce qu’elle est une fonction polynômiale.
ii) La fonction g : x ↦ x 2 + x + 1 x − 2 g : x \mapsto \frac{x^2 + x + 1}{x - 2} g : x ↦ x − 2 x 2 + x + 1
le domaine de définition de g g g et D g = R ∖ { − 2 } D_g=\mathbb{R} \setminus \{-2\} D g = R ∖ { − 2 }
Donc g g g est continue sur ] 2 , + ∞ [ ]2, +\infty[ ] 2 , + ∞ [ parce qu’elle est une fonction rationnelle, et ] 2 , + ∞ [ ⊂ R ∖ { − 2 } ]2, +\infty[ \subset \mathbb{R} \setminus \{-2\} ] 2 , + ∞ [ ⊂ R ∖ { − 2 }
L’image d’un intervalle, d’un segment par une fonction continue
🔷 Propriété
L’image d’un segment par une fonction continue est un segment.
L’image d’un intervalle par une fonction continue est un intervalle.
💡 Remarque
Si f f f est continue sur un segment [ a , b ] [a,\ b] [ a , b ] et M M M et m m m sont respectivement le maximum et le minimum de f f f sur [ a , b ] [a,\ b] [ a , b ] , alors :
f ( [ a , b ] ) = [ m , M ] f([a,\ b]) = [m, M] f ([ a , b ]) = [ m , M ]
🌟 Exemple
On donne ci-dessous la courbe d’une fonction f f f définie sur l’intervalle [ − 2 , 4 ] [-2,\ 4] [ − 2 , 4 ] :
Déterminer l’image des intervalles suivants : [ − 2 , 3 ] [-2,3] [ − 2 , 3 ] , [ 0 , 1 ] \left[0,1\right] [ 0 , 1 ] , et [ − 2 , 4 ] [-2,4] [ − 2 , 4 ] par f f f .
✔️ Correction
On remarque que la fonction f f f est continue sur [ − 2 , 4 ] \left[-2,\ 4\right] [ − 2 , 4 ] .
Image de l’intervalle [ − 2 , 3 ] [-2,3] [ − 2 , 3 ] :
f ( 1 ) = − 2 f(1) = -2 f ( 1 ) = − 2 est la valeur minimale de f f f sur [ − 2 , 3 ] [-2,3] [ − 2 , 3 ]
f ( − 1 ) = 1 f(-1) = 1 f ( − 1 ) = 1 est la valeur maximale de f f f sur [ − 2 , 3 ] [-2,3] [ − 2 , 3 ]
Donc :
f ( [ − 2 , 3 ] ) = [ − 2 , 1 ] f([-2,3]) = [-2,1] f ([ − 2 , 3 ]) = [ − 2 , 1 ]
Image de l’intervalle [ 0 , 1 ] [0,1] [ 0 , 1 ] :
f ( 1 ) = − 2 f(1) = -2 f ( 1 ) = − 2 est la valeur minimale de f f f sur [ 0 , 1 ] [0,1] [ 0 , 1 ]
f ( 0 ) = 0 f(0) = 0 f ( 0 ) = 0 est la valeur maximale de f f f sur [ 0 , 1 ] [0,1] [ 0 , 1 ]
Donc :
f ( [ 0 , 1 ] ) = [ − 2 , 0 ] f([0,1]) = [-2,0] f ([ 0 , 1 ]) = [ − 2 , 0 ]
Image de l’intervalle [ − 2 , 4 ] [-2,4] [ − 2 , 4 ] :
f ( 1 ) = − 2 f(1) = -2 f ( 1 ) = − 2 est la valeur minimale de f f f sur [ − 2 , 4 ] [-2,4] [ − 2 , 4 ]
f ( − 1 ) = 1 f(-1) = 1 f ( − 1 ) = 1 est la valeur maximale de f f f sur [ − 2 , 4 ] [-2,4] [ − 2 , 4 ]
Donc :
f ( [ − 2 , 4 ] ) = [ − 2 , 1 ] f([-2,4]) = [-2,1] f ([ − 2 , 4 ]) = [ − 2 , 1 ]
🔷 Propriété
Soit f f f une fonction continue et strictement monotone sur un intervalle I I I .
Dans ce tableau, a a a et b b b sont deux réels avec a < b a < b a < b .
Intervalle I I I
f f f strictement croissante
f f f strictement décroissante
[ a , b ] [a,b] [ a , b ]
[ f ( a ) , f ( b ) ] [f(a), f(b)] [ f ( a ) , f ( b )]
[ f ( b ) , f ( a ) ] [f(b), f(a)] [ f ( b ) , f ( a )]
[ a , b [ [a,b[ [ a , b [
[ f ( a ) , lim x → b − f ( x ) [ \left[f(a), \lim\limits_{x\to b^-} f(x)\right[ [ f ( a ) , x → b − lim f ( x ) [
] lim x → b − f ( x ) , f ( a ) ] \left]\lim\limits_{x\to b^-} f(x), f(a)\right] ] x → b − lim f ( x ) , f ( a ) ]
] a , b ] ]a,b] ] a , b ]
] lim x → a + f ( x ) , f ( b ) ] \left]\lim\limits_{x\to a^+} f(x), f(b)\right] ] x → a + lim f ( x ) , f ( b ) ]
[ f ( b ) , lim x → a + f ( x ) [ \left[f(b), \lim\limits_{x\to a^+} f(x)\right[ [ f ( b ) , x → a + lim f ( x ) [
] a , b [ ]a,b[ ] a , b [
] lim x → a + f ( x ) , lim x → b − f ( x ) [ \left]\lim\limits_{x\to a^+} f(x), \lim\limits_{x\to b^-} f(x)\right[ ] x → a + lim f ( x ) , x → b − lim f ( x ) [
] lim x → b − f ( x ) , lim x → a + f ( x ) [ \left]\lim\limits_{x\to b^-} f(x), \lim\limits_{x\to a^+} f(x)\right[ ] x → b − lim f ( x ) , x → a + lim f ( x ) [
[ a , + ∞ [ [a,+\infty[ [ a , + ∞ [
[ f ( a ) , lim x → + ∞ f ( x ) [ \left[f(a), \lim\limits_{x\to +\infty} f(x)\right[ [ f ( a ) , x → + ∞ lim f ( x ) [
] lim x → + ∞ f ( x ) , f ( a ) ] \left]\lim\limits_{x\to +\infty} f(x), f(a)\right] ] x → + ∞ lim f ( x ) , f ( a ) ]
] a , + ∞ [ ]a,+\infty[ ] a , + ∞ [
] lim x → a + f ( x ) , lim x → + ∞ f ( x ) [ \left]\lim\limits_{x\to a^+} f(x), \lim\limits_{x\to +\infty} f(x)\right[ ] x → a + lim f ( x ) , x → + ∞ lim f ( x ) [
] lim x → + ∞ f ( x ) , lim x → a + f ( x ) [ \left]\lim\limits_{x\to +\infty} f(x), \lim\limits_{x\to a^+} f(x)\right[ ] x → + ∞ lim f ( x ) , x → a + lim f ( x ) [
] − ∞ , b ] ]-\infty,b] ] − ∞ , b ]
] lim x → − ∞ f ( x ) , f ( b ) ] \left]\lim\limits_{x\to -\infty} f(x), f(b)\right] ] x → − ∞ lim f ( x ) , f ( b ) ]
[ f ( b ) , lim x → − ∞ f ( x ) [ \left[f(b), \lim\limits_{x\to -\infty} f(x)\right[ [ f ( b ) , x → − ∞ lim f ( x ) [
] − ∞ , b [ ]-\infty,b[ ] − ∞ , b [
] lim x → − ∞ f ( x ) , lim x → b − f ( x ) [ \left]\lim\limits_{x\to -\infty} f(x), \lim\limits_{x\to b^-} f(x)\right[ ] x → − ∞ lim f ( x ) , x → b − lim f ( x ) [
] lim x → b − f ( x ) , lim x → − ∞ f ( x ) [ \left]\lim\limits_{x\to b^-} f(x), \lim\limits_{x\to -\infty} f(x)\right[ ] x → b − lim f ( x ) , x → − ∞ lim f ( x ) [
] − ∞ , + ∞ [ ]-\infty,+\infty[ ] − ∞ , + ∞ [
] lim x → − ∞ f ( x ) , lim x → + ∞ f ( x ) [ \left]\lim\limits_{x\to -\infty} f(x), \lim\limits_{x\to +\infty} f(x)\right[ ] x → − ∞ lim f ( x ) , x → + ∞ lim f ( x ) [
] lim x → + ∞ f ( x ) , lim x → − ∞ f ( x ) [ \left]\lim\limits_{x\to +\infty} f(x), \lim\limits_{x\to -\infty} f(x)\right[ ] x → + ∞ lim f ( x ) , x → − ∞ lim f ( x ) [
🌟 Exemple
On considère la fonction f f f définie sur R \mathbb{R} R par :
f ( x ) = x 2 − 4 x − 1 f(x) = x^2 - 4x - 1 f ( x ) = x 2 − 4 x − 1
Son tableau de variations est :
Déterminer l’image des intervalles suivants : ] − ∞ , 2 ] ]-\infty, 2] ] − ∞ , 2 ] , [ 2 , + ∞ [ [2,+\infty[ [ 2 , + ∞ [ et ] − 1 , 1 ] ]−1,1] ] − 1 , 1 ] .
✔️ Correction
La fonction f f f est continue sur R \mathbb{R} R car c’est une fonction polynôme.
f f f est strictement décroissante sur ] − ∞ , 2 ] ]-\infty,\ 2] ] − ∞ , 2 ] , donc :
f ( ] − ∞ , 2 ] ) = [ f ( 2 ) , lim x → − ∞ f ( x ) [ = [ − 5 , + ∞ [ f(]-\infty,2]) = [f(2), \lim_{x \to -\infty} f(x)[ = [-5, +\infty[ f ( ] − ∞ , 2 ]) = [ f ( 2 ) , x → − ∞ lim f ( x ) [ = [ − 5 , + ∞ [
f f f est strictement croissante sur [ 2 , + ∞ [ [2, +\infty[ [ 2 , + ∞ [ , donc :
f ( [ 2 , + ∞ [ ) = [ f ( 2 ) , lim x → + ∞ f ( x ) [ = [ − 5 , + ∞ [ f([2, +\infty[) = [f(2), \lim_{x \to +\infty} f(x)[ = [-5, +\infty[ f ([ 2 , + ∞ [ ) = [ f ( 2 ) , x → + ∞ lim f ( x ) [ = [ − 5 , + ∞ [
f f f est strictement décroissante sur ] − 1 , 1 ] ]-1, 1] ] − 1 , 1 ] , donc :
f ( ] − 1 , 1 ] ) = [ f ( 1 ) , lim x → − 1 + f ( x ) [ = [ − 4 , 4 [ f(]-1, 1]) = [f(1), \lim_{x \to -1^+} f(x)[ = [-4, 4[ f ( ] − 1 , 1 ]) = [ f ( 1 ) , x → − 1 + lim f ( x ) [ = [ − 4 , 4 [
3) Opérations sur les fonctions continues
🔸 Proposition
Soient I I I un intervalle ouvert et k k k un réel,
et f f f et g g g deux fonctions continues sur I I I :
i) Les fonctions f + g f+g f + g , f ⋅ g f \cdot g f ⋅ g , ∣ f ∣ |f| ∣ f ∣ et k f kf k f sont continues sur I I I .
ii) Si g g g est non nulle sur I I I , alors 1 g \frac{1}{g} g 1 et f g \frac{f}{g} g f sont continues sur I I I .
🌟 Exemple
i) La fonction f : x ↦ 3 x 4 + x 2 + 1 + x f : x \mapsto 3x^4 + x^2 + 1 + \sqrt{x} f : x ↦ 3 x 4 + x 2 + 1 + x est continue sur [ 0 ; + ∞ [ [0 ; +\infty[ [ 0 ; + ∞ [ en tant que somme de deux fonctions continues sur [ 0 ; + ∞ [ [0 ; +\infty[ [ 0 ; + ∞ [ , qui sont x ↦ 3 x 4 + x 2 + 1 x \mapsto 3x^4 + x^2 + 1 x ↦ 3 x 4 + x 2 + 1 et x ↦ x x \mapsto \sqrt{x} x ↦ x .
ii) La fonction f : x ↦ ( x 2 + 1 ) sin ( x ) f : x \mapsto (x^2 + 1)\sin(x) f : x ↦ ( x 2 + 1 ) sin ( x ) est continue sur R \mathbb{R} R en tant que produit de deux fonctions continues sur R \mathbb{R} R , qui sont x ↦ x 2 + 1 x \mapsto x^2 + 1 x ↦ x 2 + 1 et x ↦ sin ( x ) x \mapsto \sin(x) x ↦ sin ( x ) .
📏 Théorème : Continuité de la composée de deux fonctions
Si f f f est une fonction continue en x 0 x_0 x 0 et si g g g est une fonction continue en f ( x 0 ) f(x_0) f ( x 0 ) , alors la fonction g ∘ f g \circ f g ∘ f est continue en x 0 x_0 x 0 .
🔸 Proposition
Soient f f f et g g g deux fonctions.
Si f f f est continue sur I I I et si g g g est continue sur f ( I ) f(I) f ( I ) ,
alors la fonction g ∘ f g \circ f g ∘ f est continue sur I I I .
📌 Théorème
Si u u u est une fonction continue sur I I I
et si pour tout x ∈ I x \in I x ∈ I on a u ( x ) ≥ 0 u(x) \ge 0 u ( x ) ≥ 0 ,
alors la fonction u \sqrt{u} u est continue sur I I I .
🌟 Exemple
La fonction f f f définie par f ( x ) = − x 2 + 4 f(x) = \sqrt{-x^2 + 4} f ( x ) = − x 2 + 4
est continue sur l’intervalle [ − 2 , 2 ] [-2, 2] [ − 2 , 2 ] .
On a que la fonction x ↦ − x 2 + 4 x \mapsto -x^2 + 4 x ↦ − x 2 + 4 est continue sur [ − 2 , 2 ] [-2, 2] [ − 2 , 2 ] (car fonction polynôme).
Pour tout x ∈ [ − 2 , 2 ] x \in [-2, 2] x ∈ [ − 2 , 2 ] , on a − x 2 + 4 ≥ 0 -x^2 + 4 \ge 0 − x 2 + 4 ≥ 0 .
D’où la fonction f f f est continue sur [ − 2 , 2 ] [-2, 2] [ − 2 , 2 ] .