求证:tana-1/tana=)1-2cos²a)/(sina*cosa)