Kaedah chakravala

Daripada testwiki
Pergi ke pandu arah Pergi ke carian

Templat:BM Templat:Terjemahan kasar Templat:Short description Kaedah chakravala (Templat:Lang-sa) 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]

Sejarah

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

x2=Ny2+1,

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 x2=61y2+1, penyelesaiannya

x=1766319049,y=226153980.

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]

Kaedahnya

Daripada pengenalan Brahmagupta, kita perhatikan bahawa untuk diberikan N,

(x1x2+Ny1y2)2N(x1y2+x2y1)2=(x12Ny12)(x22Ny22)

Untuk persamaan x2Ny2=k, ini membenarkan "komposisi" (samāsa) dua penyelesaian tiga kali ganda (x1,y1,k1) dan (x2,y2,k2) menjadi tiga kali ganda baru

(x1x2+Ny1y2,x1y2+x2y1,k1k2).

Dalam kaedah umum, idea utama ialah mana-mana tiga (a,b,k) (iaitu, satu yang memenuhi a2Nb2=k) boleh digubah dengan tiga kali ganda (m,1,m2N) untuk mendapatkan tiga kali ganda (am+Nb,a+bm,k(m2N)) untuk sebarang m. Dengan mengandaikan kita bermula dengan tiga kali ganda yang gcd(a,b)=1, ini boleh dikecilkan dengan k (ini ialah lemma Bhaskara):

a2Nb2=k(am+Nbk)2N(a+bmk)2=m2Nk

Oleh kerana tanda-tanda di dalam petak tidak penting, penggantian berikut adalah mungkin:

aam+Nb|k|,ba+bm|k|,km2Nk

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 k=1 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.

Kaedah gubahan Brahmagupta

Pada tahun 628 Masihi, Brahmagupta menemui cara umum untuk mencari x dan y bagi x2=Ny2+1, apabila diberi a2=Nb2+k, apabila k ialah ±1, ±2, atau ±4.[10]

k = -1

Menggunakan pengenalan Brahmagupta, untuk mengarang tiga (a,b,k) dengan dirinya sendiri: (a2+Nb2)2N(2ab)2=k2 (2a2k)2N(2ab)2=k2

Tiga kali ganda baharu boleh dinyatakan sebagai (2a2k,2ab,k2). Menggantikan k=1 untuk mendapatkan penyelesaian:

x=2a2+1,y=2ab

k = ±2

Sekali lagi menggunakan persamaan,(2a2k)2N(2ab)2=k2(2a2kk)2N(2abk)2=1

Menggantikan k=2,

x=a21,y=ab

Menggantikan k=2,

x=a2+1,y=ab

k = 4

Menggantikan k=4 ke dalam persamaan (2a244)2N(2ab4)2=1 mencipta tiga kali ganda (a222,ab2,1).

Manakah penyelesaian jika a genap:

x=a222,y=ab2

Jika a ganjil, mulakan dengan persamaan (a2)2N(b2)2=1 dan ( frac2a244)2N(2ab4)2=1.

Membawa kepada tiga kali ganda (a2,b2,1) dan (a222,ab2,1). Mengarang tiga kali ganda memberi (a2(a23))2N(b2(a21))2=1

Apabila a ganjil,

x=a2(a23))2,y=(b2(a21))2

k = -4

Apabila k=4, then (a2)2N(b2)2=1. Mengarang dengan sendiri membuahkan hasil (a2+Nb24)2N(ab2)2=1(a2+22)2N(ab2)2=1.

Sekali lagi mengarang sendiri membuahkan hasil ((a2+2)2+Na2b2)4)2N(ab(a2+2)2)2=1 (a4+4a2+22)2N(ab(a2+2)2)2=1

Akhir sekali, daripada persamaan terdahulu, susun tiga kali ganda (a2+22,ab2,1) dan (a4+4a2+22,ab(a2+2)2,1), untuk mendapatkan ((a2+2)(a4+4a2+2)+Na2b2(a2+2)4)2N(ab(a4+4a2+3)2)2=1((a2+2)(a4+4a2+1)2)2N(ab(a2+3)(a2+1)2)2=1((a2+2)[(a2+1)(a2+3)2)]2)2N(ab(a2+3)(a2+1)2)2=1.

Ini memberi kita penyelesaian

x=(a2+2)[(a2+1)(a2+3)2)]2y=ab(a2+3)(a2+1)2[11]

(Note, k=4 berguna untuk mencari penyelesaian kepada Persamaan Pell, tetapi ia bukan selalunya pasangan integer terkecil. cth. 36252*52=4. Persamaan akan memberi anda x=1093436498,y=151632270, yang apabila dimasukkan ke dalam Persamaan Pell menghasilkan 11956019558783508011195601955878350800=1, yang berfungsi, tetapi begitu juga x=649,y=90 untuk N=52.

Contoh

n = 61

Kes n = 61 (menentukan penyelesaian integer yang memuaskan a261b2=1), dikeluarkan sebagai cabaran oleh Fermat berabad-abad kemudian, telah diberikan oleh Bhaskara sebagai contoh.[9]

Kita mulakan dengan penyelesaian a261b2=k untuk sebarang k yang ditemui dengan apa-apa cara. Dalam kes ini kita boleh membiarkan b menjadi 1, oleh itu, oleh kerana 826112=3, kita mempunyai tiga kali ganda (a,b,k)=(8,1,3). Mengarangnya dengan (m,1,m261) memberikan tiga kali ganda (8m+61,8+m,3(m261)), yang dikecilkan (atau lemma Bhaskara digunakan secara langsung) untuk mendapatkan:

(8m+613,8+m3,m2613).

Untuk 3 membahagikan 8+m dan |m261| menjadi minimum, kami memilih m=7, 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 (39/2,5/2,1), yang digubah dengan dirinya sendiri tiga kali, dengan masing-masing m=7,11,9, apabila k menjadi segi empat sama dan penskalaan boleh digunakan, ini memberikan (1523/2,195/2,1). Akhir sekali, prosedur sedemikian boleh diulang sehingga penyelesaian ditemui (memerlukan 9 gubahan diri tambahan dan 4 skala persegi tambahan): (1766319049,226153980,1). Ini ialah penyelesaian integer minimum.

n = 67

Katakan kita hendak menyelesaikan x267y2=1 untuk x dan y.[12]

Kita mulakan dengan penyelesaian a267b2=k untuk sebarang k yang ditemui dengan sebarang cara; dalam kes ini kita boleh membiarkan b menjadi 1, dengan itu menghasilkan 826712=3. 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 am+Nb|k|,a+bm|k| dan m2Nk masing-masing.

Lelaran pertama

Kami mempunyai (a,b,k)=(8,1,3). 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 (abk) dengan (am+Nb|k|,a+bm|k|,m2Nk), kita mendapat nilai baharu a=(8 cdot7+671)/3=41,b=(8+17)/3=5,k=(7267)/(3)=6. Iaitu, kami mempunyai penyelesaian baharu:

41267(5)2=6.

Pada ketika ini, satu pusingan algoritma kitaran selesai.

Lelaran kedua

Kami kini mengulangi proses itu. Kami mempunyai (a,b,k)=(41,5,6). 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.:

90267112=7.
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.

221267272=2.
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

(2212+672722)267(22127)2=1,

iaitu, kita mempunyai penyelesaian integer:

4884226759672=1.

Persamaan ini menghampiri 67 sebagai 488425967 dalam jidar kira-kira 2×109.

Nota

Templat:Reflist

Rujukan

Pautan luar

Templat:Number theoretic algorithms

  1. 1.0 1.1 1.2 Hoiberg & Ramchandani – Students' Britannica India: Bhaskaracharya II, page 200
  2. Kumar, page 23
  3. Plofker, muka surat 474
  4. 4.0 4.1 4.2 Goonatilake, page 127 – 128
  5. 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."

  6. Templat:Cite book
  7. Templat:MacTutor
  8. Kaye (1919), p. 337.
  9. 9.0 9.1 Templat:Citation
  10. Templat:Cite web
  11. Templat:Cite book
  12. Contoh dalam bahagian ini diberikan (dengan tatatanda Qn untuk k, Pn untuk m, dsb.) dalam:Templat:Citation