求证tana/2=sina/1+cosa=1-cosa/sina