公式の導出はPCサイトを参照のこと。
( tanx ) ′ = ( sinx cosx ) ′ = ( sinx ) ′ cosx−sinx ( cosx ) ′ ( cosx ) 2 = cosxcosx−sinx( −sinx ) ( cosx ) 2 = cos 2 x+ sin 2 x cos 2 x = 1 cos 2 x