证明了n阶齐次线性微分方程d^nx/dt^n＋a1（t）d^n-1x/dt^n-1＋…＋an-1（t）dx/dt＋an（t）x=0的Liouville公式W＇（t）=W（t0）e^-∫t0^lal（s）ds是一阶齐次线性微......