权方和不等式简单公式？有形式证明