三角形不等式保证三个被开方数为正。由于 (a+b−c)+(c+a−b)=2a(a+b-c)+(c+a-b)=2a(a+b−c)+(c+a−b)=2a,对 x=a+b−cx=a+b-cx=a+b−c、y=c+a−by=c+a-by=c+a−b 应用引理即得 a\sqrt aa 的所示估计。