Ta có:
b2+c2−a22bc+c2+a2−b22ac+a2+b2−c22ab=1
⇔b2+c2−2bc−a22bc+c2+a2−2ca−b22ac+a2+b2+2ab−c22ab=0
⇔(b−c)2−a22bc+(c−a)2−b22ac+(a+b)2−c22ab=0
⇔(b−c−a)(b−c+a)2bc+(c−a−b)(c−a+b)2ac+(a+b−c)(a+b+c)2ab=0
⇔(a+b−c)[a(b−c−a)−b(c−a+b)+c(a+b+c)]2abc=0
⇔(a+b−c)[a(b−c−a)−b(−c−a+b)+c(a−b+c)]2abc=0
⇔(a+b−c)(a−b+c)(b+c−a)2abc=0
⇔[a+b=ca+c=bb+c=a
Với a+b=c, ta có:
b2+c2−a22bc=b2+c2−(b+c)22bc=−2bc2bc=−1
c2+a2−b22ac=c2+(b+c)2−b22(b+c)c=2c2+2bc2(b+c)c=1
a2+b2−c22ab=(b+c)2+b2−c22(b+c)c=2b2+2bc2(b+c)c=1
Với a+c=b hoặc b+c=a, tương tự.