−ln(cos1)
由原积分限,D={(x,y):0≤y≤1,y≤x≤1},即顶点为 (0,0),(1,0),(1,1) 的三角形。换序后为 0≤x≤1,0≤y≤x。由于 x→0limxtanx=1,补充定义后被积函数在闭三角形上连续,可交换积分次序。先积 y,区间长度 x 恰好约去分母:
这里 0≤x≤1<2π,故 cosx>0,可以去掉绝对值。