文章目录 P117 例⑨ 证明 Sylvester秩不等式 证明 在介绍这个有人冠名的不等式之前,还需要介绍另一个无名氏不等式 P117 例⑨ A s × n , B l × m , C s × m A_{s×n},B_{l×m},C_{s×m}