弗罗贝尼乌斯不等式(Frobenius inequality)亦称西尔维斯特不等式，指矩阵乘积的秩与其因子的秩之间的重要关系式。
$r(A)+r(B)\le r(AB)+n$
如何证明线性代数中的西尔维斯特不等式？
