(b^2+c^2-a^2)/2bc+(a^2+c^2-b^2)/2ca +(a^2+b^2-c^2)/2ab=1
<=> (b^2+c^2-a^2)/2bc - 1 +(a^2+c^2-b^2)/2ca - 1 + (a^2+b^2-c^2)/2ab + 1 = 0
<=> a[ (b-c)² - a²] + b[ ( a-c)² -b²] + c[ (a+b)² - c²] = 0
<=> a( a+b-c)(b-a-c) + b( a+b-c)(a-b-c) + c(a+b-c)(a+b+c) = 0
<=> (a+b-c) [ c(a+b+c) -a(a+c-b) -...