• 2022-06-01
    证明:一个[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]元实二次型可以分解成两个实系数1次齐次多项式的乘积当且仅当它的秩等于2,并且符号差为0, 或者它的秩等于1.
  • 提示:充分性,用规范形.必要性,设[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]元实二次型[tex=10.286x1.5]LECWMWwnGo6AkO2y35+CuemFXpsE621YkbeV3QNDHiPIH7ZuEwBCFp7FOuP8mF+NLsYJrq7YEkT9Wc7DjR0SKA==[/tex][tex=16.0x1.357]yb3xnd663Tne4qtI9Tcj0hKS3/wcj9xyhm63rEyOG6NH+pLK3OCcB7JwYjYP4E40ZQvlLJCFSEbU0SxpXnqA5cSozUH6mngLpZWnXh5wL+jrL+zmu2HnaGxVaSQ/t8ha[/tex].情形1:[tex=5.929x1.357]TASgeax8JPipKY1zvB3ZBmMEzx7q7j/UR1YZ6ry2qVtNVtHHNbkuqJsnNpZD/zq/[/tex]与[tex=5.643x1.357]Ew8ljGDDVpo6o4AlVy204DlIuHOvc/cWZATXis1LvWr9ijpFU+5moWQ74trF/pzK[/tex]线性相关.情形2:[tex=5.929x1.357]TASgeax8JPipKY1zvB3ZBmMEzx7q7j/UR1YZ6ry2qVtNVtHHNbkuqJsnNpZD/zq/[/tex]与[tex=5.643x1.357]Ew8ljGDDVpo6o4AlVy204DlIuHOvc/cWZATXis1LvWr9ijpFU+5moWQ74trF/pzK[/tex]线性无关,此时不妨设[tex=6.286x2.786]TIwZYBkNsy31H1RNd/OloEj1aIDPZ7BAhPHJacCmIWVq7BhIjS5gQb847lYoM5ZmTcwBHtQ8K73+L0U9fvwAqeKKJnde3YcdtiJY5jyHI7A7WAXn269CtKykjjehVZT1[/tex].

    内容

    • 0

      证明:[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]元实二次型[tex=3.0x1.214]A3Jq5GaKRudu4m0pc9HYKQ==[/tex]是半正定的充分必要条件为它的标准形中[tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex]个系数全非负.

    • 1

      秩为 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 的 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 元实二次型 [tex=0.5x1.214]gNOHIx2AGu3qP//Yn7oxrg==[/tex] 和 [tex=1.286x1.214]XLphJf0SvM0CmzwYL0VxCA==[/tex] 合同, 则 [tex=0.5x1.214]gNOHIx2AGu3qP//Yn7oxrg==[/tex] 的正惯性指数等于[input=type:blank,size:6][/input]

    • 2

      证明:秩等于[tex=0.5x0.786]Tg0I1PUwmDJ7uXa9+yiYMA==[/tex]的对称矩阵可以表成[tex=0.5x0.786]Tg0I1PUwmDJ7uXa9+yiYMA==[/tex]个秩等于 1 的对称矩阵之和。

    • 3

      证明:秩等于  [tex=0.5x0.786]c3XP7Nc5gbHP2NzYIVnjbg==[/tex]的对称矩阵可以表成[tex=0.571x1.0]C5fA+C2Kq7LRoadFKP5fTg==[/tex] 个秩等于  1  的对称 矩阵之和. 

    • 4

      证明: [tex=2.0x1.357]bhIid+utCyrxmES94DkZ5Q==[/tex] 中一个 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 次 [tex=3.214x1.357]3v8oITlFKdpOMseWKj2iV4GAQRAhLzmH+sXlhlPYXOU=[/tex] 多项式 [tex=1.857x1.357]bZ4KhrFbnCaidqbMGQZfww==[/tex] 能被它的导数整除的充分必要条件是它与一个一次因式的 [tex=0.643x0.786]/he/ol8BkDuTTL9yMPtH4Q==[/tex] 次幂相伴.