Oui, H est un autre exemple de fonction dérivable à droite (mais pas à gauche) mais pas dérivable tout court. La différence avec f, c'est que f n'est pas définie à gauche, donc on ne se pose pas la question de savoir si les dérivées de chaque côté coïncident...
Je suis maintenant convaincu que, en effet, on ne doit pas dire que f est dérivable en 0, juste que f est dérivable à droite en 0. Bon, c'est une question de vocabulaire, il faut juste vérifier la définition. Dans cet exercice, l'important était de constater que c'était dérivable à droite, ce qui n'était pas évident puisqu'il s'agissait d'un prolongement par continuité.
Pour la défintion, voir par exemple la deuxième page de ce cours
http://bkristof.free.fr/coursexercices/Cours%20-%20Derivabilite.pdf. Mais il n'aborde pas la question (est-ce que "dérivable à droite", c'est dérivable ?). Je pense qu'en fait personne ne se la pose (je ne me la suis jamais posée) parce que lorsqu'on étudie une fonction dérivable d'un seul côté, on dit "dérivable à gauche (ou droite)" et c'est tout.
En fait on a vu dans cette discussion trois cas possibles (avec problème en 0) :
- La fonction valeur absolue (j'y ai fais allusion plus haut) : elle est dérivable à gauche et à droite mais les dérivées ne coïncident pas, donc elle n'est pas dérivable tout court.
- La fonction H : elle est dérivable à droite mais pas à gauche (la limite du taux d'accroissement est infinie), donc elle n'est pas dérivable tout court.
- La fonction f : elle est dérivable à droite mais pas définie à gauche, donc elle n'est pas dérivable tout court.