哈达玛不等式差值与标准公式推导过程