Rumus Vieta untuk Pi

Rumus Vieta dalam Templat:Lang (1593) karya François Viète.

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

Rumus tersebut dapat diperoleh dengan pengalian takhingga berteleskop atas luas atau keliling sekumpulan poligon tersarang yang membentuk lingkaran. Sementara itu, perumuman rumus tersebut dapat diperoleh dengan menyubtitusi secara berulang rumus setengah sudut trigonometri, penemuan Leonhard Euler, yang salah satu bentuknya merupakan rumus Vieta. Selain Vieta, ada banyak rumus lain yang menggunakan akar kuadrat tersarang.

Signifikansi

François Viète (1540—1603) adalah seorang advokat, penasihat pribadi kepada dua Raja Perancis, dan matematikawan. Ia memperkenalkan rumus hitung Templat:Mvar dalam karyanya Variorum de rebus mathematicis responsorum, liber VIII pada tahun 1593. Saat ia memperkenalkan rumus tersebut, [[Aproksimasi π|metode menghitung Templat:Mvar]] dengan keakurasian tertentu telah lama diketahui. Rumus Vieta sendiri dapat dipahami sebagai bentuk lain atas cara Archimedes menentukan keliling lingkaran dengan menggunakan keliling poligon.Templat:R Cara tersebut digunakan Archimedes untuk mengapitTemplat:Sfn $$\frac{223}{71}<\pi <\frac{22}{7}.$$Dengan memperkenalkan metode hitungnya dalam bentuk rumus, Viète telah menyajikan salah satu penggunaan perkalian takhingga dalam matematika,Templat:R dan contoh rumus eksplisit nilai pasti Templat:Mvar yang pertama.Templat:R Karena merupakan salah satu metode pertama yang menggunakan perhitungan takhingga untuk menentukan nilai suatu konstanta dalam sejarah matematika Eropa,Templat:R Eli Maor menggangap keberadaan rumus Vieta sebagai awal berkembangnya analisis matematika.Templat:R Lagi, Jonathan Borwein menganggap keberadaan rumus tersebut sebagai "awal bangkitnya matematika modern".Templat:R

Viète menghitung nilai Templat:Mvar hingga digit desimal ke-9 dengan menggunakan rumusnya.Templat:R Namun demikian, perhitungan tersebut bukan yang paling akurat pada waktu itu karena Jamshīd al-Kāshī, seorang matematikawan Persia, telah terlebih dahulu menghitung nilai Templat:Mvar hingga seksagesimal ke-9 dan desimal ke-16 pada tahun 1424.Templat:R Tidak lama setelah Viète memperkenalkan rumusnya, Ludolph van Ceulen menggunakan metode perhitungan mirip dengan Viète untuk menghitung nilai Templat:Mvar hingga digit ke-35 yang baru dipublikasi setelah kematiannya pada tahun 1610.Templat:R

Di luar signifikansinya dalam konteks matematika dan sejarah, rumus Vieta dapat digunakan untuk mempelajari variasi kecepatan gelombang ketika frekuensinya berbeda pada beragam pegas dan massa dengan Templat:Mvar sebagai pembatas atas kecepatan tersebut.Templat:R Lebih lanjut, perolehan rumus tersebut dalam bentuk perkalian integral sistem Rademacher yang sama dengan perkalian integral berfungsi serupa merupakan salah satu contoh tersirat tentang kejadian saling bebas.Templat:R

Pemahaman dan konvergensi

Rumus Vieta dapat dinyatakan ulang dan dipahami sebagai limit ungkapanTemplat:R $$\underset{n\to \mathrm{\infty }}{\lim }\prod _{i=1}^n\frac{a_i}{2}=\frac{2}{\pi }$$ dengan $$\begin{array}{cc}{a}_1& =\sqrt{2}\\ a_n& =\sqrt{2+a_{n-1}}.\end{array}$$ Untuk sembarang $n$, ungkapan pada limit tersebut hanya perkalian terhitung. Sementara itu, apabila $n$ semakin besar, perkalian terhitung tersebut akan mendekati nilai rumus Vieta. Karena Viète memperoleh rumusnya jauh sebelum konsep limit serta pembuktian ketat konvergensi dikembangkan dalam matematika, kebenaran adanya limit tersebut baru diberikan oleh Ferdinand Rudio pada tahun 1891.Templat:R

Perbandingan konvergensi Vieta (Templat:Red) dengan rumus Templat:Pi lainnya. Pada grafik ini, Templat:Math adalah perkiraan nilai konstanta tersebut setelah menghitung hingga suku Templat:Mvar. Di samping itu, setiap tanda panah menuju arah kanan adalah pembesaran sepuluh kali lipat atas batang abu-abu atau interval.

Laju konvergensi suatu limit mengendalikan seberapa banyak suku atau jumlah perhitungan yang dibutuhkan untuk memperoleh digit sesuai konstanta terkait. Pada rumus Vieta sendiri, banyak suku dan digit saling berbanding satu sama lain. Sebagai contoh, hasil kali dari suku Templat:Mvar pertama pada limit rumus tersebut menghasilkan nilai Templat:Mvar yang sekitar Templat:Math digit.Templat:R Hal tersebut hampir menyamai produk Wallis, salah satu rumus Templat:Mvar dalam bentuk perkalian takhingga yang terkenal di kemudian waktu. Walaupun Viète hanya menghitung hingga digit ke-9, bentuk percepatan rumusnya telah digunakan untuk menghitung Templat:Mvar hingga pada ribuan digit.Templat:R

Rumus berkaitan

Lebih seabad setelah Viète memperkenalkan metode hitungnya, rumus Vieta diketahui sebagai kasus khusus dari salah satu rumus sinc yang sering dianggap sebagai penemuan Leonhard EulerTemplat:R, yakniTemplat:R $$\frac{\sin x}{x}=\cos \frac{x}{2}\cdot \cos \frac{x}{4}\cdot \cos \frac{x}{8}\cdots$$ Dengan subtitusi Templat:Math pada rumus tersebut, diperoleh $$\frac{2}{\pi }=\cos \frac{\pi }{4}\cdot \cos \frac{\pi }{8}\cdot \cos \frac{\pi }{16}\cdots$$ Setelah itu, dengan mengubah setiap ungkapan yang dikali pada bagian kanan persamaan tersebut menggunakan rumus setengah sudut $$\cos \frac{x}{2}=\sqrt{\frac{1+\cos x}{2}},$$ diperoleh rumus Vieta.Templat:R

Lebih lanjut, rumus Vieta dapat digunakan untuk memperoleh rumus berkaitan yang hanya menggunakan satu operasi kali, yakniTemplat:R $$\pi =\underset{k\to \mathrm{\infty }}{\lim }{2}^k\underset{\text{sebanyak }k\text{ akar kuadrat}}{\underbrace{\sqrt{2-\sqrt{2+\sqrt{2+\sqrt{2+\sqrt{2+\cdots +\sqrt{2}}}}}}}}$$ yang dapat dinyatakan ulang lebih rapi sebagai $$\begin{array}{cc}\pi & =\underset{k\to \mathrm{\infty }}{\lim }{2}^k\sqrt{2-a_k},\\ a_1& =0,\\ a_k& =\sqrt{2+a_{k-1}}.\end{array}$$ Ada banyak rumus untuk Templat:Mvar dan konstanta lainnya, seperti rasio emas, yang diketahui. Sama seperti Vieta, rumus tersebut menggunakan akar kuadrat tersarang atau perkalian takhingga fungsi trigonometri.Templat:R

Perolehan

Barisan poligon beraturan bersisi pangkat bilangan dua yang digambarkan pada sebuah lingkaran. Setiap rasio luas atau keliling poligon yang saling berurutan pada barisan tersebut merupakan suku pada rumus Vieta.

Dalam memperoleh rumusnya, Viète membandingkan luas poligon beraturan bersisi Templat:Math dengan bersisi Templat:Math yang masing-masing digambarkan pada sebuah lingkaran.Templat:R Agar lebih jelas, suku pertama pada rumus tersebut, $\sqrt{2}/2$, adalah rasio luas persegi dengan luas oktagon. Sementara itu, suku keduanya adalah rasio luas oktagon dengan luas heksadekagon, dst. Oleh karena sebagian besar penyebut suku sebelumnya sama dengan pembilang suku berikutnya, perkalian rumus tersebut berteleskop, beruntun hilang, yang menyisakan rasio luas persegi (poligon pertama pada lingkaran) dengan luas lingkaran (batas akhir poligon bersisi Templat:Math). Selain sudut pandang tersebut, setiap suku pada rumus Vieta dapat dipahami sebagai rasio keliling antara dua poligon dengan urutan sama seperti sebelumnya. Pada konteks ini, suku pertama adalah rasio keliling digon (diameter lingkaran dihitung dua kali) dengan keliling persegi. Selanjutnya, suku kedua adalah rasio keliling persegi dengan keliling oktagon, dst.Templat:R

Rumus Vieta juga dapat diperoleh menggunakan identitas trigonometri dan rumus Euler. Dalam hal ini, dengan menyubtitusi secara berulang rumus dua kali sudut $$\sin x=2\sin \frac{x}{2}\cos \frac{x}{2}$$ pada dirinya sendiri, diperoleh rumus baru yang dapat dibuktikan menggunakan induksi matematika, yakni untuk setiap bilangan bulat positif Templat:Mvar, $$\sin x=2^n\sin \frac{x}{2^n}(\prod _{i=1}^n\cos \frac{x}{2^i}).$$Bagian Templat:Math mendekati Templat:Mvar apabila Templat:Mvar mendekati takhingga yang mengarah pada rumus Euler. Dari rumus tersebut, rumus Vieta dapat diperoleh dengan menyubtitusi Templat:Math.Templat:R Templat:Clear

Lihat juga

• Hukum Morrie, identitas serupa dengan subtitusi $x=2^n\alpha$ pada perumuman rumus Vieta
• Daftar identitas trigonometri

Pranala luar

• Buku Viète Variorum de rebus mathematicis responsorum, liber VIII (1593) pada Google Buku. Rumus Templat:Mvar ada pada pertengahan hlm. 30.