主对角线上全是 1 的上三角形矩阵称为幂玄上三角形矩阵. 设[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]是一个对称矩阵, [tex=0.643x1.0]iollMFTzm3iqFEHRyKQe1A==[/tex]为幂玄上三角形矩阵,即有: [tex=2.571x1.214]s10h1LAywFFP0ACUWpQegw==[/tex]与[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]的对立顺序主子式有相同的值，证明：如果对称矩阵的顺序主子式全不为零, 则存在一幂玄上三角形矩阵[tex=0.643x1.0]iollMFTzm3iqFEHRyKQe1A==[/tex], 使 [tex=2.571x1.214]K1hOHaJFllTcd/edNyuKTw==[/tex] 为对角形.
举一反三
- 主对角线上全是 1 的上三角形矩阵称为幂玄上三角形矩阵. 设[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]是一个对称矩阵, [tex=0.643x1.0]iollMFTzm3iqFEHRyKQe1A==[/tex]为幂玄上三角形矩阵,证明: [tex=2.571x1.214]s10h1LAywFFP0ACUWpQegw==[/tex]与[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]的对立顺序主子式有相同的值;
- 主对角线上全是１的上三角矩阵称为特殊上三角矩阵．证明：如果对称矩阵[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]的顺序主子式全不为零，那么一定有一个特殊上三角矩阵[tex=0.643x1.0]awBC2UvU2WxG45VihksPuw==[/tex]使[tex=2.286x1.143]vB636PfIaAtueeIhKgyEvg==[/tex] 成对角形；
- 主对角线上全是 1 的上三角矩阵称为特殊上三角矩阵。1) 设[tex=0.786x1.0]3akNjptD8YqOes80TdtIxQ==[/tex]是一对称矩阵，[tex=0.714x1.286]atrPPistVyxj7cY8rjePCQ==[/tex]为特殊上三角矩阵，而[tex=4.143x1.286]PLCRSlFW4Sk14mtWW+BKsBtFuqskgtDGydPc/trnFAc=[/tex]证明: [tex=0.786x1.0]3akNjptD8YqOes80TdtIxQ==[/tex]与[tex=0.786x1.0]a61fknG/BUErMmZSy5rpDQ==[/tex]的对应顺 序主子式有相同的值;2) 证明：如果对称矩阵[tex=0.786x1.0]3akNjptD8YqOes80TdtIxQ==[/tex]的顺序主子式全不为零，那么一定有一特殊上三角矩阵[tex=0.714x1.286]atrPPistVyxj7cY8rjePCQ==[/tex]使 [tex=2.429x1.286]zzZddfnZtoxVubsao6wtYVRM6est3wOdLSyR6cCaPlA=[/tex]成对角形3）利用以上结果证明：如果矩阵[tex=0.786x1.0]3akNjptD8YqOes80TdtIxQ==[/tex]的顺序主子式全大于零，则[tex=2.714x1.071]B6mWc2kDS8Yfse4NUbBmRWzjsRIeD32AE5fNLGKz4YU=[/tex]是正定二次型。
- 主对角线上全是１ 的上三角矩阵称为特殊上三角矩阵．１） 设[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]是一对称矩阵，[tex=0.643x1.0]awBC2UvU2WxG45VihksPuw==[/tex]为特殊上三角矩阵，而[tex=3.857x1.143]qPbOPa2llKVdw9JpP1uKuIR3ci6q7f1T05yD8ZrWl+k=[/tex]，证明：[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]与[tex=0.786x1.0]ri6gmnf1+J9dGqG5/1sV6A==[/tex]的对应顺序主子式有相同的值；2） 利用以上结果证明定理７的充分性．
- 证明下列关于 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 阶实对称矩阵 [tex=3.571x1.357]7K89EAiqbgRkVf5frr2x25+2ay1ha16/s2MrqtRX+/U=[/tex] 的命题等价:(1) [tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex] 是正定阵;(2) 存在主对角线上元素全等于 1 的上三角矩阵 [tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex], 使 [tex=4.214x1.143]rBiqGaSDVnQOpJm3gHRQduX6byHelpj3JKtBTHuEcoE=[/tex], 其中 [tex=0.857x1.0]PvQ1rNj9zmhWbdNmDhnQhA==[/tex] 是正定对角矩阵;(3) 存在主对角线上元素全为正的上三角矩阵 [tex=0.714x1.0]YiLkHgl7MlxE+QjUplQUKA==[/tex], 使 [tex=3.429x1.143]hxFWgRCv5aAQupvKU7mh2X67EnHzc+kizXjoVHgcPDY=[/tex]