On Sat, 31 Jan 2004 18:54:38 +0100, "FDH" wrote:
[color=green]
>> |ff"|> et faire une ipp
>> intde o à X de f'2=f(X)f'(X)-f(0)f'(0)-inte de 0 à X de ff">
>J'avais pensé à ça, mais que fait-on de f(X)f'(X) ?
>Il suffit de montrer que c'est borné...
>...là je ne vois pas
>
>Peut-être qu'on peut utiliser le fait que f ' est uniformément continue (car
>f ''^2 est intégrable) ?
>[/color]
je le prend par l'absurde (mais bon il y a peut être moyen de le faire
en direct)
si l'intégrale de f'^2 est pas cv en +inf
vu le résultat de l'ipp et la cv de l'integ de ff"
lim en +inf de f(X)f'(X)=+inf
donc int de ff' div en +inf
vu qu'une pri de ff' est f^2/2
on en déduit que lim en +ind de f^2(X) est +inf
donc l'intég de f^2 div , donc contradiction avec l'hypo
*****************
Pichereau Alain
adresse mail antispam : ôter antispam, les 3 lettres devant wana et bien sûr le .invalid
http://perso.wanadoo.fr/alain.pichereau/( olympiades mathématiques 1ère S )
*****************