a[(a²+c²-b²)/2ac]=b[(b²+c²-a²)/2bc]
(a²+c²-b²)/2c=(b²+c²-a²)/2c 两边同时乘以2c得
a²+c²-b²=b²+c²-a²
a²+c²-b²-b²-c²+a²=0
2a²-2b²=0
a²-b²=0