Bonjour,
J'ai un petit problème. En fait, j'ai fait dans un dm un résonnement dont le résultat me semble louche. Voici la chose :
On a f une fonction contiue sur R telle que pour tout réel x, f(x) appartient à [-1,1] et f(0)=0.
Je définis alors la suite (Vn) telle que pour tout entier n positif on a (pour x réel fixé) :
Vn = (2^n)/x * argth [ f(x / (2^n))].
Alors pour tout entier n positif on a, en posant y = f(x / (2^n)) :
Vn = (2^n)/x * 1/2 * ln [ (1+y) / (1-y) ]
= (2^(n-1))/x * ln [ (1+y) / (1-y) ]
= (2^(n-1))/x * ln (1+y) - (2^(n-1))/x * ln (1-y)
= [2^(n-1) * ln(1+y)] / x - [2^(n-1) * ln(1-y)] / x
= [ ln ((1+y)^(2^(n-1))) ] / x - [ ln ((1-y)^(2^(n-1))) ] / x
Or quand n tend vers l'infini :
x / (2^n) tend vers 0 donc y tend vers 0 (car f(0)=0 et f continue)
donc (1+y)^(2^(n-1)) tend vers 1, donc le logarithme tend vers 0.
de même on a ln ((1-y)^(2^(n-1))) tend vers 0
donc on arrive à Vn tend vers 0.
P-S : Excusez-moi pour l'écriture, je sais que c'est pas très simple à lire ...
Merci à tous les courageux qui voudront bien m'aider quand même (s'il n'y en a pas je comprendrais pourquoi ).
-----