Cómo encontrar el número Pi en el triángulo de Pascal

El triángulo de Pascal nunca dejará de sorprendernos. El hecho de que contenga dentro de él tantos elementos destacables hace que este objeto matemático sea de un gran interés para todos los que de una forma u otra se sienten atraídos por las matemáticas.

Dentro del triángulo de Pascal, que para quien no lo conozca es éste

Triángulo de Pascal

(los términos de izquierda y derecha son siempre 1, y los demás se consiguen sumando los dos que aparecen encima en la fila justo anterior) podemos encontrar los números naturales, los números combinatorios, los números triangulares, las potencias de 2, los términos de la sucesión de Fibonacci…¡¡hasta el número e!! Pero, como decía en el post que acabo de enlazar, no conocía ninguna forma de encontrar el número Pi en dicho triángulo…hasta ahora.

Señoras, caballeros, se puede encontrar el número Pi dentro del triángulo de Pascal. Y en este post vamos a comentar cómo hacerlo.

Antes de nada vamos a establecer la notación que vamos a seguir con los elementos del triángulo. Comenzando a numerar las filas desde cero (la primera, la formada solamente por un 1) y los elementos de cada fila también por cero, llamaremos a cada elemento C_j^i, siendo i=0, \ldots la fila donde está el elemento y j=0, \ldots ,i la posición que ocupa el elemento en dicha fila i. Por ejemplo, si vemos de nuevo el triángulo

\begin{matrix} 1 \\ 1 \quad 1 \\ 1 \quad 2 \quad 1 \\ 1 \quad 3 \quad 3 \quad 1 \\ 1 \quad 4 \quad 6 \quad 4 \quad 1 \\ 1 \quad 5 \quad 10 \quad 10 \quad 5 \quad 1 \\ 1 \quad 6 \quad 15 \quad 20 \quad 15 \quad 6 \quad 1 \\ 1 \quad 7 \quad 21 \quad 35 \quad 35 \quad 21 \quad 7 \quad 1 \\ 1 \quad 8 \quad 28 \quad 56 \quad 70 \quad 56 \quad 28 \quad 8 \quad 1 \\ 1 \quad 9 \quad 36 \quad 84 \quad 126 \quad 126 \quad 84 \quad 36 \quad 9 \quad 1 \\ 1 \quad 10 \quad 45 \quad 120 \quad 210 \quad 252 \quad 210 \quad 120 \quad 45 \quad 10 \quad 1 \\ 1 \quad 11 \quad 55 \quad 165 \quad 330 \quad 462 \quad 462 \quad 330 \quad 165 \quad 55 \quad 11 \quad 1 \\ 1 \quad 12 \quad 66 \quad 220 \quad 495 \quad 792 \quad 924 \quad 792 \quad 495 \quad 220 \quad 66 \quad 12 \quad 1 \end{matrix}

el término C_1^4 sería igual a 4; el término C_4^7 sería 35; y el término C_6^9 sería 84.

Bien, metámonos en el asunto. El número combinatorio C_m^n={n \choose m} se define de la siguiente forma:

\displaystyle{C_m^n={n \choose m}=\cfrac{n!}{m! \cdot (n-m)!}}

Con esta definición, sabemos (como hemos comentado al principio del post) que los elementos C_j^i del triángulo de Pascal coinciden con los números combinatorios i \choose j:

(Imagen tomada de aquí.)

Si tomamos ahora j=3 tenemos que:

C_3^i=\displaystyle{{i \choose 3}=\cfrac{i!}{3! \cdot (i-3)!}}

Simplificando los dos factoriales que dependen de i y desglosando 3! llegamos a la siguiente expresión:

C_3^i=\displaystyle{{i \choose 3}=\cfrac{(i-2) \cdot (i-1) \cdot i}{1 \cdot 2 \cdot 3}}

Hasta aquí bien, ¿verdad? Vale, pues demos un paso más. Vamos a tomar esta serie infinita relacionada con Pi que publicó Nilakantha Somayaji en el siglo XV (al final del post se adjunta una demostración de esta igualdad):

 \pi = 3 + \cfrac{4}{2 \cdot 3 \cdot 4} - \cfrac{4}{4 \cdot 5 \cdot 6} + \cfrac{4}{6 \cdot 7 \cdot 8} - \cfrac{4}{8 \cdot 9 \cdot 10} + \ldots

Sacamos factor común el 4 de todas las fracciones, y después las multiplicamos y dividimos todas por 6. El “dividido” lo dejamos fuera de las fracciones, como denominador del 4 que habíamos sacado (quedando entonces 2 \over 3), y el “multiplicado” lo expresamos en todas ellas como 6=1 \cdot 2 \cdot 3, quedando la siguiente expresión:

\pi = 3 + \cfrac{2}{3} \left (\cfrac{1 \cdot 2 \cdot 3}{2 \cdot 3 \cdot 4} - \cfrac{1 \cdot 2 \cdot 3}{4 \cdot 5 \cdot 6} + \cfrac{1 \cdot 2 \cdot 3}{6 \cdot 7 \cdot 8} - \cfrac{1 \cdot 2 \cdot 3}{8 \cdot 9 \cdot 10} + \ldots \right )

Y ahora viene la clave: las fracciones que nos han quedado son precisamente los inversos de C_3^i, para i par y mayor o igual que 4:

C_3^4=\cfrac{2 \cdot 3 \cdot 4}{1 \cdot 2 \cdot 3}; \quad C_3^6=\cfrac{4 \cdot 5 \cdot 6}{1 \cdot 2 \cdot 3}; \quad C_3^8=\cfrac{6 \cdot 7 \cdot 8}{1 \cdot 2 \cdot 3}; \ldots

Y así llegamos a expresar el número Pi como una serie infinita que involucra de una forma maravillosa a ciertos elementos del triángulo de Pascal:

\pi = 3 + \cfrac{2}{3} \left (\cfrac{1}{C_3^4} - \cfrac{1}{C_3^6} + \cfrac{1}{C_3^8} - \cfrac{1}{C_3^{10}} + \ldots \right )

Maravilloso, ¿verdad? Pues no queda ahí la cosa, porque ésta no es la única forma de “encontrar” Pi en el triángulo de Pascal. Aprovechando que en el triángulo aparecen los números triangulares (hecho que hemos comentado al principio de la entrada), Jonas Castillo Toloza (que, por cierto, suele comentar en Gaussianos), encontró en 2007 esta bella serie infinita que involucra al número Pi y a ciertos términos del triángulo de Pascal:

\pi-2=\cfrac{1}{C_2^2}+\cfrac{1}{C_2^3}-\cfrac{1}{C_2^4}-\cfrac{1}{C_2^5}+\cfrac{1}{C_2^6}+\cfrac{1}{C_2^7}-\cfrac{1}{C_2^8}-\cfrac{1}{C_2^9}+ \ldots

En el segundo enlace de Cut-the-Knot que aparece en las fuentes de este post podéis ver un par de demostraciones de este hecho, y también algo más de información. Y si queréis ver más patrones que se pueden encontrar en el triángulo de Pascal no os perdáis Patterns in Pascal Triangle, también de Cut-the-Knot.

Y, como siempre, si conocéis alguna otra forma interesante de encontrar Pi mediante términos del triángulo de Pascal (o algún otro patrón que aparezca en el triángulo y que no sea muy conocido) ahí tenéis los comentarios para que nos habléis sobre ello.


Como no he encontrado por ahí ninguna demostración de la fórmula de Somayaji, he desarrollado yo la siguiente:

Demostración de la fórmula de Somayaji:

Expresamos la fórmula de Somayaji

 \pi = 3 + \cfrac{4}{2 \cdot 3 \cdot 4} - \cfrac{4}{4 \cdot 5 \cdot 6} + \cfrac{4}{6 \cdot 7 \cdot 8} - \cfrac{4}{8 \cdot 9 \cdot 10} + \ldots

de la siguiente forma:

\begin{matrix} \pi - 3 = \cfrac{4}{2 \cdot 3 \cdot 4} - \cfrac{4}{4 \cdot 5 \cdot 6} + \cfrac{4}{6 \cdot 7 \cdot 8} - \cfrac{4}{8 \cdot 9 \cdot 10} + \ldots = \\ \\=4 \cdot \displaystyle{\sum_{n=1}^{\infty} \cfrac{(-1)^{n+1}}{2n(2n+1)(2n+2)}} \end{matrix}

Sacando el 2 de 2n y el 2 de 2n+2 y simplificando con el 4 obtenemos la siguiente expresión de dicha fórmula:

\displaystyle{\sum_{n=1}^{\infty} \cfrac{(-1)^{n+1}}{n(n+1)(2n+1)}=\pi-3}

Vamos a demostrar que dicha suma infinita vale, efectivamente, \pi-3.

Expresamos la fracción \frac{1}{n(n+1)(2n+1)} como suma de fracciones simples, quedando:

\cfrac{1}{n(n+1)(2n+1)}=\cfrac{1}{n}+\cfrac{1}{n+1}-\cfrac{4}{2n+1}

Vamos ahora a dar valores a n desde 1 en adelante (incluyendo el término (-1)^{n+1}, que determinará el signo de cada uno de ellos) para ver qué términos nos aparecen:

\begin{array}{lr}n=1 & \qquad 1+\cfrac{1}{2}-\cfrac{4}{3} \\ \\ n=2 & \qquad -\cfrac{1}{2} -\cfrac{1}{3}+\cfrac{4}{5} \\ \\ n=3 & \qquad \cfrac{1}{3}+\cfrac{1}{4}-\cfrac{4}{7} \\ \\ n=4 & \qquad -\cfrac{1}{4}-\cfrac{1}{5}+\cfrac{4}{9} \\ \\ n=5 & \qquad \cfrac{1}{5}+\cfrac{1}{6}-\cfrac{4}{11} \\ \\ \ldots & \ldots \\ \\ n & \qquad \cfrac{1}{n}+\cfrac{1}{n+1}-\cfrac{4}{2n+1} \end{array}

Si ahora sumamos todos esos términos vemos que todas las fracciones que aparecen en los dos primeros lugares en cada uno de ellos se cancelan, al aparecer cada una de ellas una vez con signo positivo y otra con signo negativo. Nos queda el 1 inicial y todos los terceros sumandos de cada término. Por tanto:

\displaystyle{\sum_{n=1}^{\infty} \cfrac{(-1)^{n+1}}{n(n+1)(2n+1)}=1+4 \cdot \sum_{n=1}^{\infty} \cfrac{(-1)^{n}}{2n+1}}

Y ahora la clave está en utilizar la suma de Leibniz (de cuya validez tenéis una demostración aquí):

\displaystyle{\sum_{n=0}^{\infty} \cfrac{(-1)^{n}}{2n+1}}=\cfrac{\pi}{4}

Si os fijáis, esta suma de Leibniz es precisamente las que nos ha aparecido en la expresión anterior, pero en vez de comenzar en n=0 la nuestra comienza en n=1. Por tanto tendremos que restarle a \pi \over 4 el primer término de la suma de Leibniz, que es 1, quedando:

\displaystyle{\sum_{n=1}^{\infty} \cfrac{(-1)^{n}}{2n+1}}=\cfrac{\pi}{4}-1

Con esto ya podemos terminar:

\displaystyle{\sum_{n=1}^{\infty} \cfrac{(-1)^{n+1}}{n(n+1)(2n+1)}=1+4 \cdot \sum_{n=1}^{\infty} \cfrac{(-1)^{n}}{2n+1}=1+4 \cdot (\cfrac{\pi}{4}-1)=1+\pi-4=\pi-3}

que era lo que queríamos probar. Como ello queda demostrada la validez de la fórmula de Somayaji.


Fuentes:

Autor: ^DiAmOnD^

Miguel Ángel Morales Medina. Licenciado en Matemáticas y autor de Gaussianos y de El Aleph. Puedes seguirme en Twitter o indicar que te gusta mi página de Facebook.

18 Comentarios

  1. Si pudiéramos intercalar un término en la segunda fila sería muy fácil:
    \binom{1}{1/2}=\frac{4}{\pi}

    Publica una respuesta
  2. ¡Jorobar! Entonces el triángulo de Pascal está relacionado con pi!??
    ¿Y, ya puestos (y sea esto dicho no sin cierta coña y frivolidad [lo reconozco]), por qué no existe el tetraedro de Pascal? ¿es que no tiene ninguna aplicación ‘real’ (o realizable)?

    Saludos

    Publica una respuesta
  3. No entiendo bien lo del tetraedro. ¿Cómo lo definirias exactamente?

    Publica una respuesta
  4. Cuando desarrollé mi fórmula para pi basada en los números triangulares no pensé que tuviera tanta relevancia, pués no era de convergencia rápida. Fué Candido Otero ( a quien considero el fans de pi número uno en el mundo) quien la publicó en la web, donde incluyó también una demostración suya.
    http://www.xtec.cat/~bfiguera/formulpi.htm
    http://www.lifesmith.com/mathfun.html#41

    Sinceramente desconocía acerca de la búsqueda de pi en El Triángulo de Pascal, ni siquiera cuando me enteré del descubrimiento de e en El triángulo de Pascal por medio de este blog se me ocurrió la idea de relacionar a pi.
    Curiosamente había compartido esta fórmula en un comentario aquí en gaussianos.com
    https://gaussianos.com/celebrando-infinitamente-el-dia-de-pi/ pero su vinculación con El Triángulo de Pascal pasó desapercibida.

    Fué gracias a José Camacho Medina que por medio de una publicación en un grupo de Facebook me enteré de la noticia del descubrimiento de pi en El Triángulo de Pascal por parte de Daniel Hardisky.
    https://www.facebook.com/groups/247311525296168/
    Hice un comentario en Cut-the-Knot y ahí empezó el final de la historia.

    Saludos a todos desde Colombia.

    Publica una respuesta
  5. Efectivamente existe el tetraedro o pirámide de Pascal.
    Está formado por los coeficientes del desarrollo del trinomio (a+b+c)^n.
    Podéis verlo en el apartado “Generalizaciones” de la entrada “Triángulo de Pascal” de la WIKIPEDIA.

    Publica una respuesta
  6. A ver quién encuentra a la constante áurea fi en el triángulo de Pascal…

    Publica una respuesta
  7. Pero si ya está la sucesión de Fibonacci, se saca a partir de ciertas diagonales en el triángulo de Pascal. Si designamos por F_n el n-ésimo término de la sucesión, se puede expresar como la suma de los \binom{i}{j} con i+j=n y las restricciones que cabe esperar (i, j enteros, i \ge j \ge 0).

    F_0=\binom{0}{0}=1
    F_1=\binom{1}{0}=1
    F_2=\binom{1}{1}+\binom{2}{0}=1+1=2
    F_3=\binom{2}{1}+\binom{3}{0}=2+1=3
    F_4=\binom{2}{2}+\binom{3}{1}+\binom{4}{0}=1+3+1=5
    F_5=\binom{3}{2}+\binom{4}{1}+\binom{5}{0}=3+4+1=8
    F_6=\binom{3}{3}+\binom{4}{2}+\binom{5}{1}+\binom{6}{0}=1+6+5+1=13

    Y la razón áurea es el límite del cociente \frac{F_{n+1}}{F_n} cuando n tiende a infinito, así que también puede expresarse en términos del triángulo de Pascal (como un cociente de dos sumatorios).

    Publica una respuesta
  8. El tetraedro de Pascal se puede definir de forma análoga al triángulo de Pascal.

    En el triángulo empezamos poniendo un 1 arriba del todo y luego vamos poniendo poniendo cada “piso” nuevo debajo del anterior, de forma que cada término es igual a la suma de los dos términos que están encima de él. Gráficamente esos tres términos (el nuevo y los dos que sumados dan ese) forman un pequeño triángulo equilátero que apunta hacia abajo.

    En el tetraedro ocurre básicamente lo mismo, solo que cada término es igual a la suma de los *tres* términos que están encima de él (gráficamente se puede ver como un pequeño tetraedro).

    El tema es que, si vamos desarrollando el tetraedro, veremos que no tiene mucho más misterio que el triángulo. Por ejemplo, en el piso 5 tenemos esto:

    1
    5, 5
    10, 20, 10
    10, 30, 30, 10
    5, 20, 30, 20, 5
    1, 5, 10, 10, 5, 1

    que no es otra cosa que

    \binom{5}{0} \binom{0}{0}
    \binom{5}{1} \binom{1}{0}, \binom{5}{1} \binom{1}{1}
    \binom{5}{2} \binom{2}{0}, \binom{5}{2} \binom{2}{1}, \binom{5}{2} \binom{2}{2}
    \binom{5}{3} \binom{3}{0}, \binom{5}{3} \binom{3}{1}, \binom{5}{3} \binom{3}{2}, \binom{5}{3} \binom{3}{3}
    \binom{5}{4} \binom{4}{0}, \binom{5}{4} \binom{4}{1}, \binom{5}{4} \binom{4}{2}, \binom{5}{4} \binom{4}{3}, \binom{5}{4} \binom{4}{4}
    \binom{5}{5} \binom{5}{0}, \binom{5}{5} \binom{5}{1}, \binom{5}{5} \binom{5}{2}, \binom{5}{5} \binom{5}{3}, \binom{5}{5} \binom{5}{4}, \binom{5}{5} \binom{5}{5}

    Y esto se puede extender a figuras de más dimensiones, pero, como digo, no tiene mucho más misterio que el triángulo.

    Publica una respuesta
  9. Sí David, al aparecer los términos de la sucesión de Fibonacci es bastante obvio que la razón aurea está en el triángulo de Pascal, no me había dado cuenta, y eso que la nota lo menciona claramente… pero gracias! Abrazo.

    Publica una respuesta
  10. Hola, creo que la posición de “4” sería i=1 j=2, ¿o me equivoco?

    Publica una respuesta
  11. Hola, creo que la posición de “4” sería i=4 j=2, ¿o me equivoco?

    Publica una respuesta
  12. Excelente!!!! Me encantan las relaciones ocultas. Ahora me gustaría hacerles una consulta que no es estrictamente matemática. Para hacerla corta, yo soy profesor en la Uni de lo que sería Teoría de Señales y Sistemas y una identidad básica es la de Euler. Pues resulta que una de las frases más curiosas de matemáticos es la referente a esta identidad y se debe a Benjamin Peirce matemático con importantes aportes en estadística que dijo: “Caballeros, esto es sin duda cierto, es absolutamente paradójico, no podemos comprenderlo y no sabemos lo que significa, pero lo hemos demostrado y, por lo tanto, sabemos que debe ser verdad” MI pregunta es si alguien sabe a ciencia cierta o tiene alguna idea clara de por qué la considera absolutamente paradójica, mi única ocurrencia es la extraña relación entre números como 0, 1 y e y pi. Saludos y sigan así!!!

    Publica una respuesta

Trackbacks/Pingbacks

  1. Bitacoras.com - Información Bitacoras.com Valora en Bitacoras.com: El triángulo de Pascal nunca dejará de sorprendernos. El hecho de que contenga dentro…
  2. Cómo encontrar el número Pi en el triángulo de Pascal - […] Cómo encontrar el número Pi en el triángulo de Pascal […]
  3. Cómo encontrar el número Pi en el... - […]   […]
  4. Edición 5.3: Felix Klein, del Carnaval de Matemáticas (25-30 abril) | Juegos topológicos - […] Cómo encontrar el número Pi en el triángulo de Pascal en Gaussianos. […]
  5. Resúmen diario de la Edición 3.5 Felix Klein, del Carnaval de Matemáticas | Juegos topológicos - […] Cómo encontrar el número Pi en el triángulo de Pascal en Gaussianos. […]
  6. Resúmen diario de la Edición 5.3 Felix Klein, del Carnaval de Matemáticas | Juegos topológicos - […] Cómo encontrar el número Pi en el triángulo de Pascal en Gaussianos. […]
  7. Nilakantha Somayaji, de la Escuela de Kerala | :: ZTFNews.org - […] Cómo encontrar el número Pi en el triángulo de Pascal, Gaussianos, 2014 […]
  8. http://heatingandcoolingservices.org - http://heatingandcoolingservices.org click here for top quality news on read it} available

Puedes utilizar código LaTeX para insertar fórmulas en los comentarios. Sólo tienes que escribir
[latex]código-latex-que-quieras-insertar[/latex]
o
$latex código-latex-que-quieras-insertar$.

Si tienes alguna duda sobre cómo escribir algún símbolo puede ayudarte la Wikipedia.

Y si los símbolos < y > te dan problemas al escribir en LaTeX te recomiendo que uses los códigos html & lt; y & gt; (sin los espacios) respectivamente.

Envía un comentario

Tu dirección de correo electrónico no será publicada. Los campos obligatorios están marcados con *