? ? 年第!期抚州师# %6;是 半正定二次型,即对任 意 7。7,恰是?42的第#行、第:列的元素,因而证得2?证先证必要性。若?2正定,则?2二&?2(,二2,?丁二2?。再证充分性,? 2已2?,因正定,故有正交矩阵使7。,0为实数,9#,“一3 .#6正定便有)465二6“ 6(。正定,因为对6的任 一特征极入,) 4幼92475二_ 7,_9,显然入9?时24劝9,当6正 定便有2465二7 ,当6正定, 465一6玩便正定。今考文献?李乔。拒 阵论八讲,上海科技出版 社北大代数小组编高等代数4第二版5