四边形不等式

zcmimi at 
四边形不等式定义对于任意$a_1\le a_2<b_1\le b_2$,满足$m[a_1,b_1]+m[a_2,b_2]\le m[a_1,b_2]+m[a_2,b_1]$那么$m[i,j]$满足四边形不等式要证明$m[i,j]$满足四边形不等式可以用打表或数……