>>545
対偶でも示せば
rankA<nとしてAを基本変形していく

>>546
必要なのは判別式と軸と条件の境界でのyの値