Históricamente, hay tres grandes (re)descubrimientos independientes de esta fórmula en serie para $\pi/4$ :
- por el matemático alemán Gottfried Wilhelm Leibniz (1646-1716),
- por el matemático escocés James Gregory (1638-1675), y
- de los matemáticos indios, atribuido a Madhava de Sangamagrama (aproximadamente 1340-1425), pero disponible sólo a través de citas de sucesores como Nilakantha Somayaji (1444-1544).
Los tres se analizan en el artículo El descubrimiento de la fórmula de la serie para por Ranjan Roy publicado en Mathematics Magazine, Vol. 63 (1990), pp. 291-306, que ganó el Premio Carl B. Allendoerfer en 1991.
De los tres, permítanme tomar el de Mdhava, porque al ser el más antiguo, es ciertamente anterior a (lo que se considera) el desarrollo del cálculo, y porque me parece el más simple geométricamente.
Este y otros resultados tempranos que conducen a algunos aspectos del cálculo también se discuten en K. Ramasubramanian y M. D. Srinivas (2010), Desarrollo del cálculo en la India, Estudios de historia de las matemáticas indias, 201-286.
Consideremos un círculo unitario, y en particular un cuarto de círculo particular del mismo, delimitado por un cuadrado unitario.
Queremos encontrar la longitud de la mitad del arco $AC$ que sabemos que es $\pi/4$ .
Dividimos el lado $AB$ en $n$ partes iguales de longitud $\frac1n$ cada uno. Considere la $r$ a dicha parte, $P_{r-1} P_r$ . Perpendiculares de caída $P_{r-1}D$ y $EF$ en $OP_r$ . Tenemos de la similitud de los triángulos,
- $\displaystyle \frac{EF}{OE} = \frac{P_{r-1}D}{OP_{r-1}}$ (seno del ángulo pequeño en $O$ ) y
- $\displaystyle \frac{P_{r-1}D}{P_{r-1}P_r} = \frac{OA}{OP_r}$ (seno del ángulo $DP_rP_{r-1}$ )
por lo que obtenemos
$$EF = OE\frac{P_{r-1}D}{OP_{r-1}} = OE\frac{P_{r-1}P_r\frac{OA}{OP_r}}{OP_{r-1}} = \frac{P_{r-1}P_r}{OP_r \times OP_{r-1}}$$ donde dejé caer $OE$ y $OA$ porque son longitudes unitarias.
Ahora, para los grandes $n$ (como $n \to \infty$ ), el segmento de arco $EG \approx EF$ y la longitud de arco total (de la mitad del cuarto de círculo) es la suma de estas longitudes de arco correspondientes $EG$ Por lo tanto, argumentaron que (en notación moderna)
$$\frac{\pi}{4} = \lim_{n\to\infty} \sum_{r=1}^{n} \frac{P_{r-1}P_r}{OP_r \times OP_{r-1}}.$$
Además, el numerador $P_{r-1}P_r = 1/n$ por definición, y para los grandes $n$ el denominador $OP_r OP_{r-1}$ puede aproximarse mediante $OP_r^2 = 1 + AP_r^2 = 1 + (r/n)^2$ (en realidad fueron más sofisticados y utilizaron el hecho de que está limitado por $OP_{r-1}^2$ y $OP_r^2$ etc.), por lo que tenemos
$$\frac{\pi}{4} = \lim_{n\to\infty} \sum_{r=1}^n \frac{1/n}{1 + (r/n)^2}$$
El resto es fácil: utilizar el hecho de que $$\frac{1}{1+x} = 1 - x + x^2 - x^3 + \dots$$ con $x = (r/n)^2$ para que nuestra suma sea $$\frac1n \sum_{r=1}^n (1 - (r/n)^2 + (r/n)^4 - (r/n)^6 + \dots)$$
Además, han demostrado que en general $$\sum_{r=1}^n r^k \approx \frac{n^{k+1}}{k+1},$$ así que $$\frac1n \sum_{r=1}^n (r/n)^k \approx \frac1{k+1}$$ (siendo iguales en el límite), por lo que en el límite nuestra suma se convierte en $$\frac{\pi}{4} = 1 - \frac13 + \frac15 - \frac17 + \dots.$$
Yo he sido un poco más informal en el argumento anterior (con sumas intercambiadas, tomando límites, etc.) que ellos, pero esta es la idea general.
0 votos
¿"Visualmente"? ¿Como en la televisión o qué en el mundo quieres decir?
0 votos
No creo que haya explicaciones visuales. Es cierto por la serie Taylor/MacLaurin para $\text{arc} \tan$ .
7 votos
@DonAntonio Yo supondría que quiere una explicación intuitiva y geométrica, y en mi opinión, tú también deberías. Volviendo al problema que nos ocupa, si se trata de visualizaciones sobre $\pi/4$ entonces el área de un cuarto de círculo de radio $1$ podría funcionar. El cuadrado que comparte dos lados con el cuarto de círculo tiene un área $1$ Así que parece un buen lugar para empezar. A ver si puedes encontrar la manera de eliminar un tercio del área, luego volver a añadir un quinto y así sucesivamente para aproximar el límite del círculo. Con un poco de suerte puedes conseguir buenos cálculos para acompañarlo. Al menos eso es lo que yo intentaría primero.
0 votos
@Arthur, la cuestión es conectar la noción geométrica de pi con la expansión dada.
0 votos
Ver este y este . Puede que no sean explicaciones geométricas, pero no conozco ninguna. En el análisis se necesitan definiciones analíticas. Ya no recuerdo por qué esto es lo mismo que lo geométrico $\pi$ pero lo es. Considere, por ejemplo, que $\sin$ y $\cos$ se definen a través de la función de exponente.
0 votos
Bueno, no tengo una respuesta - pero este ejercicio visualiza la belleza de esta serie: tome una cuerda (digamos de 1 m de largo) y enderécela, luego tome una cuerda (de 1/3 m de largo) y alinéela con un extremo, luego tome una cuerda (de 1/5) metros de largo y alinéela con el extremo interior de la cuerda de 1/3 m y así adelante . Usted, se acercará a una longitud de pi/4 metros con este "algoritmo". ¡Impresionante!
1 votos
"¿Debería", @Arthur? ¿Cómo puedes saberlo?
0 votos
@Just_a_fool No veo qué tiene de asombroso, eso es sólo una reafirmación de la serie..
2 votos
@DonAntonio Es la segunda vez en una semana que te veo escribir así en algo que no está escrito 100% a tu gusto. Sinceramente, creo que esta página sería mejor sin este tipo de comentarios. Decirle a la gente que no ha elegido las mejores palabras y sugerir mejoras es bueno. Corregir a la gente siendo desagradable y sarcástico es innecesario. Así es como yo lo veo. Una "explicación visual" sólo puede significar realmente una cosa, y de alguien que ha estado en este sitio el tiempo suficiente para reunir $86,000$ reputación es mi honesta opinión de que se espera que sepas más que "Como en la televisión o qué".
0 votos
Esa es tu opinión, @Arthur. La mía, como matemático, es que cualquier persona de nivel de bachillerato o superior debe y se espera que lo sea, ser lo más claro y preciso posible cuando se trata de nuestro oficio. Y si crees que he sido desagradable y sarcástico con mi primer comentario (supongo), me temo que es posible que te sientas profundamente decepcionado en el futuro. Tu forma de ver las cosas, como en "visual", no importa realmente aquí. La cuestión, en mi opinión, es, o debería ser: "¿estoy siendo claro?" En tu caso puedo decir honestamente que no lo fuiste, al menos en lo que yo veo: no tenía la menor idea de lo que querías decir.