∫10cos−1(1−x21+x2)
x=tanθ
dx=sec2θ⋅dθ
∫π40cos−1(cos2θ)cos2θdθ
∫π402θsec2θdθ=2∫π40θsec2θdθ
2[θtanθ+log|cosθ|]π40
2[(π4−0)+log(1√2)]
π2−2log(√2)=π2−22log(2)
=π2−log2