\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*}

Coxeter积分计算的更多相关文章

  1. MCMC 、抽样算法与软件实现

    一.MCMC 简介 1. Monte Carlo 蒙特卡洛 蒙特卡洛方法(Monte Carlo)是一种通过特定分布下的随机数(或伪随机数)进行模拟的方法.典型的例子有蒲丰投针.定积分计算等等,其基础 ...

  2. OPEN CASCADE Multiple Variable Function

    OPEN CASCADE Multiple Variable Function eryar@163.com Abstract. Multiple variable function with grad ...

  3. OpenCASCADE Curve Length Calculation

    OpenCASCADE Curve Length Calculation eryar@163.com Abstract. The natural parametric equations of a c ...

  4. 关于opencv中人脸识别主函数的部分注释详解。

    近段时间在搞opencv的视频人脸识别,无奈自带的分类器的准确度,实在是不怎么样,但又能怎样呢?自己又研究不清楚各大类检测算法. 正所谓,功能是由函数完成的,于是自己便看cvHaarDetectObj ...

  5. 第1章 重构,第一个案例(3):运用多态取代switch

    3. 运用多态取代与价格相关的条件逻辑 3.1 switch和“常客积分”代码的再次搬迁 (1)switch:最好不要在另一个对象的属性上运用switch语句 switch(getMovie().ge ...

  6. 第1章 重构,第一个案例(2):分解并重组statement函数

    2. 分解并重组statement (1)提炼switch语句到独立函数(amountFor)和注意事项. ①先找出函数内的局部变量和参数:each和thisAmount,前者在switch语句内未被 ...

  7. 从Elo Rating System谈到层次分析法

    1. Elo Rating System Elo Rating System对于很多人来说比较陌生,根据wikipedia上的解释:Elo评分系统是一种用于计算对抗比赛(例如象棋对弈)中对手双方技能水 ...

  8. [转] - MC、MC、MCMC简述

    贝叶斯集锦(3):从MC.MC到MCMC 2013-07-31 23:03:39 #####一份草稿 贝叶斯计算基础 一.从MC.MC到MCMC 斯坦福统计学教授Persi Diaconis是一位传奇 ...

  9. nVIDIA SDK White Paper ----Vertex Texture Fetch Water

    http://blog.csdn.net/soilwork/article/details/713842 nVIDIA SDK White Paper ----Vertex Texture Fetch ...

随机推荐

  1. 前端之gojs插件的基本使用

    gojs是一个前端插件,可以通过代码动态的生成流程图,各自展示图 参考网址:https://gojs.net/latest/index.html 如果你想使用,需要先下载对应的文件 我们能用的到的其实 ...

  2. 简化MVVM属性设置和修改 - .NET CORE(C#) WPF开发

    微信公众号:Dotnet9,网站:Dotnet9,问题或建议:请网站留言, 如果对您有所帮助:欢迎赞赏. 简化MVVM属性设置和修改 - .NET CORE(C#) WPF开发 阅读导航 常用类属性设 ...

  3. 01.JS语法规范、变量与常量

    前言:    学习一门编程语言的基本步骤   (01)了解背景知识  (02)搭建开发环境  (03)语法规范  (04)常量和变量 2.JS的开发环境 (1)浏览器自带的JS解释器(js引擎) (2 ...

  4. Mac 下如何判断 WIFI 的极限传输速度还有信号强度?

    每当你加入一个无线网络后,按住Option键并点击屏幕右上角的Wi-Fi图标,就会发现除了平常的各种网络外,还出现了关于网络连接技术细节的列表. 比如说,如果想知道信号强度的信息,则需要尤其关注列表中 ...

  5. JS DOM创建节点

    DOM节点操作之增删改查 document.write() 可以向文档中添加节点 但是有个致命问题,会把文档原有的节点全部清空 因此不推荐使用 <!DOCTYPE html> <ht ...

  6. HTML表单概念、语法及创建表单,案例

    form 标签 Input标签的type属性值 单行文本域 <input type="text" /> 图像域(图像提交按钮) 下拉菜单和列表标签 select 标签属 ...

  7. Linux命令详解之–chmod命令

    在Linux中,一般使用chmod命令来修改文件的属性. 利用 chmod 可以藉以控制文件如何被他人所调用.此命令所有使用者都可使用. 一.Linux chmod命令语法Linux chmod 命令 ...

  8. LAMP搭建随笔

    前言 这是我第一次在写博客,里面记录了我配置LAMP遇到的各种各样的细节,也许表述不够准确,希望大佬给于批评指正 环境 OS Ubuntu server 18.04.3 远程连接软件 cmder 文件 ...

  9. opencv —— getTickCount、getTickFrequency 计时函数

    getTickCount 函数 返回 CPU 自某个事件(如启动电脑)以来走过的时钟周期数. getTickFrequency 函数 返回 CPU 一秒钟所走过的时钟周期数. 二者结合使用,可以用来计 ...

  10. 代数式到c语言表达式和常用的c语言数学库函数_pow_sqrt_exp_fabs_abs

    数学知识来源于生活,因此我们需要把相关的数学的知识在自己生活找到实例. #include "common.h" #include <stdio.h> #include ...