cos²(B/2)=(1+cosB)/2=(a+c)/2c
1+(a²+c²-b²)/2ac=(a+c)/c
两边乘2ac
2ac+a²+c²-b²=2a²+2ac
c²-b²=a²
所以是直角三角形