Hello,
i Think also that the vectors F and dF/dt are perpendicular if the square of the modulus do not change in time, i.e. something that in differential geometry can be interpretated as a mobile 2-D basis among a given curve a=a(t). And with the introduction of a third vector, let's call him n, perpendicular to both of them we have the so famous "Triedro di Frenet".
sorry for my bad english.
since the scalar product (,):VxV--->R is a bilinear form defined on a vector space and has value on the Real field numbers.
if we develop the calculus we obtain from a side:
\frac{d\vec{F}\vec{F}}{dt}=2 \vec{F}\frac{d\vec{F}}{dt}
but from the other side:
\vec{F}\vec{F}=|F|^{2}
and d/dt of this quantity is zero by hypothesis.
we can recognize de def. of perpendicularity of the two vec. F and dF/dt.
N.B.
i did'n use the dot for the scalar product
bye bye
Marco