Beruflich Dokumente
Kultur Dokumente
Exercices corrigs
Sont abords dans cette fiche : (cliquez sur lexercice pour un accs direct)
Avant de porter notre attention la correction des exercices, rappelons la dfinition dune fonction primitive
ainsi que les primitives des fonctions usuelles et les primitives de fonctions composes couramment
rencontres.
Dans ces formulaires, dsigne une constante relle et est une fonction drivable sur un intervalle.
Soit une fonction continue sur un intervalle [ ] avec . Une primitive de sur [ ] est, si elle
existe, une fonction drivable sur [ ] vrifiant sur [ ].
Si est une fonction continue sur [ ] et si est une primitive de sur [ ], alors, pour tout [ ]:
( ) [ ( )] ( ) ( )
Remarque : Dans une intgrale, la fonction qui est intgre est appele intgrande.
( )
( )
Rappel : Conservation de lordre par intgration (ordre et intgrale / intgration dune ingalit)
Soient et deux fonctions continues sur un intervalle [ ] avec . Alors, pour tout rel [ ]:
( ) ( ) ( ) ( )
Remarques :
On dit que lintgrale conserve lordre. La rciproque nest pas vraie.
La fonction est continue sur et lintgrale conserve lordre donc, pour tout rel [ ], il vient que :
( ) ( ) [ ] ( ) [ ]
( ) ( ) ( ) ( )
La fonction est continue sur et lintgrale conserve lordre donc, pour tout rel [ ], il vient que :
( ) ( ) ( ) [ ] ( ) [ ]
[ ] ( ) [ ] ( ) ( ) ( )
3) En dduire un encadrement de .
1)
La fonction est une fonction affine de taux daccroissement positif donc elle est croissante sur .
Par consquent, pour tout rel [ ], il vient que , soit .
De plus, la fonction inverse est dcroissante sur et en particulier sur [ ]. Il sensuit que, pour tout rel
2)
La fonction est une fonction homographique dfinie sur . Elle est donc continue sur [ ].
En outre, lintgrale conserve lordre donc, pour tout rel [ ], il vient que :
[ ] [ ]
3)
Pour tout rel [ ], . Par consquent, daprs ce qui prcde, il vient que :
( )
( )
[( )] ( ) ( ) ( )
( )
( )
1)
Soit un rel tel que . Alors, en multipliant par , il vient que . De plus, la fonction
oppose tant dcroissante sur , il vient que . Enfin, comme la fonction exponentielle est
croissante et positive sur , pour tout rel tel que , il rsulte que .
2)
Soit un rel . Si est une fonction continue sur un intervalle [ ] avec , alors :
( ) ( )
La fonction est la compose dune fonction polynme par la fonction exponentielle, toutes deux
continues sur , donc la fonction est continue sur et en particulier sur [ [. De mme, la
fonction est continue sur comme tant la compose dune fonction affine par la fonction
exponentielle, toutes deux continues sur . En outre, lintgrale conserve lordre donc, pour tout rel , il
vient que :
( ) ( )
[] ( )
( )
1) Encadrons ( ) sur [ ].
( )
La fonction est dfinie sur [ ] par ( ) . Or, cette fonction est une fonction rationnelle donc elle
( )
( ) ( ) ( ) ( )
( )
( )
( )
( ) ( ) ( )
( )
part ( ) donc ( ) .
La fonction est drivable sur [ ] donc continue sur cet intervalle. De plus, la fonction racine carre est
continue sur donc en particulier sur [ ]. Par consquent, la fonction ( ) est continue sur [ ].
( ) ( )
( ) ( )
[ ] ( ) [ ] [ ] ( ) [ ]
( ) ( ) ( ) ( )
Montrer que, pour tout entier naturel et pour tout rel positif , on a : Rappel : Factorielle dun
entier naturel
( )
On vrifie que On suppose que On vrifie alors que On conclut que, pour tout
( ) est vraie ( ) est vraie ( ) est vraie entier naturel ,
( ) est vraie
Initialisation :
Dune part,
Dautre part, la fonction exponentielle est continue et strictement croissante sur donc, pour tout rel ,
. Or, comme , il vient que .
Hrdit :
Or, la fonction est la fonction exponentielle donc elle est continue sur . La fonction est
une fonction polynme de degr (somme de monmes) donc elle est continue sur . De plus, lintgrale
conserve lordre donc, en intgrant sur [ ], il vient que :
[ ]
( ( ) ( )) ( ) ( )
[ ] [ ]
( )
[ ] ( )
( ) ( ) ( ) ( )
On en dduit que ( ) est vraie. On vient donc de montrer que si ( ) est vraie, alors ( ) est vraie ;
la proposition est hrditaire.
La proposition est initialise au rang 0 et hrditaire donc, pour tout et pour tout , on a :
Remarques :
1) Dans cet exercice, on vient de minorer la fonction exponentielle par une fonction polynme de degr .
De ce rsultat, on peut dduire la limite en de la fonction exponentielle en utilisant le thorme de
comparaison en . En loccurrence, .
Soient deux rels et . Si et sont deux fonctions continues sur un intervalle [ ] avec , alors :
( ( ) ( )) ( ) ( ) ( ) ( )
On considre la suite numrique ( ) dfinie pour tout entier naturel non nul par :
( )
2) Comparer et .
3) Exprimer en fonction de .
4) Montrer que la suite ( ) est majore par un rel.
5) Que peut-on en conclure pour la suite ( ) ?
( ) ( ) ( ) ( ) ( ) ( )
( )
Comme , la suite ( ) est croissante pour tout entier naturel non nul.
( )
3) Exprimons en fonction de .
Dterminons une primitive de la fonction ( ). Les primitives de cette fonction sont les fonctions
( ) avec , et rels. De telles fonctions sont drivables sur comme tant la somme
du rel et du produit dune fonction affine par la compose de la fonction oppose par la fonction
exponentielle.
( ) [ ( )] ( ) ( ) ( )
Or, pour tout entier naturel non nul, et donc ( ) . Par consquent,
( ) , cest--dire .
5) Concluons.
La premire question a permis dtablir que, pour tout entier naturel non nul, la suite ( ) est croissante. En
outre, daprs la question prcdente, cette suite est majore par le rel .