四边形不等式算法证明