三角形の不等式により3つの根号内は正である。(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 に適用すると a\sqrt aa の表示が得られる。 y=c+a−by=c+a-by=c+a−b