Demostrar que $\lim\limits_{n\to\infty}\left(\sum\limits_{r=0}^{n-1}\sqrt{1-\frac{r^2}{n^2}}-\frac{\pi}{4}n\right)=\frac{1}{2}$

Question

Me encontré con la pregunta anterior en un problema matemático. No es difícil ver que $$ \lim\limits_{n\to\infty}\left(\frac{1}{n}\sum\limits_{r=0}^{n-1}\sqrt{1-\frac{r^2}{n^2}}\right)=\int\limits_0^1\sqrt{1-\frac{x^2}{n^2}}\mathrm{d}x=\frac{\pi}{4}. $$ Sin embargo, la pregunta anterior pide estimar el residuo de la suma de Riemann. Al dejar que $n$ sea muy grande y calcular bruscamente usando un programa, sospecho que el límite anterior debería ser $\frac{1}{2}$, pero no tengo idea de cómo demostrar este resultado matemáticamente. ¿Alguien puede ayudarme?

Answer 1

Según la fórmula de suma de Euler-MacLaurin para $$f(u):=f_n(u):=\sqrt{1-u^2/n^2}$$ y $m=2$ (ver por ejemplo fórmulas (2.1), (2.2) y (2.4) aquí o aquí), $$S:=S_n:=\sum_{r=0}^{n-1}f(r)=A_2+R_2,$$ donde \begin{align}&A_2:=A_{n;2}:= \\ &\int_0^{n-1} f(u) \, du+\frac{1}{2} (f(n-1)+f(0))+ \frac{1}{12} \left(f'(n-1)-f'(0)\right) \\ &= \frac n2\, \Big(\frac{2}{\sqrt{2 n-1}}+\pi \Big) +\frac{1}{12n \sqrt{2 n-1}}-\frac{7}{12\sqrt{2n-1}} \\ &+n \tan ^{-1}\Big(\frac{n-1}{\sqrt{2 n-1}-n}\Big)+\frac12 \end{align} y $|R_2|=O(1/\sqrt n)=o(1)$ (con $n\to\infty$). También notar que $$A_2-\frac\pi 4\,n\to\frac12.$$ Así, el resultado deseado se sigue.