Exercice - étude de fonction
Jean-Michel Sarlat (jm-sarlat@melusine.eu.org) - 26 avril 20031 | Énoncé | |
2 | Corrigé |
1 - Énoncé
2 - Corrigé
maxima >>
(C2) f(x):=(x*cosh(x)-sinh(x))/(cosh(x)-1);
1/ Un rapide calcul de tête nous indique que le numérateur et le dénominateur de l'expression sont d'ordre et en au voisinage de . Pour obtenir un développement limité à l'ordre en de il faut donc anticiper la simplification par et développer le numérateur et le dénominateur à l'ordre . Enfin, si on devait le faire à la main...
(C3) taylor(f(x),x,0,3);
La limite de est donc , il suffit de poser pour que soit continue en .
(C4) c:limit(f(x)/x,x,0);
2/ est dérivable en (ce que l'on pouvait déduire du développement précédent) et .
(C5) taylor(f(x)-c*x,x,0,3);
La différence est équivalente à au voisinage de , la courbe représentative de traverse donc sa tangente à l'origine, elle passe de dessous au dessus (point d'inflexion).
(C6) diff(f(x),x);
3/ Le signe de la dérivée n'est pas simple à déterminer sous cette forme, on factorise!
(C7) factor(%);
Là, les choses sont plus nettes. La quantité dont le signe n'est pas immédiat est , on a toutefois vite fait de se convaincre qu'elle est positive sur , en s'appuyant sur le signe de sa dérivée qui est manifestement positive. La fonction est croissante sur .
(C8) a:limit(f(x)/x,x,inf);
(C9) b:limit(f(x)-a*x,x,inf);
4/ Les deux calculs précédents prouvent l'existence d'une droite asymptote à , son équation est .
(C10) g(x):=f(x)-a*x-b;
(C11) exponentialize:true$
L'étude de la position de la courbe par rapport à son asymptote au voisinage de peut être faite en recherchant un équivalent de . Demander, comme cela, un développement de ne convient pas à maxima, c'est pourquoi on passe à l'écriture à l'aide d'exponentielles des fonctions et .
(C12) factor(g(x));
La factorisation de prépare le développement à suivre.
(C13) taylor(%,x,inf,1);
Un équivalent de au voisinage de est qui est positif. La courbe est donc au dessus de son asymptote vers .
Autres réalisations de ce document : index.pdf, index.ps.
Source index.txt mouliné par petitParseur(Z+B) le samedi 26 avril 2003.