bonsoir,
regardons d'abord le prolongement par continuité en

on pose:
 = \lim_{x \rightarrow 0^+} \, f(x)=\lim_{x \rightarrow 0^-} \, f(x))
et
=f(x))
ailleurs.
(si les deux limites sont égales).
Dans ce cas , le prolongement

est continue
en zéro.
Ensuite si le quotient:
}{x})
a une limite quand

, le prolongement est dérivable.
D'après le thm des accroissements finis, une condition
suffisante pour qu'il en soit ainsi est l'existence et l'égalité des deux limites:
=\lim_{x \rightarrow 0^-} f '(x))
Une condition nécéssaire et suffisante pour que f admette un prolongement
en

est le critère de Cauchy local:
-f(x')|< \epsilon)
En effet, la condition est nécéssaire car le prolongement doit être uniformément continu sur un voisinage compact de zéro.
La condition est suffisante , car si deux suites
)
et
)
tendent vers zéro, leurs images sont des suites convergentes,
de même limite car on peut mixer les deux suites. (argument subtil)
et donc toutes les suites de points tendant vers zéro donneront le même prolongement.
cordialement,