Mavzu: Yevklid algoritmi
Yaroqlilik isboti [ tahrirlash ]
Download 56.96 Kb.
|
Evklidning elementlari
Yaroqlilik isboti [ tahrirlash ]Evklid algoritmining haqiqiyligini ikki bosqichli argument bilan isbotlash mumkin. Birinchi bosqichda yakuniy nolga teng bo'lmagan qoldiq r N -1 a va b ni bo'lish uchun ko'rsatilgan . U umumiy bo'luvchi bo'lgani uchun u eng katta umumiy bo'luvchi g dan kichik yoki unga teng bo'lishi kerak . Ikkinchi bosqichda a va b ning har qanday umumiy bo'luvchisi , shu jumladan g , r N -1 ga bo'linishi kerakligi ko'rsatilgan ; shuning uchun g r N -1 dan kichik yoki teng bo'lishi kerak . Bu ikki qarama-qarshi tengsizlik r N ni bildiradi−1 = g . r N −1 a va b ni ham (birinchi qadam) bo‘lishini ko‘rsatish uchun r N −1 o‘zidan oldingi r N −2 ni ajratadi. r N -2 = q N r N -1 chunki oxirgi qoldiq r N nolga teng. r N -1 o'zidan keyingi oldingi r N -3 ni ham ajratadi r N -3 = q N -1 r N -2 + r N -1 chunki u har ikkala shartni tenglamaning o'ng tomoniga ajratadi. Xuddi shu argumentni takrorlash, r N -1 oldingi barcha qoldiqlarni, shu jumladan a va b ni ajratadi . Oldingi qoldiqlarning hech biri r N -2 , r N -3 va boshqalar a va b ni ajratmaydi , chunki ular qoldiq qoldiradi. r N -1 a va b ning umumiy bo'luvchisi bo'lgani uchun r N -1 ≤ g . Ikkinchi bosqichda a va b ni ham bo‘luvchi har qanday natural c soni (boshqacha aytganda, a va b ning har qanday umumiy bo‘luvchisi) r k qoldiqlarini ajratadi . Ta'rifga ko'ra, a va b c ning ko'paytmalari sifatida yozilishi mumkin : a = mc va b = nc , bu erda m va n natural sonlardir. Shuning uchun, c boshlang'ich qoldiqni r 0 ga bo'ladi , chunki r 0 = a - q 0 b = mc - q 0 nc = ( m - q 0 n ) c . O'xshash argument c ning keyingi qoldiqlarni ham bo'lishini ko'rsatadi r 1 , r 2 , va hokazo. Shuning uchun eng katta umumiy bo'luvchi g r N -1 ni bo'lishi kerak , bu g ≤ r N -1 ni nazarda tutadi . Argumentning birinchi qismi teskarisini ko'rsatganligi sababli ( r N -1 ≤ g), bundan g = r N -1 kelib chiqadi . Shunday qilib, g barcha keyingi juftlarning eng katta umumiy boʻluvchisidir: g = gcd( a , b ) = gcd( b , r 0 ) = gcd( r 0 , r 1 ) = … = gcd( r N -2 , r N -1 ) = r N -1 . Misol: Misol uchun, Evklid algoritmidan a = 1071 va b = 462 ning eng katta umumiy boʻluvchisini topish uchun foydalanish mumkin. Boshlash uchun, 462 ning karralari 1071 dan qoldiq 462 dan kichik boʻlguncha ayiriladi. Bunday ikkita koʻpaytmani ayirish mumkin ( q) . 0 = 2), 147 qoldig'ini qoldirib: 1071 = 2 × 462 + 147. Keyin 147 ning karralari 462 dan qoldiq 147 dan kichik bo'lgunga qadar ayiriladi. Uch karrali ayirish mumkin ( q 1 = 3), qoldiq 21: 462 = 3 × 147 + 21. Keyin 147 dan 21 ning koʻpaytmalari qoldiq 21 dan kichik boʻlguncha ayiriladi. Etti karrali ayirish mumkin ( q 2 = 7 ), qoldiq qolmaydi: 147 = 7 × 21 + 0. Oxirgi qoldiq nolga teng bo'lganligi sababli, algoritm 1071 va 462 ning eng katta umumiy bo'luvchisi sifatida 21 bilan tugaydi. Bu yuqoridagi tub faktorizatsiya orqali topilgan gcd (1071, 462) bilan mos keladi . Jadval shaklida bosqichlar Evklid algoritmini eng katta umumiy bo'luvchi uchun yuqorida berilgan plitka o'xshashligi nuqtai nazaridan tasavvur qilish mumkin. [17] Faraz qilaylik, biz a × b toʻrtburchakni toʻgʻridan-toʻgʻri toʻrtburchaklar bilan qoplashni xohlaymiz , bunda a ikki raqamdan kattasi. Biz birinchi navbatda b × b kvadrat plitalari yordamida to'rtburchakni plitka qo'yishga harakat qilamiz ; ammo, bu r 0 × b qoldiq to'rtburchakni oxirigacha qoldiradi, bu erda r 0 < b . Keyin qoldiq to'rtburchakni r 0 × r 0 kvadrat plitalar bilan qoplashga harakat qilamiz . Bu ikkinchi qoldiq to'rtburchakni qoldiradir 1 × r 0 , biz r 1 × r 1 kvadrat plitalari yordamida plitka qo'yishga harakat qilamiz va hokazo. Ketma-ketlik qoldiq to'rtburchaklar bo'lmaganda, ya'ni kvadrat plitalar oldingi qoldiq to'rtburchakni to'liq qoplaganida tugaydi. Eng kichik kvadrat kafelning yon tomonlarining uzunligi asl to'rtburchakning o'lchamlarining GCD dir. Misol uchun, qo'shni rasmdagi eng kichik kvadrat kafel 21 × 21 (qizil rangda ko'rsatilgan) va 21 - 1071 va 462 GCD, asl to'rtburchakning o'lchamlari (yashil rangda ko'rsatilgan). Download 56.96 Kb. Do'stlaringiz bilan baham: |
Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©fayllar.org 2024
ma'muriyatiga murojaat qiling
ma'muriyatiga murojaat qiling