a∈(0,π/2)时,
tana-cota=sina/cosa-cosa/sina
=(sina+cosa)(sina-cosa)/(sinacosa)
因为sina>0,cosa>0,
若使cota0,这与已知sina0,cota