定积分∫1/cosxdx如何积分(区间0到π/4)?答案给的最后结果是ln(√2+1),