A是n阶矩阵,a是向量,求证det(aA)=a^n×det(A)