三角不等式より 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 と書ける。