Généralités sur les fonctions numériques Soit f : ℝ → ℝ telle que f f est croissante tandis que f f f est strictement décroissante. Montrer que f est strictement décroissante.
Exercice 1
Soit x < y ∈ ℝ . f (x ) ≤ f (y ) ⇒ f f f (x ) ≤ f f f (y ) ⇒ y ≤ x car f f et croissante et f f f strictement décroissante. Par contraposée x < y ⇒ f (y ) < f (x ) et donc f est strictement décroissante. Etudier la parité de la fonction f définie par f (x ) = ln
Exercice 2
(
)
x 2 +1 + x .
∀x ∈ ℝ, x 2 + 1 > x 2 = x ≥ x donc f est définie sur ℝ , intervalle symétrique par rapport à 0. f (−x ) = ln
Exercice 3
(
x 2 + 1− x 2 = − ln x 2 + 1 − x = ln x 2 + 1 + x
)
(
)
x 2 + 1 + x = −f (x ) donc f est impaire.
On rappelle que pour tout x ∈ ℝ , on a sin x ≤ x . Montrer que la fonction x ֏ sin x est 1 lipschitzienne.
sin x − sin y = 2sin Exercice 4
x −y x −y x +y x −y cos ≤ 2 sin ≤2 = x − y donc sin est 1 lipschitzienne. 2 2 2 2
Soit f : ℝ → ℝ une fonction k lipschitzienne (avec k ∈ [0,1[ ) telle que f (0) = 0 . Soit a ∈ ℝ et (un ) la suite réelle déterminée par u 0 = a et ∀n ∈ ℕ, un +1 = f (un ) . Montrer que un → 0 .
Montrons par récurrence sur n ∈ ℕ : un ≤ k n a . Pour n = 0 : ok Supposons la propriété établie au rang n ≥ 0 .
un +1 = f (un ) − f (0) ≤ k un − 0 = k un ≤ k n +1 a . HR
Récurrence établie. Puisque k ∈ [0,1[ , k n → 0 et donc un → 0 . Exercice 5
Soit f : [0,1] → [ 0,1] une fonction croissante. Montrer que f admet un point fixe.
{x ∈ [0,1] / f (x ) ≥ x }
est non vide (0 y appartient) et est majoré (par 1).
On peut donc poser α = sup {x ∈ [0,1] / f (x ) ≥ x } .
∀x > α , on a f (x ) < x donc f (α ) ≤ f (x ) < x . D’où f (α ) ≤ α . (α majorant) ∀x < α , il existe t ∈ ]x , α ] tel que f (t ) ≥ t donc f (α ) ≥ f (t ) ≥ t ≥ x . D’où f (α ) ≥ α . ( α plus petit majorant). Finalement f (α ) = α . On peut aussi procéder par dichotomie.
Limites d’une fonction numérique Exercice 6
Déterminer les limites suivantes, lorsque celles-ci existent : a) lim x →0
1 + x − 1− x x
d) lim ln x .ln(ln x ) . x →1+
b) lim
x →+∞
x− x ln x + x 1x
e) lim (1 + x ) x →0
c) lim x x x →0+
f) lim x →1
1− x . arccos x