>>312
余弦定理
a(b^2+c^2-a^2)/(2bc)+b(c^2+a^2-b^2)/(2ca)=c(a^2+b^2-c^2)/(2ab)
a^2(b^2+c^2-a^2)+b^2(c^2+a^2-b^2)=c^2(a^2+b^2-c^2)
a^2(b^2-a^2)+b^2(a^2-b^2)=-c^4
-a^4-b^4+2a^2b^2=-c^4
-(a^2-b^2)^2=-c^4
(a^2-b^2)^2-c^4=0
(a^2-b^2+c^2)(a^2-b^2-c^2)=0