A derivation of the decomposition formula follows from the Frenet formulas
and
if they are written as
and
Differentiating, with respect to , the first of these, gives
By the chain rule, the second term on the right becomes
Hence, becomes
which, upon replacing with , and dropping the explicit display of the independent variable on the right, becomes the desired result .