\cdotok, say I were to take grad of lhs, I need to apply chain rule since f(α(t))
so..
df/dt = (df/dα)(dα/dt)
I recognise (dα/dt) as [tex]\dot{\alpha}[/tex], which leads me to
df/dt = (df/dα)([tex]\dot{\alpha}[/tex])
Also, since [tex]\alpha[/tex] has components [tex]\alpha[/tex]1, [tex]\alpha[/tex]2, [tex]\alpha[/tex]3, ..., [tex]\alpha[/tex]n+1
df/dα = ([tex]\partial[/tex]f/d[tex]\alpha[/tex]1, [tex]\partial[/tex]f/d[tex]\alpha[/tex]2, ...,[tex]\partial[/tex]f/d[tex]\alpha[/tex]n+1) which I recognise is [tex]\nabla[/tex]f(α(t)),
this df/dt = [tex]\nabla[/tex]f(α(t)) [tex]\cdot[/tex] [tex]\dot{\alpha}[/tex] which is what I wanted.
I hope I'm correct up to here and it isn't too messy to show with the latex...
But as you said before, the question states, if and only if, which means I have to show both ways. Puzzled as to how to do the reverse way...