I=ϕ−1∫02π1−ϕ−1cos2xxdx=ϕ−1∫02πx(k=0∑∞(ϕ−1cos2x)k)dx=ϕ−1k=0∑∞ϕ−k∫02πxcos2kxdx
King Property から ∫02πxcos2kxdx=π∫02πcos2kxdx が言えるので,
I=πϕ−1k=0∑∞ϕ−k∫02πcos2kxdx=π∫02πϕ−cos2xdx=4π∫02πϕ−cos2xdx=4π∫0∞ϕ2t2+1ϕdt(cos2x=t)=4π[arctan(ϕt)]0∞=2π2
ζ(2) と関係ありそうですが,どう関係しているのか判らなかったので,ご存じでしたら教えてください。
補足
余計な級数展開などしていますが初めから King Property を使えばよかったですね……