例題 - ベクトルの微分

Question;
ベクトル関数 A(t) の長さが一定ならば、その微分との内積; A・A' = 0 、すなわち、A と A' は直交することを示せ。

Solution;