Formula rekursif dari Apéry sangat baik menggambarkan bukti empiris (numerik) bahwa adalah irasional.
Dari formula rekursif pada tulisan sebelumnya, dapat dicatat bahwa :
Sehingga formula rekursif untuk dan menjadi seperti ini :
yang berlaku untuk semua
Permasalahan pada tulisan ini adalah untuk menjamin bahwa kekonvergenan tidak terlalu cepat, untuk bisa membuktikan bahwa adalah irasional. Untuk itu perlu ditentukan batasan-batasan numeris agar kriteria keirasionalan terpenuhi. Lebih jelasnya, kita akan mencari tahu nilai eksak untuk serta pertumbuhan dari dan agar konvergen tidak terlalu cepat, paling tidak ia konvergen dalam jangka panjang (disebut pertumbuhan quasi-geometrik).
Selanjutnya harus ditunjukkan dua hal berikut : Pertama, jika adalah barisan dengan ketika untuk semua , maka harus merupakan barisan bilangan bulat, atau ditulis Kedua, jika ketika untuk semua , maka harus merupakan barisan bilangan bulat juga, , dengan penyebut pada membagi dua kali kelipatan persekutan terkecil (kpk) dari atau ditulis (angka ini bersesuaian dengan faktor pada penyebut , yang akan dilihat nanti). Hal yang kedua ini ada kaitannya dengan Teorema Bilangan Prima dan perlu penjelasan tersendiri.
Pada tulisan ini akan difokuskan untuk menguji hal yang pertama. Untuk itu diperlukan Lemma.
Lemma 4. Melalui notasi O besar kita akan membuktikan :
yang berarti bahwa :
Bukti :
Jika dikalikan dengan dan dengan dan mengurangkan yang kedua dari yang pertama, diperoleh :
atau dalam pernyataan lain,
yang berarti ketika , maka :
Dengan memproses ini secara induktif untuk semua , terdapat :
Pada kasus didapatkan identitas berikut :
atau
Ini dapat diuji dengan dan sehingga didapat :
.
Karena itu,
yang merupakan zona numeris ketika
Untuk mendapatkan batasan numeris pada penutupnya, pada sembarang bilangan asli kita definiskan :
Maka,
Dari Lemma 2, karena , maka ini bisa kita tulis :
Jadi adalah barisan bilangan bulat , yang langsung bertambah dengan pertambahan positif, sehingga ini bisa ditulis :
Dengan kata lain,
Dan karena itu bisa disimpulkan:
Selanjutnya akan ditentukan nilai estimasi pada dan nilai eksak . Untuk itu diperlukan Lemma berikut ini.
Lemma 5. Jika maka
Bukti :
Formula rekursif bisa digunakan untuk mengestimasi pada suatu laju tertentu secara asimtotik. Dengan menuliskan secara eksplisit, dan membagi semua suku dengan maka setelah disederhanakan menjadi :
Untuk ketika cukup besar identitas di atas menjadi :
atau
Karena tumbuh membesar ke arah positif sehingga kita ambil nilai akar positif dari persamaan kuadrat tersebut, yaitu :
dari situ diperoleh nilai estimasi atau yang merupakan pertumbuhan quasi-geometrik karena ia mendekati pertumbuhan geometrik, paling tidak dalam jangka panjang.
One thought on “Zona Numeris pada Konstanta Apéry”