Bonsoir, j'ai travaillé un oral de centrale MP (pour ceux qui sont intéressés c'est celui de 2006) mais je ne suis pas convaincu de ma démonstration qui je pense n'est pas suffisamment rigoureuse.
Enoncé : f est une fonction continue définie de R+ dans R telle que dt (réel non nul) montrer qu'il existent , non nuls tels que : f(x) /x^() en +.
remarque : désigne la relation d'équivalence pour les fonctions.
Notons F la primitive de f² qui s'annule en 0. La primitive d'une fonction continue sur R+ étant dérivable, on montre que pour un certain fixé, que , pour x dans un voisinage de . Pour x+ (et donc w aussi ) , et par continuité de f² ( f² (x)f² (w) ) , on déduit que : , (car F(x) est borné dans un voisinage de l'infinie : le terme en F(w) s'annule car O(1))* et en multipliant alors les deux membres par f(x), on a finalement aboutir à or x-w=o(x) d'où la conclusion.
*: f et F ont même nature de convergence, cela se montre par la définition et le théorème de la moyenne, donc si au moins une est divergente l'autre l'est autant est le produit dans ce cas diverge aussi d'où contradiction.