結果 : 1+tan^2x=sec^2x proof