研究性学习是数学教学中一种重要的教学方式,通过考虑两个线性映射的值域与核之间的关系,得到了Sylvester不等式和Frobenius不等式的证明,并且给出这两个不等式中等号成立的充分必要条件,为研究性学习提供了一个教学案例.