cos²(A/2)=(1+cosA)/2=(b+c)/2c
1+(b²+c²-a²)/2bc=(b+c)/c
两边乘2bc
2bc+b²+c²-a²=2b²+2bc
a²+b²=c²
直角三角形