证明一个极限

TSC999

求证一个极限，如下图片。式中 \(a,  b\) 都是正数。



此问题来源见：  http://www.mathchina.com/bbs/for ... p;extra=#pid2449214

TSC999

数字验证如下：

1. a = 1.2; b = 2.23;
   
2. n = 1000000;
   
3. \!\(
   
4. \*UnderoverscriptBox[\(\[Sum]\), \(i = 2\), \(\(\ \)\(n\)\)]\(
   
5. \*SuperscriptBox[\((\(-1\))\), \(i - 1\)] ArcTan[
   
6. \*FractionBox[\(\(\ \)\(b\)\), \(b/a + \((i - 1)\)/n\)]]\)\)
   
7. -(1/2) ArcTan[a] - 1/2 ArcTan[(a b)/(a + b)]

复制代码

运行结果：
-0.769297
-0.769297

TSC999

主帖中的问题，等价于下面这个问题：



目前还没有找到证明方法。

【初等数学讨论】的版主 kuing  发现，上式左边:

当 n 以偶数趋向无穷大时等于 \(\frac{1}{2} arctan(a) - \frac{1}{2} arctan\frac{a b}{a+b}\);

当 n 以奇数趋向无穷大时等于\(\frac{1}{2} arctan(a) + \frac{1}{2} arctan\frac{a b}{a+b}\)。

经数字验证确实如此，因此上式以及主帖中的那个式子都没有极限。

TSC999

如果  \(n\)  只限于偶数，如何证明 3# 楼等式左边这个极限？

mathe

\(\sum_{k=0}^m(\tan^{-1}(\frac{b}{\frac ba+\frac{2k}{2m}})-\tan^{-1}(\frac{b}{\frac ba+\frac{2k+1}{2m}}))=\sum_{k=0}^m(\tan^{-1}(\frac{\frac b{2m}}{(\frac ba+\frac{2k}{2m})(\frac ba+\frac{2k+1}{2m})+b^2}))\)
需要注意的是其中分母\((\frac ba+\frac{2k}{2m})(\frac ba+\frac{2k+1}{2m})+b^2\)在\((\frac ba)^2+b^2\)和\((\frac ba+1)^2+b^2\)之间
所以
\(\tan^{-1}\left(\frac{\frac b{2m}}{(\frac ba+\frac{2k}{2m})(\frac ba+\frac{2k+1}{2m})+b^2}\right)-\frac{\frac b{2m}}{(\frac ba+\frac{2k}{2m})(\frac ba+\frac{2k+1}{2m})+b^2}=O(\frac1{m^3})\)
于是容易得出
\(\lim_{m\to\infty}\sum_{k=0}^m(\tan^{-1}(\frac{b}{\frac ba+\frac{2k}{2m}})-\tan^{-1}(\frac{b}{\frac ba+\frac{2k+1}{2m}}))=\lim_{m\to\infty}\frac1m\sum_{k=0}^m(\frac{\frac b{2}}{(\frac ba+\frac{2k}{2m})(\frac ba+\frac{2k+1}{2m})+b^2})=\int_0^1 \frac{\frac b2 }{(\frac ba+x)^2+b^2}dx\)