Bonjour, à la place de la définition "classique" de la dérivée d'une fonction en x0 comme la limite en x0 de f(x)-f(x0) / x-x0 , peut-on dire qu'une fonction f est dérivable en x0 si f est localement monotone en x0 ? C'est à dire si il existe un epsilon tel que pour tout x appartenant à x0-epsilon, x0+epsilon, f est soit croissante soit décroissante.
Cette définition me semble plus naturelle mais est-elle rigoureusement identique à l'"officielle"
-----