设Φ（t）为方程x’=Ax（A为n×n常数矩阵）的标准基解矩阵（即Φ（0）=E）。证明：Φ（t）Φ-1（t0）=Φ（t-t0），其中t0为某一值。

证：对于方程y’=-AT（t）y的任一解y=ψ（t）必有ψT（t）φ（t）=常数。

证：Ψ（t）为方程y’=-ATy的基解矩阵的充要条件是存在非奇异的常数矩阵C，使ΨT（t）Φ（t）=C。

试求原方程组满足初值条件x1（0）=0，x’1（0）=1，x2（0）=0的解。

如果x1（t），x2（t），…，xn（t）是（*）的任意n个解，那么它们的朗斯基行列式W[x1（t），x2（t），…，xn（t）]≡W（t）满足下面的一阶线性微分方程：W’=[a11（t）+a22（t）+…+ann（t）]W。

试验证w（t）=c1u（t）+c2v（t）是方程组（*）的满足初值条件w（0）=的解。其中c1，c2是任意常数。

计算矩阵的指数函数eAt。

给定方程组：试验证分别是方程组（*）的满足初值条件的解。

假设A是n×n矩阵，试证：对任意的常数c1，c2都有exp（c1A+c2A）=exp（c1A）·exp（c2A）。

试验证是方程组在任何不包含原点的区间a≤t≤b上的基解矩阵。