cosa+cosb=0,sina+sinb=1 则cosa=cos(π-b)的证明过程