求证(1-tan^a)^=(sec^a-2tana)(sec^a+2tana).