Identity For Derivative of Dot Product of a Curve With Cross Product of First and Second Derivatives
Theorem
If
is a curve with paprameter
then
Proof
The left hand side can be expanded to give
The first term on the right above is zero since
is perpendicular to
and so
Hence
but
so