Ist es Richtig, dass die Betragsfunktion in x=0 nicht differenzierbar ist,
Ja. Das folgt aus der Tatsache, dass der linksseitige Grenzwert des Differenzenquotienten ungleich dem rechtsseitigen Grenzwert des Differenzenquotienten ist.
aber |x|2 schon?
Ja.
muss man dies noch nachrechnen?
Ja. Das x↦∣x∣2 bei 0 differenzierbar ist, folgt aus
∣x∣2={x2(−x)2falls x≥0falls x<0={x2(−1⋅x)2falls x≥0falls x<0={x2(−1)2⋅x2falls x≥0falls x<0={x21⋅x2falls x≥0falls x<0={x2x2falls x≥0falls x<0=x2
und der Tatsache, dass x↦x2 bei 0 differenzierbar ist.