n個の関数(変数x): f_i(x) = e^(a_i*x) (i=1...n) (i≠j なら a_i ≠ a_j)
が一次独立である事の証明方法を教えてください。
ロンスキアンを考えれば、 det(A)≠0 (A[i,j]=(a_i)^j)
を示せばOKと見当がついたのですがその先が分かりません。
もちろん別方向からの解答でも構いません。