801の続き。(6行目は(与式)=∫[0,a]ydxの間違いでした)
a∫[0,π/4](y/cos^2y)dy
=a[ytany](y=0,π/4)-a∫[0,π/4]tanydy
=πa/4-a∫(siny/cosy)dy
=πa/4+a[log(cosy)](y=0,π/4)
=a(π/4+log(1/√2))
=a(π/4-(log2)/2)
あ、log2/2ってこういうことだったんですね
最後まで書いてようやく理解しました。788さん良い問題をありがとう