齐次线性方程组同解的充要条件：零空间相同

齐次线性方程组ax=0与bx=0同解的充要条件是：矩阵a和矩阵b的零空间相同。

首先，对于任意一个矩阵A，它的零空间定义为所有使得Ax=0的向量x的集合。因此，如果两个矩阵a和b的零空间相同，那么它们所对应的线性方程组ax=0和bx=0就具有相同的解。

其次，我们可以使用线性代数中的一些基本定理来证明这一结论。根据矩阵的秩-零度定理，一个矩阵A的零度等于A的列数减去A的秩。因此，如果两个矩阵a和b的秩相同且列数相同，那么它们的零空间也相同。

另外，我们还可以利用矩阵的基本变换来证明这一结论。矩阵的基本变换包括交换矩阵的两行或两列、对矩阵的某一行或某一列乘以一个非零常数以及对矩阵的某一行或某一列加上另一行或另一列的若干倍。这些变换不会改变矩阵的零空间，因此如果两个矩阵a和b可以通过基本变换相互转化，那么它们的零空间也相同，从而它们的线性方程组ax=0和bx=0也同解。

综上所述，矩阵a和矩阵b的零空间相同是齐次线性方程组ax=0与bx=0同解的充要条件。这一结论在线性代数中具有广泛的应用，例如在矩阵求逆、线性变换和向量空间等方面都有重要的意义。