a↑=a(t)を一変数ベクトル関数とするとき
a↑×(da↑/dt)=０ ならばa↑/|a↑| は定ベクトルであることを示せ。

という証明問題のわかる方、教えてください。

※　da↑/dtは、a↑をtで微分したものです。