Coxeter积分计算
\begin{align*}
&\int_0^{\frac{\pi}{3}}{\arccos \left( \frac{1-\cos x}{\text{2}\cos x} \right) dx}=\int_0^{\frac{\pi}{3}}{\text{2}\arctan \sqrt{\frac{\text{3}\cos x-1}{\cos x+1}}dx}
\\
&=\int_0^{\pi}{\text{4}\arctan \sqrt{\frac{\text{3}\cos 2y-1}{\cos 2y+1}}dy}\quad \left( x=2y \right)
\\
&=\int_0^{\frac{\pi}{6}}{\text{4}\arctan \left( \frac{\sqrt{1-\text{3}\sin ^2y}}{\cos y} \right) dy}=\int_0^{\frac{\pi}{6}}{4\left[ \frac{\pi}{2}-\arctan \left( \frac{\cos y}{\sqrt{1-\text{3}\sin ^2y}} \right) \right] dy}
\\
&=\frac{\pi ^2}{3}-4\int_0^{\frac{\pi}{6}}{\arctan \left( \frac{\cos y}{\sqrt{1-\text{3}\sin ^2y}} \right) dy}
\\
&=\frac{\pi ^2}{3}-4\int_0^{\frac{\pi}{6}}{\int_0^1{\frac{\cos y}{\sqrt{1-\text{3}\sin ^2y}}\frac{dt}{1-\left( \frac{1-\sin ^2y}{1-\text{3}\sin ^2y} \right) t^2}dy}}
\\
&=\frac{\pi ^2}{3}-\int_0^{\frac{\pi}{6}}{\int_0^1{\frac{\text{4}\cos y\sqrt{1-\text{3}\sin ^2y}dt}{\left( 1-\text{3}\sin ^2y \right) +\left( 1-\sin ^2y \right) t^2}dy}}
\\
&=\frac{\pi ^2}{3}-\int_0^{\frac{\pi}{3}}{\int_0^1{\frac{4\sqrt{3}\cos ^2wdt}{\text{3}\cos ^2w+\left( 2+\cos ^2w \right) t^2}dw}}\quad \left( \sin w=\sqrt{3}\sin y \right)
\\
&=\frac{\pi ^2}{3}-\int_0^{\frac{\pi}{3}}{\int_0^1{\frac{4\sqrt{3}\sec ^2wdt}{\left[ \left( 3+3t^2 \right) +2t^2\tan ^2w \right] \left( 1+\tan ^2w \right)}dw}}
\\
&=\frac{\pi ^2}{3}-\int_0^{\sqrt{3}}{\int_0^1{\frac{4\sqrt{3}dtds}{\left[ \left( 3+3t^2 \right) +2t^2s^2 \right] \left( 1+s^2 \right)}}}\ \ \left( s=\tan w \right)
\\
&=\frac{\pi ^2}{3}-\int_0^{\sqrt{3}}{\int_0^1{\frac{4\sqrt{3}}{t^2+3}\left( \frac{1}{1+s^2}-\frac{2t^2}{\left( 3t^2+3 \right) +2t^2s^2} \right) dtds}}
\\
&=\frac{\pi ^2}{3}-\int_0^1{\frac{4\sqrt{3}}{t^2+3}\left[ \frac{\pi}{3}-\sqrt{\frac{2t^2}{3t^2+3}}\arctan \left( \sqrt{\frac{2t^2}{t^2+1}} \right) \right] dt}
\\
&=\frac{\pi ^2}{9}+4\sqrt{2}\int_0^1{\frac{t}{\left( t^2+3 \right) \sqrt{t^2+1}}\arctan \left( \frac{t\sqrt{2}}{\sqrt{t^2+1}} \right) dt}
\\
&=\frac{\pi ^2}{9}+\left[ \text{4}\tan ^{-1}\left( \frac{\sqrt{t^2+1}}{\sqrt{2}} \right) \tan ^{-1}\left( \frac{t\sqrt{2}}{\sqrt{t^2+1}} \right) \right] _{0}^{1}-4\sqrt{2}\int_0^1{\frac{1}{\left( 3t^2+1 \right) \sqrt{t^2+1}}}\tan ^{-1}\left( \frac{\sqrt{t^2+1}}{\sqrt{2}} \right) dt
\\
&=\frac{13\pi ^2}{36}-4\sqrt{2}\int_0^1{\frac{1}{\left( 3t^2+1 \right) \sqrt{t^2+1}}\tan ^{-1}\left( \frac{\sqrt{t^2+1}}{\sqrt{2}} \right) dt}
\\
&=\frac{5\pi ^2}{36}-\int_0^1{\frac{4}{3t^2+1}\int_0^1{\frac{1}{1+\left( \frac{t^2+1}{2} \right) u^2}}dudt}
\\
&=\frac{13\pi ^2}{36}-4\int_0^1{\int_0^1{\frac{1}{u^2+3}\left[ \frac{1}{t^2+\frac{1}{3}}-\frac{1}{t^2+\frac{u^2+2}{u^2}} \right] dudt}}
\\
&=\frac{5\pi ^2}{36}+4\int_0^1{\frac{u}{\left( u^2+3 \right) \sqrt{u^2+2}}\tan ^{-1}\left( \frac{u}{\sqrt{u^2+2}} \right) du}
\\
&=\frac{5\pi ^2}{36}+4\left[ \tan ^{-1}\sqrt{u^2+2}\tan ^{-1}\left( \frac{u}{\sqrt{u^2+2}} \right) \right] _{0}^{1}-4\int_0^1{\frac{\tan ^{-1}\sqrt{u^2+2}}{\left( u^2+1 \right) \sqrt{u^2+2}}du}
\\
&=\frac{13\pi ^2}{36}-4\int_0^1{\frac{\tan ^{-1}\sqrt{u^2+2}}{\left( u^2+1 \right) \sqrt{u^2+2}}du}=\frac{13\pi ^2}{36}-\frac{5\pi ^2}{24}=\frac{11\pi ^2}{72}.
\end{align*}
最新文章
- MFC动态创建菜单
- IPC----消息队列
- PHP程序员 新人求职 平台
- HDU 5835 Danganronpa(弹丸论破)
- Linkclump – 批量打开多个链接[Chrome]
- Maven的配置文件pom.xml
- 24种设计模式--桥梁模式【Bridge Pattern】
- Emoji表情处理
- 破解Inode客户端使用笔记本共享WIFI
- HDU5409---CRB and Graph 2015多校 双联通分量缩点
- memcached命令和配置
- 常用JS工具包
- Linux下select的用法--实现一个简单的回射服务器程序
- Eclipse安装Gradle插件
- UBUNTU14.0.4安装eclipse
- Percona Toolkit mysql辅助利器
- 计算机基础-Ghost克隆
- excel2010的使用笔记
- [Umbraco] 熟悉管理页面
- 《MySQL技术内幕:InnoDB存储引擎(第2版)》书摘