由三角不等式，x=(a+b−c)/2x=(a+b-c)/2x=(a+b−c)/2、y=(a+c−b)/2y=(a+c-b)/2y=(a+c−b)/2、z=(b+c−a)/2z=(b+c-a)/2z=(b+c−a)/2 为正。因此可令 a=x+ya=x+ya=x+y、b=x+zb=x+zb=x+z、c=y+zc=y+zc=y+z。