由绝对值不等式得:
|a+b-2c| ≤ |a-c|+|b-c|,|b+c-2a| ≤ |b-a|+|c-a|,|c+a-2b| ≤ |c-b|+|a-b|.
由a-b,b-c,c-a都不为0,其中至少有两个符号相同.
不妨设a-b与b-c同号,则a-b与c-b反号,|c+a-2b| < |c-b|+|a-b|.
因此三个不等号至少有1个是严格的.
相加得|a+b-2c|+|b+c-2a|+|c+a-2b| < 2(|a-b|+|b-c|+|c-a|).
由|a-b|+|b-c|+|c-a| > 0,得(|a+b-2c|+|b+c-2a|+|c+a-2b|)/(|a-b|+|b-c|+|c-a|) < 2.
仍由绝对值不等式得:
|a+b-2c|+|b+c-2a| ≥ |3a-3c| = 3|c-a|,|b+c-2a|+|c+a-2b| ≥ 3|a-b|,|c+a-2b|+|a+b-2c| ≥ 3|b-c|.
相加即得2(|a+b-2c|+|b+c-2a|+|c+a-2b|) ≥ 3(|a-b|+|b-c|+|c-a|).
由|a-b|+|b-c|+|c-a| > 0,得(|a+b-2c|+|b+c-2a|+|c+a-2b|)/(|a-b|+|b-c|+|c-a|) ≥ 3/2.