Rumus Vieta untuk Pi

Halaman ini berisi artikel tentang rumus π. Untuk rumus mengenai polinomial, lihat rumus Vieta.

Dalam matematika, rumus Vieta untuk pi adalah perkalian takhingga akar kuadrat tersarang yang sama dengan dua kali invers (kebalikan) konstanta π: $${\frac {2}{\pi }}={\frac {\sqrt {2}}{2}}\cdot {\frac {\sqrt {2+{\sqrt {2}}}}{2}}\cdot {\frac {\sqrt {2+{\sqrt {2+{\sqrt {2}}}}}}{2}}\cdots$$ Untuk memudahkan, ungkapan di atas dapat dinyatakan sebagai $${\frac {2}{\pi }}=\prod _{n=1}^{\infty }\cos {\frac {\pi }{2^{n+1}}}.$$Nama rumus tersebut diambil dari François Viète yang memperkenalkannya pada tahun 1593. Dalam sejarah matematika Eropa, rumus tersebut merupakan yang pertama menggunakan konsep takhingga. Oleh karena itu, rumus tersebut dapat secara ketat dinyatakan sebagai limit suatu ungkapan. Selain itu, penggunaan konsep takhingga pada rumus tersebut merupakan awal berdirinya analisis matematika. Rumus tersebut memiliki laju konvergensi linier dalam menghitung konstanta π. Di samping rumus tersebut, ada banyak rumus sebelum dan sesudahnya dengan keakuratan lebih baik dalam menghitung konstanta tersebut. Selain digunakan untuk menghitung konstanta tersebut, rumus tersebut juga digunakan dalam perhitungan sifat pegas dan massa. Lebih lanjut, rumus tersebut merupakan contoh tersirat pertama tentang konsep keindependenan statistik.

Rumus tersebut dapat diperoleh sebagai perkalian takhingga yang berteleskop menuju luas atau keliling poligon pada sebuah lingkaran. Di samping itu, generalisasi rumus tersebut dapat diperoleh dengan menyubtitusi secara berulang rumus setengah rangkap trigonometri, penemuan Leonhard Euler, yang salah satu bentuknya merupakan rumus Vieta. Di samping rumus Vieta, ada banyak rumus lain yang menggunakan akar kuadrat tersarang.