用欧拉公式
cos z=[e^z+e^[-z]]/2,sin z=[e^z-e^[-z]]/2i
你把待证式左右两边的三角函数用上面的公式进行代换就出来了