这种一般是“配对儿”。 tan t * cot t =1, 所以 ln (tan t * cot t) = 0, 所以 ln (a tant) + ln (a cot t) = 2 ln a. 注意到 cot t = tan (π/2 - t), 而现在的积分区间是(0, π/2), 所以 Int[ ln (a cot t) ] = Int [ ln (a tan t) ] = 1/2 (Int [ ln (a tan t) + ln (a cot t) , 0, π/2] ) = 1/2 * 2 ln a * π /2 = π ln a /2,
所以原式答案是 π ln a /(2a)
对t的积分限应该是从0到pi/2
不用换元直接积分不行啊