"Gabriel Kerneis" a écrit dans le message de
news:
418743c3$0$3208$626a14ce@news.free.fr...
> Bonjour,
>
> O.L. a écrit :[color=green]
> > Je ne sais pas ... voilà ce que j'ai :
> > " Etudier la fonction F(x)=f(tan(x)) " avec f'(x)=1/(1+x²)
> > Et donc si on cherche la dérivée de F(x), on obtient 1.
> > Note : on sait aussi que f(0)=0, et dans des questions précédentes on a
> > du démontrer que f était impaire,>
> Jusque là je suis tout à fait d'accord (quoique pas très réveillé)...
>
> > et trouver sa limite en +l'infini (~ 1.57 de mémoire).>
> Mais là il y a comme un sérieux problème non ? (parce que bon,
> l'identité elle tend vers +oo, pas vers 1.57)
> Alors soit c'est moi qui suis à côté de la plaque, soit tu peux
> reprendre la question sur la limite (à moins que l'identité ne soit pas
> la bonne/l'unique solution mais ton raisonnement m'a l'air correct).[/color]
FAUT se réveiller !!!!! Ce jeune homme est en train de découvrir les joies
de l'Arctangente, c'est tout, dont la limite en +oo est Pi/2.
En passant par la fonction F, il montre que F(x)=f(tan x) est telle que
F'(x)=1 et F(0)=f(tan 0)=f(0)=0
La fonction F est donc affine et avec les conditions F'(x)=1 et F(0)=0, on a
F(x)=x donc F=Id.
On a donc montré que F(x) = (f o tan)(x) = x, et c'est là qu'on peut dire
que les fonctions f et tan sont réciproques (comme par exemple exp et ln,
sin et arcsin, x² et sqrt(x) pour x positif...)
La fonction f n'est donc autre que l'arctan (ou tan^(-1)). Le fait que lim
Arctan(x) = Pi/2, s'explique par le fait que lim (x->(Pi/2)- ) tan(x) = +oo.
En espérant t'avoir aidé..