Lihat sumber Bukti bahwa 22/7 melebihi π

Hasil [[Pembuktian matematika|pembuktian matematis]] mengenai nilai [[bilangan rasional]] <math>\dfrac{22}{7}</math> lebih dari [[pi|<math>\pi</math>]] (pi) telah ada sejak dahulu. Salah satu pembuktiannya, baru-baru ini dikembangkan tetapi hanya memerlukan teknik dasar dari kalkulus, berhasil menarik perhatian matematika modern karena [[keindahan matematis|keindahan]] dan koneksinya dengan teori [[Hampiran Diophantus]]. Stephen Lucas menyebut bukti ini sebagai "salah satu hasil menawan yang berkaitan dengan hampiran <math>\pi</math>".<ref>Stephen Lucas. [http://www.austms.org.au/Publ/Gazette/2005/Sep05/Lucas.pdf Integral proofs that 355/113 > ]. ''Australian Mathematical Society Gazette''. 2005. Vol. 32 (4). hlm. 263–266.</ref> Julian Havil mengakhiri diskusi mengenai penghampiran [[pecahan berlanjut]] dari <math>\pi</math> dengan hasil ini, menyebutnya sebagai "hal yang mustahil untuk tidak disinggung" pada konteks tersebut.<ref>Julian Havil. ''Gamma. Exploring Euler's Constant''. Princeton University Press. 2003. hlm. 96. ISBN 0-691-09983-9.</ref>

Tujuan dari pembuktian ini bukanlah untuk meyakinkan pembaca kalau nilai <math>\dfrac{22}{7}</math> (atau <math>3 \, \dfrac{1}{7}</math>) lebih dari <math>\pi</math>; terdapat berbagai metode sistematis untuk menghitung nilai dari <math>\pi</math>. Jika seseorang mengetahui kalau <math>\pi</math> memiliki nilai sekitar <math>3.14159</math>, maka secara [[Trivialiti (matematika)|trivial]], dapat disimpulkan kalau <math>\pi < \dfrac{22}{7}</math>, yakni sekitar <math>3.142857</math>. Dengan menggunakan metode pada pembuktian ini, menunjukkan <math>\pi < \dfrac{22}{7}</math> jauh lebih mudah dibandingkan menunjukkan nilai <math>\pi</math> itu sekitar <math>3.14159</math>.

== Latar Belakang ==
Nilai <math>\dfrac{22}{7}</math> adalah [[hampiran Diophantus]] dari <math>\pi</math> yang banyak digunakan. Bilangan tersebut bernilai lebih dari <math>\pi</math>, yang dapat dilihat dari [[representasi desimal]] dari kedua nilai tersebut:

:<math>\begin{align}
\frac{22}{7} &= 3. \overline{142 \, 857} \\
\pi &= 3.141 \, 592 \, 65 \ldots
\end{align}</math>

Nilai hampiran tersebut telah diketahui sejak lama. [[Archimedes]] menjadi orang pertama yang menulis bukti mengenai nilai bilangan <math>\dfrac{22}{7}</math> melebihi <math>\pi</math> pada abad ke-3 SM, walaupun mungkin saja [[Archimedes]] bukanlah yang pertama menggunakan hampiran tersebut. Alur pembuktiannya adalah dengan menunjukkan bahwa <math>\dfrac{22}{7}</math> lebih dari rasio dari [[keliling]] [[poligon beraturan|segi-96 beraturan]] terhadap diameter lingkaran yang dilingkupinya.

== Pembuktian ==
Pembuktiannya dapat dijabarkan secara singkat sebagai berikut:

:<math> 0 < \int_0^1 \frac{x^4 \left( 1 - x \right)^4}{1 + x^2} \, \text{d}x = \frac{22}{7} - \pi </math>

Sehingga, diperoleh <math>0 < \dfrac{22}{7} - \pi</math> atau <math>\pi < \dfrac{22}{7}</math>.

Integral ini merupakan soal pertama pada [[Kompetisi Matematika William Lowell Putnam|Kompetisi Putnam]] tahun 1968.<ref>[https://books.google.com/books?id=HNLRgSGZrWMC&dq=December-7-1968+Putnam+Mathematical-Competition&pg=PA9 The William Lowell Putnam Mathematical Competition: Problems and Solutions: 1965–1984]. The Mathematical Association of America. 1985. ISBN 0-88385-463-5.</ref>

Soal ini lebih mudah daripada soal kompetisi Putnam pada umumnya; kompetisi ini seringkali memberikan soal yang terlihat rumit, yang ternyata merujuk kepada sesuatu yang sangat akrab. Integral ini juga telah digunakan dalam ujian masuk [[Institut Teknologi India]].<ref>[https://docs.aglasem.com/view/7ed8dd1e-2eff-11eb-ab1e-02f21f5619c4 Ujian Masuk ITI 2010], soal nomor 41 pada halaman 12, bagian matematika.</ref>

== Detail Pengerjaan Integral ==
Hasil [[integral]] yang positif datang dari nilai [[Integral#Standar|integran]] yang [[Tanda (matematika)|non-negatif]]; bagian penyebutnya positif dan pembilangnya adalah hasil kali bilangan non-negatif. Dapat dengan mudah ditunjukkan kalau terdapat setidaknya satu titik pada interval integrasi yang nilai integrannya positif, misalnya <math>\dfrac{1}{2}</math>. Oleh karena integrannya kontinuu pada titik tersebut dan nilai integrannya non-negatif pada titik lainnya, maka hasil integral dari 0 sampai 1 haruslah positif.

Yang tersisa adalah menunjukkan nilai integralnya sama dengan <math>\dfrac{22}{7} - \pi</math>

:<math>\begin{align}
\int_0^1 \frac{x^4 \left( 1 - x \right)^4}{1 + x^2} \, \text{d}x &= \int_0^1 \frac{x^4 - 4x^5 + 6x^6 - 4x^7 + x^8}{1 + x^2} \, \text{d}x & \text{Hasil penjabaran suku-suku pada pembilang} \\[8pt]
&= \int_0^1 \left( x^6 - 4x^5 + 5x^4 - 4x^2 + 4 - \frac{4}{1 + x^2} \right) \, \text{d}x & \text{Pembagian polinomial dengan cara bersusun} & \\[8pt]
&= \left.\left( \frac{x^7}{7} - \frac{2x^6}{3} + x^5 - \frac{4x^3}{3} + 4x - 4 \arctan{x} \right) \,\right|_0^1 & \text{Teorema dasar kalkulus} \\[6pt]
&= \frac{1}{7} - \frac{2}{3} + 1 - \frac{4}{3} + 4 - \pi & \text{Ingat bahwa } \arctan(1) = \frac{\pi}{4} \text{ dan } \arctan(0) = 0 \\[8pt]
&= \frac{22}{7} - \pi & \text{Penjumlahan}
\end{align}</math>

(lihat [[pembagian bersusun|Pembagian polinomial dengan cara bersusun]] dan [[Teorema dasar kalkulus#Bagian_kedua|Teorema dasar kalkulus]])

== Estimasi Batas Atas dan Batas Bawah ==
Mengacu pada , jika nilai <math>x</math> pada penyebut diganti dengan <math>1</math>, maka akan diperoleh batas bawah dari integral tersebut, dan jika nilai <math>x</math> pada penyebut diganti dengan <math>0</math>, maka akan diperoleh batas atas dari integralnya.<ref>D. P. Dalzell. ''On 22/7''. ''Journal of the London Mathematical Society''. 1944. Vol. 19 (75 Part 3). hlm. 133–134. doi:10.1112/jlms/19.75_part_3.133..</ref> Perhatikan bahwa
:<math>\int_0^1 x^4 \left( 1 - x \right)^4 \, \text{d}x = \dfrac{1}{630} \qquad \text{dan} \qquad \int_0^1 \dfrac{x^4 \left( 1 - x \right)^4}{2} \, \text{d}x = \dfrac{1}{1260} </math>

Sehingga,
:<math>\begin{matrix}
{\displaystyle \int_0^1 \dfrac{x^4 \left( 1 - x \right)^4}{2} \, \text{d}x} & < & {\displaystyle \int_0^1 \dfrac{x^4 \left( 1 - x\right)^4}{1 + x^2} \, \text{d}x} & < & {\displaystyle \int_0^1 \dfrac{x^4 \left( 1 - x \right)^4}{1} \, \text{d}x} \\
\dfrac{1}{1260} & < & \dfrac{22}{7} - \pi & < & \dfrac{1}{630} \\
- \dfrac{1}{630} & < & \pi - \dfrac{22}{7} & < & - \dfrac{1}{1260} \\
\dfrac{22}{7} - \dfrac{1}{630} & < & \pi & < & \dfrac{22}{7} - \dfrac{1}{1260}
\end{matrix}</math>

yang berarti <math>3.1412 < \pi < 3.1421</math> dalam [[representasi desimal]]. Batas tersebut menyimpang kurang dari <math>0.015\%</math> from <math>\pi</math>. Lihat juga .<ref>D. P. Dalzell. ''On 22/7 and 355/113''. ''Eureka; the Archimedeans' Journal''. 1971. Vol. 34. hlm. 10–13..</ref>

== Bukti kalau 355/113 melebihi π ==
Seperti yang telah dibahas pada , [[hampiran Diophantus]] <math>\dfrac{355}{113}</math> yang terkenal dan estimasi atas yang lebih baik untuk <math>\pi</math> dapat diperoleh dari

:<math>0 < \int_0^1 \frac{x^8 \left( 1 - x \right)^8 \left( 25 + 816x^2 \right)}{3164 \left( 1 + x^2 \right)} \, dx = \frac{355}{113} - \pi</math>

:<math>\frac{355}{113}= 3.141 \, 592 \, 92\ldots</math>

di mana enam digit pertama setelah tanda koma serasi dengan enam digit pertama dari <math>\pi</math>. Jika nilai <math>x</math> pada penyebut diganti dengan <math>0</math>, maka akan diperoleh batas atas dari integral tersebut, yaitu

:<math>\int_0^1 \frac{ x^8 \left( 1 - x \right)^8 \left( 25 + 816x^2 \right)}{3164} \, dx =\frac{911}{2 \, 630 \, 555 \, 928} \approx 0.000 \, 000 \, 173\ldots</math>

Substitusikan nilai <math>1</math> pada variabel <math>x</math> di bagian penyebut, maka diperoleh setengah dari nilai ini sebagai batas bawahnya, sehingga

:<math>\frac{355}{113} - \frac{911}{2 \, 630 \, 555 \, 928} < \pi < \frac{355}{113} - \frac{911}{5 \, 261 \, 111 \, 856}</math>

Dalam [[representasi desimal]], ini artinya <math>\underline{3.141592}57 < \pi < \underline{3.141592}74</math>, dengan digit yang digarisbawahi pada batas bawah dan batas atas adalah digit yang serasi dengan bilangan <math>\pi</math>.

== Lihat juga ==
*[[Hampiran dari π|Hampiran dari <math>\pi</math>]]
*[[Kronologi dari komputasi bilangan π|Kronologi dari komputasi bilangan <math>\pi</math>]]
*[[Teorema Lindemann–Weierstrass]] (bukti bahwa <math>\pi</math> adalah [[Bilangan transenden]])
*[[Daftar topik yang berkaitan dengan π|Daftar topik yang berkaitan dengan <math>\pi</math>]]
*[[Bukti bahwa π irasional|Bukti bahwa <math>\pi</math> merupakan bilangan irasional]]

== Pranala luar ==
* [https://web.archive.org/web/20070730150749/http://www.kalva.demon.co.uk/putnam/putn68.html The problems of the 1968 Putnam competition], with this proof listed as question A1.

== Referensi ==
<references />

== Sumber dan atribusi ==

Konten artikel ini diadaptasi dari [https://id.wikipedia.org/w/index.php?title=Bukti+bahwa+22%2F7+melebihi+%CF%80&oldid=28474410 Wikipedia bahasa Indonesia], revisi 28474410 (2025-11-14T04:14:35Z), yang tersedia berdasarkan lisensi Creative Commons Atribusi-BerbagiSerupa (CC BY-SA). Mohon gunakan konten ini secara bijak serta sesuai dengan ketentuan lisensi yang berlaku.

<!-- WIKI_UNISSULA_PRESENTATION_V4 -->