Kaedah chakravala (Sanskrit: चक्रवाल विधि) ialah algoritma kitaran untuk menyelesaikan tak tentu persamaan kuadratiks , termasuk persamaan Pell. Ia biasanya dikaitkan dengan Bhāskara II, (s. 1114 – 1185 CE)[1][2] walaupun ada yang mengaitkannya dengan Jayadeva (s. 950 ~ 1000 CE).[3] Jayadeva menegaskan bahawa pendekatan Brahmagupta untuk menyelesaikan persamaan jenis ini boleh digeneralisasikan, dan dia kemudian menerangkan kaedah umum ini, yang kemudiannya diperhalusi oleh Bhāskara II dalam risalah Bijaganitanya. Dia memanggilnya kaedah Chakravala: chakra bermaksud "roda" dalam Sanskrit, merujuk kepada sifat kitaran algoritma.[4] C.-O. Selenius berpendapat bahawa tiada persembahan Eropah pada masa Bhāskara, dan tidak lama kemudian, melebihi ketinggian kerumitan matematiknya yang mengagumkan.[1][4]
Kaedah ini juga dikenali sebagai kaedah kitaran dan mengandungi kesan aruhan matematik.[5]
Chakra dalam bahasa Sanskrit bermaksud kitaran. Mengikut legenda popular, Chakravala menunjukkan rangkaian mitos gunung yang mengelilingi bumi seperti dinding dan tidak dihadkan oleh cahaya dan kegelapan.[6]
Brahmagupta pada 628 CE mengkaji persamaan kuadratik tak tentu, termasuk persamaan Pell
untuk integer minimum x dan y. Brahmagupta boleh menyelesaikannya untuk beberapa N, tetapi bukan semua.
Jayadeva (abad ke-9) dan Bhaskara (abad ke-12) menawarkan penyelesaian lengkap pertama untuk persamaan, menggunakan kaedah chakravala untuk mencari penyelesaiannya
Kes ini terkenal dengan kesukarannya, dan pertama kali diselesaikan di Eropah oleh Brouncker pada 1657–58 sebagai tindak balas kepada cabaran oleh Fermat , menggunakan pecahan bersambung. Kaedah untuk masalah umum pertama kali diterangkan sepenuhnya oleh Lagrange pada tahun 1766.[7] Kaedah Lagrange, walau bagaimanapun, memerlukan pengiraan 21 penumpuan berturut-turut bagi pecahan bersambung untuk punca kuasa dua daripada 61, manakala kaedah chakravala adalah lebih mudah. Selenius, dalam penilaiannya tentang kaedah "chakravala", menyatakan
- "Kaedah ini mewakili algoritma penghampiran terbaik dengan panjang minimum yang, disebabkan oleh beberapa sifat pengecilan, dengan usaha yang minimum dan mengelakkan bilangan besar secara automatik menghasilkan penyelesaian terbaik kepada persamaan. Kaedah chakravala menjangkakan kaedah Eropah dengan lebih daripada seribu tahun. Tetapi tiada persembahan Eropah dalam keseluruhan bidang algebra pada satu masa lebih lewat daripada Bhaskara, bahkan hampir menyamai zaman kita, menyamai kerumitan dan kepintaran yang menakjubkan dari chakravala."[1][4]
Hermann Hankel memanggil kaedah chakravala
- "perkara terbaik yang dicapai dalam teori nombor sebelum Lagrange."[8]
Daripada pengenalan Brahmagupta, kita perhatikan bahawa untuk diberikan N,
Untuk persamaan , ini membenarkan "komposisi" (samāsa) dua penyelesaian tiga kali ganda dan menjadi tiga kali ganda baru
Dalam kaedah umum, idea utama ialah mana-mana tiga (iaitu, satu yang memenuhi ) boleh digubah dengan tiga kali ganda untuk mendapatkan tiga kali ganda untuk sebarang m. Dengan mengandaikan kita bermula dengan tiga kali ganda yang , ini boleh dikecilkan dengan k (ini ialah lemma Bhaskara):
Oleh kerana tanda-tanda di dalam petak tidak penting, penggantian berikut adalah mungkin:
Apabila integer positif m dipilih supaya (a + bm)/k ialah integer, begitu juga dengan dua nombor lain dalam rangkap tiga. Di antara m itu, kaedah memilih kaedah yang meminimumkan nilai mutlak m2 − N dan oleh itu daripada (m2 − N)/k. Kemudian hubungan penggantian digunakan untuk m sama dengan nilai yang dipilih. Ini menghasilkan tiga kali ganda baharu (a, b, k). Proses ini diulang sehingga tiga kali ganda dengan ditemui. Kaedah ini sentiasa ditamatkan dengan penyelesaian (dibuktikan oleh Lagrange pada tahun 1768).[9]
Secara pilihan, kita boleh berhenti apabila k ialah ±1, ±2, atau ±4, kerana pendekatan Brahmagupta memberikan penyelesaian untuk kes tersebut.
Pada tahun 628 Masihi, Brahmagupta menemui cara umum untuk mencari dan bagi apabila diberi , apabila k ialah ±1, ±2, atau ±4.[10]
k = -1
Menggunakan pengenalan Brahmagupta, untuk mengarang tiga dengan dirinya sendiri:
Tiga kali ganda baharu boleh dinyatakan sebagai . Menggantikan untuk mendapatkan penyelesaian:
k = ±2
Sekali lagi menggunakan persamaan,
Menggantikan ,
Menggantikan ,
k = 4
Menggantikan ke dalam persamaan mencipta tiga kali ganda .
Manakah penyelesaian jika genap:
Jika a ganjil, mulakan dengan persamaan dan .
Membawa kepada tiga kali ganda dan . Mengarang tiga kali ganda memberi
Apabila ganjil,
k = -4
Apabila , then . Mengarang dengan sendiri membuahkan hasil .
Sekali lagi mengarang sendiri membuahkan hasil
Akhir sekali, daripada persamaan terdahulu, susun tiga kali ganda dan , untuk mendapatkan
.
Ini memberi kita penyelesaian
[11]
(Note, berguna untuk mencari penyelesaian kepada Persamaan Pell, tetapi ia bukan selalunya pasangan integer terkecil. cth. . Persamaan akan memberi anda , yang apabila dimasukkan ke dalam Persamaan Pell menghasilkan , yang berfungsi, tetapi begitu juga untuk .
n = 61
Kes n = 61 (menentukan penyelesaian integer yang memuaskan ), dikeluarkan sebagai cabaran oleh Fermat berabad-abad kemudian, telah diberikan oleh Bhaskara sebagai contoh.[9]
Kita mulakan dengan penyelesaian untuk sebarang k yang ditemui dengan apa-apa cara. Dalam kes ini kita boleh membiarkan b menjadi 1, oleh itu, oleh kerana , kita mempunyai tiga kali ganda . Mengarangnya dengan memberikan tiga kali ganda , yang dikecilkan (atau lemma Bhaskara digunakan secara langsung) untuk mendapatkan:
Untuk 3 membahagikan dan menjadi minimum, kami memilih , supaya kami mempunyai tiga kali ganda <matematik>(39, 5, -4)</math>. Memandangkan k ialah &tolak;4, kita boleh menggunakan idea Brahmagupta: ia boleh dikecilkan kepada penyelesaian rasional , yang digubah dengan dirinya sendiri tiga kali, dengan masing-masing , apabila k menjadi segi empat sama dan penskalaan boleh digunakan, ini memberikan . Akhir sekali, prosedur sedemikian boleh diulang sehingga penyelesaian ditemui (memerlukan 9 gubahan diri tambahan dan 4 skala persegi tambahan): . Ini ialah penyelesaian integer minimum.
n = 67
Katakan kita hendak menyelesaikan untuk x dan y.[12]
Kita mulakan dengan penyelesaian untuk sebarang k yang ditemui dengan sebarang cara; dalam kes ini kita boleh membiarkan b menjadi 1, dengan itu menghasilkan . Pada setiap langkah, kami menemui m > 0 sedemikian rupa sehingga k membahagikan a + bm dan |m< sup>2 &tolak; 67| adalah minimum. Kami kemudian mengemas kini a, b dan k kepada dan masing-masing.
- Lelaran pertama
Kami mempunyai . Kami mahukan integer positif m supaya k membahagi a + bm, iaitu 3 bahagi 8 + m dan |m2 &tolak; 67| adalah minimum. Syarat pertama membayangkan bahawa m adalah dalam bentuk 3t + 1 (iaitu 1, 4, 7, 10,… dll.), dan di antara m itu, nilai minimum ialah dicapai untuk m = 7. Menggantikan (a, b, k) dengan , kita mendapat nilai baharu . Iaitu, kami mempunyai penyelesaian baharu:
Pada ketika ini, satu pusingan algoritma kitaran selesai.
- Lelaran kedua
Kami kini mengulangi proses itu. Kami mempunyai . Kami mahukan m > 0 supaya k membahagikan a + bm, iaitu 6 bahagi 41 + 5m dan |m2 − 67| adalah minimum. Syarat pertama membayangkan bahawa m adalah dalam bentuk 6t + 5 (iaitu 5, 11, 17,… dsb.), dan antara m itu, |m2 − 67| adalah minimum untuk m = 5. Ini membawa kepada penyelesaian baharu a = (41⋅5 + 67⋅5)/6, dsb.:
- Lelaran ketiga
Untuk 7 membahagi 90 + 11m, kita mesti mempunyai m = 2 + 7t (iaitu 2, 9, 16,… dsb.) dan antara m, kita pilih m = 9.
- Penyelesaian muktamad
Pada ketika ini, kita boleh meneruskan kaedah kitaran (dan ia akan berakhir, selepas tujuh lelaran), tetapi memandangkan sebelah kanan adalah antara ±1, ±2, ±4, kita juga boleh menggunakan pemerhatian Brahmagupta secara langsung. Mengarang tiga kali ganda (221, 27, &tolak;2) dengan dirinya sendiri, kita dapat
iaitu, kita mempunyai penyelesaian integer:
Persamaan ini menghampiri sebagai dalam jidar kira-kira .
Hoiberg & Ramchandani – Students' Britannica India: Bhaskaracharya II, page 200
Goonatilake, page 127 – 128
Cajori (1918), ms. 197" Proses penaakulan yang dipanggil "Induksi Matematik" mempunyai beberapa asal usul bebas. Ia telah dikesan kembali kepada Jakob (James) Bernoulli dari Switzerland, warga Perancis B. Pascal dan P. Fermat, dan F. Maurolycus dari Itali. [...] Dengan membaca sedikit di antara baris seseorang boleh menemui jejak aruhan matematik yang masih lebih awal, dalam tulisan orang Hindu dan Yunani, seperti, misalnya, dalam "kaedah kitaran" Bhaskara, dan dalam bukti Euclid bahawa bilangan prima adalah tidak terhingga."
Gopal, Madan (1990). K.S. Gautam (penyunting). India through the ages. Publication Division, Ministry of Information and Broadcasting, Government of India. m/s. 79.
Datta and Singh (1962). History of Hindu Mathematics : A Source Book Parts I and II. Asia Publishing House. m/s. 157–160. ISBN 8180903907.
Contoh dalam bahagian ini diberikan (dengan tatatanda untuk k, untuk m, dsb.) dalam:Michael J. Jacobson; Hugh C. Williams (2009), Solving the Pell equation, Springer, m/s. 31, ISBN 978-0-387-84922-5
- Florian Cajori (1918), Origin of the Name "Mathematical Induction", The American Mathematical Monthly 25 (5), p. 197-201.
- George Gheverghese Joseph, The Crest of the Peacock: Non-European Roots of Mathematics (1975).
- G. R. Kaye, "Indian Mathematics", Isis 2:2 (1919), p. 326–356.
- Clas-Olaf Selenius, "Rationale of the chakravala process of Jayadeva and Bhaskara II", Historia Mathematica 2 (1975), pp. 167–184.
- Clas-Olaf Selenius, "Kettenbruchtheoretische Erklärung der zyklischen Methode zur Lösung der Bhaskara-Pell-Gleichung", Acta Acad. Abo. Math. Phys. 23 (10) (1963), pp. 1–44.
- Hoiberg, Dale & Ramchandani, Indu (2000). Students' Britannica India. Mumbai: Popular Prakashan. ISBN 0-85229-760-2
- Goonatilake, Susantha (1998). Toward a Global Science: Mining Civilizational Knowledge. Indiana: Indiana University Press. ISBN 0-253-33388-1.
- Kumar, Narendra (2004). Science in Ancient India. Delhi: Anmol Publications Pvt Ltd. ISBN 81-261-2056-8
- Ploker, Kim (2007) "Mathematics in India". The Mathematics of Egypt, Mesopotamia, China, India, and Islam: A Sourcebook New Jersey: Princeton University Press. ISBN 0-691-11485-4
- Edwards, Harold (1977). Fermat's Last Theorem. New York: Springer. ISBN 0-387-90230-9.
Templat:Number theoretic algorithms