Respuestas
Ayúdanos a mejorar los contenidos de Wikipedia. Participa en el Mes de la Antártida.
Más información Fórmula de VièteDe Wikipedia, la enciclopedia libre Saltar a: navegación, búsquedaEn matemáticas, la fórmula de Viète, es una fórmula debida a François Viète, que proporciona una representación del número π como un producto infinito
2 π = 1 2 ⋅ 1 2 + 1 2 1 2 ⋅ 1 2 + 1 2 1 2 + 1 2 1 2 ⋅ 1 2 + 1 2 1 2 + 1 2 1 2 + 1 2 1 2 ⋯ {\displaystyle {\frac {2}{\pi }}={\sqrt {\tfrac {1}{2}}}\cdot {\sqrt {{\tfrac {1}{2}}+{\tfrac {1}{2}}{\sqrt {\tfrac {1}{2}}}}}\cdot {\sqrt {{\tfrac {1}{2}}+{\tfrac {1}{2}}{\sqrt {{\tfrac {1}{2}}+{\tfrac {1}{2}}{\sqrt {\tfrac {1}{2}}}}}}}\cdot {\sqrt {{\tfrac {1}{2}}+{\tfrac {1}{2}}{\sqrt {{\tfrac {1}{2}}+{\tfrac {1}{2}}{\sqrt {{\tfrac {1}{2}}+{\tfrac {1}{2}}{\sqrt {\tfrac {1}{2}}}}}}}}}\cdots }
La expresión anterior tiene especial relevancia por ser el primer ejemplo conocido de una expresión exacta precisa del número π, a diferencia de las aproximaciones racionales manejadas en la antigüedad.
Aunque la fórmula anterior proporciona la primera expresión analítica para π, se obtiene mediante la aplicación de identidades trigonométricas a un razomamiento geométrico relacionado con el problema de la cuadratura del círculo
El proceso consiste en inscribir, en un círculo de radio 1, polígonos regulares de 2 n {\displaystyle 2^{n}} lados de modo que la sucesión de las áreas resulta una aproximación sucesiva al área del círculo, igual a π.
Si a n {\displaystyle a_{n}} es el área del polígono inscrito de 2n lados entonces
a n = 2 n − 1 sin ( π 2 n − 1 ) {\displaystyle a_{n}=2^{n-1}\sin({\tfrac {\pi }{2^{n-1}}})} .
Por otro lado, la fórmula de seno de ángulo doble establece que
sin ( 2 θ ) = 2 sin θ cos θ {\displaystyle \sin(2\theta )=2\sin \theta \cos \theta }
y por tanto
sin ( π 2 n − 1 ) = 2 sin ( π 2 n ) cos ( π 2 n ) {\displaystyle \sin({\tfrac {\pi }{2^{n-1}}})=2\sin({\tfrac {\pi }{2^{n}}})\cos({\tfrac {\pi }{2^{n}}})} .
Combinando ambos resultados se llega a las fórmulas:
a 2 = a 3 cos ( π 2 2 ) {\displaystyle a_{2}=a_{3}\cos({\tfrac {\pi }{2^{2}}})} = a 4 cos ( π 2 2 ) cos ( π 2 3 ) {\displaystyle \quad =a_{4}\cos({\tfrac {\pi }{2^{2}}})\cos({\tfrac {\pi }{2^{3}}})} = a 5 cos ( π 2 2 ) cos ( π 2 3 ) cos ( π 2 4 ) {\displaystyle \quad =a_{5}\cos({\tfrac {\pi }{2^{2}}})\cos({\tfrac {\pi }{2^{3}}})\cos({\tfrac {\pi }{2^{4}}})} = … {\displaystyle \quad =\ldots }Y como los valores de a n {\displaystyle a_{n}} (las áreas de los polígonos) se aproximan al área del círculo que vale π, se tiene
a 2 = π ( cos ( π 2 2 ) cos ( π 2 3 ) cos ( π 2 4 ) cos ( π 2 5 ) ⋯ ) {\displaystyle a_{2}=\pi \left(\cos({\tfrac {\pi }{2^{2}}})\cos({\tfrac {\pi }{2^{3}}})\cos({\tfrac {\pi }{2^{4}}})\cos({\tfrac {\pi }{2^{5}}})\cdots \right)}
El área de a 2 {\displaystyle a_{2}} es el área de un cuadrado inscrito en un círculo de radio 1, por lo que a 2 = 2 {\displaystyle a_{2}=2} . Así, se obtiene
2 π = cos ( π 2 2 ) cos ( π 2 3 ) cos ( π 2 4 ) cos ( π 2 5 ) ⋯ {\displaystyle {\frac {2}{\pi }}=\cos({\tfrac {\pi }{2^{2}}})\cos({\tfrac {\pi }{2^{3}}})\cos({\tfrac {\pi }{2^{4}}})\cos({\tfrac {\pi }{2^{5}}})\cdots }
Finalmente, la fórmula del ángulo doble para el coseno implica
cos ( θ 2 ) = 1 + cos θ 2 = 1 2 + 1 2 cos θ {\displaystyle \cos({\tfrac {\theta }{2}})={\sqrt {\frac {1+\cos \theta }{2}}}={\sqrt {{\frac {1}{2}}+{\frac {1}{2}}\cos \theta }}} .
y como para π 2 2 = 45 ∘ {\displaystyle {\tfrac {\pi }{2^{2}}}=45^{\circ }} se cumple
cos ( π 2 2 ) = 1 2 {\displaystyle \cos({\tfrac {\pi }{2^{2}}})={\sqrt {\tfrac {1}{2}}}} .
la sustitución repetida en la expresión para 2 π {\displaystyle {\tfrac {2}{\pi }}} concluye la prueba.
Sin embargo, aunque la prueba anterior es geométricamente intuitiva, una demostración rigurosa involucra demostrar la convergencia de los productos infinitos, herramienta matemática que no se disponía durante la época de Viète por lo que no fue sino más de un siglo después cuando Euler proporcionó una prueba formal.