求证:(tanasina)/(tana-sina)=(1+cos)/sina