你把tan x 化为 sin x / cos x
再把 sin x dx 化为d (cos x)
就有 积分号右边：1 / cos x d (cos x)
利用公式 可得你的结论