1/2 ln|(1+sinx)/(1-sinx)|
=1/2ln|(1+sinx)²/cos²x|
=ln|(1+sinx)/cosx|
=ln|1/cosx+sinx/cosx|
=ln|secx+tanx|
得证