当且仅当即充要
θ为第一或第四象限
则sinθ>0,tanθ>0或sinθ<0,tanθ<0
所以sinθ/tanθ>0
而sinθ/tanθ>0
sinθ/(sinθ//cosθ)>0
cosθ>0
所以θ为第一或第四象限
命题得证