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