2022年02月18日 Loyar的冲浪时刻

2022年02月18日 Loyar的冲浪时刻

此专栏系列记录了Loyar的数学冲浪日常，由yjds(lzy3.14@qq.com)整理，已通过Loyar本人同意，仅在CSDN发布，链接：https://blog.csdn.net/weixin_42772106/article/details/126036031

---

本文关键词：xsinx/(1+cos^2x) 0到π/2 定积分 xcos/(1+sin^2x)

---

——以下是正文 ——

求定积分

$${\int }_0^{\frac{\pi }{2}}\frac{x\sin x}{1+{\cos }^{2}x}\mathrm{d}x$$

Loyar的做法

评注

没有方法，全是技巧，需要注意的是：

1. 第五行到第六行省略了一个求极限的过程
   $$\begin{array}{rl}-{\mathrm{arsinh}\frac{1}{t}\mathrm{arsinh}t|}_0^1& =-{\mathrm{arsinh}}^{2}1+\underset{t\to 0}{\lim }\mathrm{arsinh}\frac{1}{t}\mathrm{arsinh}t\\ & =-{\ln }^2(1+\sqrt{2})+0\end{array}$$

2. 第九行，需先用区间再现公式将$${\int }_0^{\frac{\pi }{2}}\frac{\ln \frac{1+\sin u}{\cos u}}{\sin u}\mathrm{d}u$$转化为$${\int }_0^{\frac{\pi }{2}}\frac{\ln \frac{1+\cos u}{\sin u}}{\cos u}\mathrm{d}u$$，否则不利于后续计算。

3. 第十一行，需要求全体奇数的倒数平方和。
   首先我们求全体正整数倒数的平方和，这是著名的巴塞尔问题。如果使用常规的逐项求导逐项积分则最后将需要计算貌似积不出来的一个无穷积分$-{\int }_0^1\frac{\ln (1-x)}{x}\mathrm{d}x$。这里我们简单介绍欧拉提出的方法：将$f(x)=\frac{\sin x}{x}$幂级数展开后，带入$x=\sqrt{z}$ ，然后利用韦达定理，常数项为1时，根的倒数和等于一次项系数的相反数，就可以求出$$\sum _{k=1}^{\infty }\frac{1}{k^2}=\frac{{\pi }^2}{6}$$，所以$$\sum _{k=1}^{\infty }\frac{1}{(2k-1{)}^2}=\sum _{k=1}^{\infty }\frac{1}{k^2}-\sum _{k=1}^{\infty }\frac{1}{(2k{)}^2}=\frac{3}{4}\sum _{k=1}^{\infty }\frac{1}{k^2}=\frac{{\pi }^2}{8}$$。其他巴塞尔问题求解方法可以参考下面文章：
   知乎-正整数倒数的平方和（巴塞尔问题）
   知乎-为什么全体自然数平方的倒数和等于π^2/6？

结尾

与本题类似的题目还有$${\int }_0^{\pi }\frac{x\cos x}{1+{\sin }^{2}x}\mathrm{d}x$$
参考求解如下（来源于网络）