请教各位这两个高等数学定积分公式是怎么推出来的？

华莱士公式。。
高数上有完整的推导过程，你哪一步看不懂？？？

I. 原式=∫(1-sinx)/[cosx(1-sinx)(1+sinx)]dx
=∫(1-sinx)/(cosx)^3
=∫(secx)^3-∫sinx/(cosx)^3dx
∫sec³xdx=
∫secxdtanx=
secxtanx-∫tanxdsecx
=secxtanx-∫secxtan²xdx
=secxtanx-∫secx(sec²x-1)dx
=secxtanx-∫sec³xdx+∫secxdx
=secxtanx-∫sec³xdx+ln|secx+tanx|
则∫sec³xdx=1/2secxtanx+1/2ln|secx+tanx|+C
∫sinx/(cosx)^3dx= -∫1/(cosx)^3dxd(cosx)=1/[3(cosx)^2]+C
所以，原式=1/2secxtanx+1/2ln|secx+tanx|+1/[3(cosx)^2]+C
II. 分子分母同除以(sinx)^2
原式=∫(1/(sinx)^2)/(1+cotanx) dx
=-∫1/(1+cotanx) d(cotanx)
=-ln|1+cotanx|+C