cosin=1/2(e^n+e^(-n))为什么,怎么证明