Absolute value at a simple zero

ID: absolute-value-at-a-simple-zero

Suppose a real function is differentiable at , with and . The derivative definition gives . The reverse triangle inequality then implies
Thus has unequal one-sided derivatives, on the right and on the left. More generally, multiplication by a function continuous at with gives right and left slopes and . This elementary expansion explains how a smooth oscillation can acquire infinitely many corners under the absolute value function, even after multiplication by a factor that makes it differentiable at an accumulation point.

New to topics? Read the docs here!