⇒formula_14则formula_15即formula_9formula_11formula_9而等号成立于判别式formula_19时也就是此时方程式有重根，故formula_8这两例可更一般化为赫尔德不等式。
矩阵不等式.设formula_24为列向量，则formula_25设formula_32为formula_33Hermite阵，且formula_34，则formula_35设formula_32为formul