四边形不等式优化，有大部分结论的详细证明…