Hi kenne noch folgende Definition, kommt aus der mehrdimensionalen Analysis.
Eine Funktion ist in x0 total differenzierbar wenn es eine lineare Abbildung L gibt, s.d.
(1)f(x0+h)=f(x0)+Lh+r(h) gilt, mit h∣∣r(h)∣∣→0 für h→0
Wenn jetzt f eine konstante Funktion ist, kann man r=0 wählen, weil dann (1) gilt mit L=0
D.h. die Ableitung der konstanten Funktion ist 0, wie schon vorher in eindimensionalen Fall gezeigt.