∫（上面x,下面0）f(t)dt=lncosx
对x求导
f(x)=(1/cosx)*(cosx)'=-sinx/cosx=-tanx
所以f'(x)=(-tanx)'=-sec²x