Riyaziyyatı öyrənməyin yeganə yolu riyaziyyatla məşğul olmaqdır.
Qeyd. Bu dərsdə nə var. On bir dərs boyunca ayrı-ayrı alətlər öyrəndik: bölünmə və ƏBOB, sadə vuruqlara ayrılış, bölənlərin sayı, konqruensiyalar, qalıq cədvəlləri, Ferma–Eyler–Vilson, Çin qalıq teoremi, Diofant tənliklərinin dörd metodu, faktorial və rəqəmlər. Olimpiadada isə məsələnin üstündə «bu, Dərs 7-nin məsələsidir» yazılmır. Buna görə bu son dərsdə yeni nəzəriyyə demək olar ki yoxdur. Əvəzində üç şey öyrənəcəyik:
- 1. bütün silsilənin alət xəritəsi — hansı alət nə vaxt işləyir;
- 2. diaqnostika — naməlum məsələdə düzgün alətə necə çatmaq;
- 3. sintez — iki-üç alətin bir həlldə necə birləşdirilməsi, həllin necə yazılması və imtahanda vaxtın necə bölünməsi.
Qeyd. Blok A — Bünövrə (Dərs 2–4).
Blok B — Konqruensiyalar (Dərs 5–8).
Blok C — Tətbiq və sintez (Dərs 9–12).
| Dərs 2 | Bölünmə, qalıqlı bölmə , ; bölünmə əlamətləri; qalıqlara görə hallara ayırma. |
| Dərs 3 | Sadə ədədlər, kanonik ayrılış, hesabın əsas teoremi; bölənlərin sayı , cəmi . |
| Dərs 4 | ƏBOB, ƏKOB, Evklid alqoritmi, Bezu münasibəti ; qarşılıqlı sadəlik. |
| Dərs 5 | Konqruensiya anlayışı, əməliyyat qaydaları, ixtisar şərti, tam qalıq sistemi. |
| Dərs 6 | Qalıq cədvəlləri, kvadrat/kub qalıqları, «ola bilməz» metodu, dövrilik. |
| Dərs 7 | Ferma kiçik teoremi, Eyler teoremi və , Vilson teoremi, mərtəbə (). |
| Dərs 8 | Xətti Diofant tənlikləri, xətti konqruensiyalar, Çin qalıq teoremi. |
| Dərs 9 | Diofant: vuruqlara ayırma, SFFT, eyniliklər, sərhədləmə, simmetriya/WLOG. |
| Dərs 10 | Diofant: modulla ziddiyyət, diskriminant, sonsuz eniş. |
| Dərs 11 | Legendre düsturu, sonundakı sıfırlar, Kummer, rəqəmlər cəmi (mod 9/11). |
| Dərs 12 | Sintez: diaqnostika, alətlərin birləşdirilməsi, həllin yazılışı. |
Qeyd. Bir səhifəlik düstur kartı.
| Bezu | (uyğun tam ədədləri var) |
| ƏBOB–ƏKOB | |
| Bölənlər | , |
| Eyler | , çoxaldıcı |
| Ferma | ; hər üçün |
| Eyler | |
| Vilson | sadə |
| Mərtəbə | ; |
| ÇQT | cüt-cüt qarşılıqlı sadə sistem üzrə yeganə həll |
| Xətti tənlik | həll edilir |
| SFFT | |
| Kvadratlar | : ; : ; : ; : ; : |
| Kublar | : ; : |
| Legendre | |
| Kummer | toplamasındakı keçidlərin sayı ( əsasında) |
| Rəqəmlər | , |
Üç sual qaydası. Hər məsələdə ilk 60 saniyədə bu üç suala cavab verin:
- 1. Nə soruşulur? — «tap», «isbat et», «neçə», «ən kiçik/ən böyük», «mümkündürmü». Sual tipi cavabın formasını müəyyən edir.
- 2. Hansı obyektlər var? — sadə ədəd? faktorial? qüvvət? rəqəmlər? bölənlər? tənlik? Obyekt aləti seçir.
- 3. Nə sabitdir? — məsələdəki konkret ədəd (, , ) çox vaxt hansı modulla işləməyi göstərir.
Qeyd. Obyekt alət cədvəli.
| Məsələdə görürsünüz | İlk sınayacağınız alət |
| böyük göstərici ilə | Mərtəbə + Ferma/Eyler (Dərs 7); qalıq dövrü (Dərs 6) |
| Legendre; (Dərs 11) | |
| Kummer (Dərs 11) | |
| rəqəmlər, rəqəmlər cəmi | mod / mod invariantı + sərhədi (Dərs 11) |
| , | kanonik ayrılış + çoxaldıcılıq (Dərs 4) |
| SFFT (Dərs 9) | |
| vuruqlara ayırma + cütlük (Dərs 9) | |
| Bezu + ümumi həll (Dərs 8) | |
| qalıq sistemləri | ÇQT (Dərs 8) |
| «həlli yoxdur» şübhəsi | modul ziddiyyəti (Dərs 10) |
| bir dəyişənə görə kvadrat | diskriminant (Dərs 10) |
| bircins tənlik, hamısı | sonsuz eniş (Dərs 10) |
| , | Evklid + (Dərs 2) |
| sadə şərti | Ferma/Vilson; kiçik -ləri ayrıca yoxla (Dərs 3, 7) |
Modul seçimi — «hansı ədədə baxım?». Modul ziddiyyəti axtarırsınızsa, aşağıdakı ardıcıllıqla sınayın:
- 1. Tənlikdəki sabitin bölənləri (məsələn görürsünüzsə mod və mod ).
- 2. Kvadrat varsa: mod , mod , mod , mod , mod .
- 3. Kub varsa: mod , mod .
- 4. Dördüncü dərəcə varsa: mod , mod .
- 5. varsa: -un böldüyü modul, yəni -nın dövrünü kiçildən .
- 6. Faktorial varsa: sabitdən böyük hər hansı kiçik modul (faktorial olur).
Nümunə 2.1 (Diaqnostika məşqi). Aşağıdakı məsələlərin hər biri üçün yalnız hansı alətin işlədiləcəyini deyin (həll etməyin):
- (a) ədədinin son üç rəqəmini tapın.
- (b) tənliyinin bütün tam həllərini tapın.
- (c) olan ən kiçik -i tapın.
- (d) tənliyinin tam həllərini tapın.
- (e) ədədinin sonunda sıfır ola bilərmi?
- (f) tənliyinin həlli varmı?
Həll.
- (a) Son üç rəqəm mod . , deməli Eyler: . Dərs 7.
- (b) Kvadratların cəmi konkret ədəd: sərhədləmə () mod ilə cütlük. Dərs 6 və 9.
- (c) : göstəricilər və ya . Dərs 4.
- (d) SFFT: və -in əmsalları var formasına salın. Dərs 9.
- (e) tənliyi: təxmin , sonra -in qatlarında dəqiqləşdirmə. Dərs 11.
- (f) Kublar mod : ; üç kubun cəmi heç vaxt və ya ola bilməz. — maneə yoxdur, deməli başqa modul və ya konstruksiya lazımdır. Dərs 10.
Nümunə 3.1 (Eyler ÇQT). ədədinin son üç rəqəmini tapın.
Həll. Mod lazımdır. və , deməli ÇQT ilə iki hissəyə ayıraq. Mod : , deməli . Mod : və , deməli . , buradan . Hesablayaq: . Onda . , deməli . Nəhayət . Birləşdirmə: , . və : , , deməli , . (), buradan . : . Cavab:
Nümunə 3.2 (Sərhədləmə modul vuruqlara ayırma). tənliyinin bütün tam həllərini tapın.
Həll. Addım 1 — sərhəd. , deməli . Addım 2 — modul. . Kvadratlar mod -də və ya -dir, cəmin olması üçün hər iki kvadrat olmalıdır, yəni və hər ikisi təkdir. Bu, axtarışı yarıya endirir. Addım 3 — daha incə modul. Mod : tək kvadratlar , deməli . — uyğundur, maneə yoxdur. Addım 4 — axtarış. tək, : -nin tam kvadrat olduğu halları yoxlayaq. : (bəli). : — yox. : — yox. : (bəli). Ümumiyyətlə və sadə ədəddir; iki kvadratın cəmi teoreminə görə belə ayrılış (işarə və sıra nəzərə alınmadan) yeganədir. Cavab: və — cəmi sıralı həll
Nümunə 3.3 (Bölənlərin sayı sərhədləmə). olan ən kiçik müsbət tam -i tapın.
Həll. üçün . -in ayrılışları: , , .
- • : , ən kiçiyi .
- • : . Kiçik saxlamaq üçün böyük göstəricini kiçik əsasa verin: . (Əksi: .)
Nümunə 3.4 (SFFT bölənlərin sayımı). tənliyinin bütün tam həllərini tapın.
Həll. Qruplaşdıraq: . olduğundan
sadədir, tam vuruq cütləri: .
Cavab:
Nümunə 3.5 (Legendre tərs məsələ). ədədinin sonunda düz sıfır ola bilərmi?
Həll. Sıfırların sayı -dir və təxminən -ə bərabərdir, deməli ətrafına baxaq.
Növbəti sıçrayış -də olur: , yəni funksiya birdən artır (çünki ). Cavab: Bəli:
Nümunə 3.6 (Mərtəbə Ferma). olarsa, üçün olduğunu isbat edin və olan bütün belə -ləri tapın.
Həll. İsbat. olsun. Əvvəlcə təkdir: cüt olsaydı, tək olduğu üçün cüt ədədə bölünə bilməzdi. ilə -in ən kiçik sadə bölənini işarə edək ( tək). Şərtdən , deməli . olsun. Onda
(ikincisi ona görə ki ; burada olduğundan ). və olmasından çıxır ( tək olduğundan ). Deməli , burada tək və . Ferma kiçik teoreminə görə , yəni , buradan . Lakin və -in -dən kiçik yeganə böləni -dir (çünki ən kiçik sadə bölənidir). Deməli , , yəni , buradan . üçün siyahı. Yuxarıdakı mühakimə yalnız ən kiçik sadə bölənin olduğunu verir, ona görə qalan halları yoxlamaq lazımdır. olduğundan bütün -lar şərti ödəyir: . -ə qədər başqa namizədləri (, formalı) birbaşa yoxlamaqla onların şərti ödəmədiyi görünür. Diqqət: sərhəd -dən böyük olsaydı, siyahı yalnız -ün qüvvətlərindən ibarət qalmazdı — məsələn də şərtini ödəyir. Cavab:
Nümunə 3.7 (Rəqəmlər mərtəbə). ədədinin -yə bölünməsindən alınan qalığı tapın.
Həll. . Mod -də və (), deməli ardıcıllığı -ya görə dövrlüdür:
, deməli . Cavab:
Nümunə 3.8 (Vilson ÇQT). ədədinin -ə və ədədinin -yə bölünməsindən alınan qalıqları tapın.
Həll. sadədir, deməli Vilson teoreminə görə
də sadədir ( və ədədi -ün heç birinə bölünmür), deməli eyni səbəbdən
Cavab: və
Nümunə 3.9 (Vuruqlara ayırma sadə ədədlərin xassəsi). tənliyini ödəyən bütün sadə ədəd cütlərini tapın.
Həll. , yəni . Cütlük. olsaydı — tək ədəd cüt ədədə bərabər ola bilməz. Deməli təkdir və , ardıcıl cüt ədədlərdir, yəni hasil -ə bölünür: , buradan , yəni cütdür. sadə olduğundan . Onda , — sadədir. Cavab:
Nümunə 3.10 (Bölənlərin sayı Legendre). şəklində olub düz böləni olan ən kiçik ədədi tapın.
Həll. . sadə olduğundan -nın ayrılışları:
Uyğun cütləri: , , , . Ədədi kiçik saxlamaq üçün böyük göstərici kiçik əsasda olmalıdır:
Müqayisə: ilə — ikincisi qat-qat kiçikdir. Digər iki variant (, ) daha böyükdür. Cavab:
Yaxşı həllin altı elementi.
- 1. Cavab aydın görünür. Sonda «Cavab: …» yazın. Münsif cavabı axtarmamalıdır.
- 2. Bütün hallar sadalanıb. «Simmetriyaya görə qəbul edirik» yazırsınızsa, sonda simmetrik həlləri geri qaytarın.
- 3. Kiçik hallar ayrıca yoxlanıb. « üçün ziddiyyət» arqumentindən sonra mütləq yazılmalıdır.
- 4. Hər iki istiqamət. «Tapın» sualında tapdığınız cavabların ödədiyini də yoxlayın (zəruri kafi).
- 5. İstifadə olunan teoremin şərti yoxlanıb. Eyler teoremi üçün ; ixtisar üçün ; ÇQT üçün modulların qarşılıqlı sadəliyi.
- 6. Sonsuz eniş düzgün bağlanıb. «Ən kiçik müsbət həll götürək» ilə başlayın və daha kiçiyini quraraq ziddiyyət alın.
Qeyd. Silsilə boyu ən çox təkrarlanan on səhv.
- 1. Konqruensiyada şərtsiz ixtisar: yalnız olduqda.
- 2. Eyler teoremini qarşılıqlı sadə olmayan halda tətbiq etmək ( yanlışdır).
- 3. -ni toplanan saymaq: yalnız olduqda.
- 4. Mərtəbədə: olmasından nəticəsi çıxarmaq. Doğrusu: .
- 5. ÇQT-də modulların qarşılıqlı sadəliyini yoxlamamaq; qarşılıqlı sadə olmayanda uyğunluq şərtini unutmaq.
- 6. Vuruqlara ayırmada mənfi vuruqları unutmaq: üçün də var.
- 7. məsələsində halını yoxlamamaq (həll yoxdur).
- 8. Sonundakı sıfırları ilə saymaq (doğrusu ) və Legendre cəmində son həddi atmaq.
- 9. Rəqəmlər cəmi invariantını mod ilə məhdudlaşdırmaq — mod daha güclüdür; mod üçün növbələşən cəm lazımdır.
- 10. «Tapdım, deməli hamısı budur» — yeganəlik və ya tamlıq isbat edilmədən cavabı bağlamaq.
İmtahan taktikası.
- 1. İlk 10 dəqiqə: bütün məsələləri oxuyun, hər birinə «asan / orta / çətin» etiketi qoyun. Heç nə həll etməyin.
- 2. Asanları əvvəl. Tam həll edilmiş bir asan məsələ, yarımçıq iki çətindən çox bal verir.
- 3. Hər məsələ üçün 5 dəqiqəlik «kəşfiyyat»: kiçik hallar yazın (), cədvəl qurun, təxmin edin. Cavabın nə olduğunu bilmək isbatı asanlaşdırır.
- 4. Qaralamada işləyin, təmizə yalnız işləyən xətti köçürün. Amma qaralamanı da təhvil verin — qismən bal ala bilər.
- 5. Son 15 dəqiqə: yeni məsələyə başlamayın. Yazdıqlarınızı oxuyun: cavab varmı? kiçik hallar? bütün hallar?
- 6. Tam həll edə bilmirsinizsə nəyi isbat etdiyinizi aydın yazın: «-in cüt olduğunu göstərdim», « halını həll etdim». Qismən bal real baldır.
Qeyd. Təhvildən əvvəl 60 saniyəlik yoxlama siyahısı.
- 1. Cavab yazılıbmı və şərtdə soruşulana uyğundurmu (say? siyahı? isbat?)
- 2. Kiçik hallar (; ) ayrıca yoxlanıbmı?
- 3. Mənfi qiymətlər və sıfır nəzərə alınıbmı (şərt «tam» deyirsə)?
- 4. Simmetriya fərziyyəsi geri qaytarılıbmı?
- 5. İşlətdiyim hər teoremin şərti ödənirmi?
- 6. Tapdığım cavabların doğrudan da tənliyi ödədiyini yoxlamışammı?
Məsələ 1. qiymətini Evklid alqoritmi ilə tapın.
Həll. ; ; ; ; ; ; . Cavab:
Məsələ 2. ədədinin neçə müsbət böləni var və onların cəmi nədir?
Həll. və sadədir (; ədədi -in heç birinə bölünmür). Deməli
Cavab: bölən, cəmi
Məsələ 3. qiymətini tapın.
Həll. . Cavab:
Məsələ 4. ədədinin -yə bölünməsindən alınan qalığı tapın.
Həll. (). , deməli . Cavab:
Məsələ 5. ədədinin -yə bölünməsindən alınan qalığı tapın.
Həll. . , deməli . Cavab:
Məsələ 6. ədədinin son rəqəmini tapın.
Həll. Son rəqəm əsasın son rəqəmindən asılıdır: həmişə ilə bitir. Cavab:
Məsələ 7. ədədinin rəqəmlər cəminin -a bölünməsindən alınan qalığı tapın.
Həll. , deməli . Cavab:
Məsələ 8. , , sisteminin aralığındakı həllini tapın.
Həll. Birinci və üçüncüdən: . və : , . : . Cavab:
Məsələ 9. konqruensiyasının bütün həllərini tapın.
Həll. və , deməli həll var. Hər tərəfi -ə bölək: . , buradan . Cavab:
Məsələ 10. tənliyinin bütün tam həllərini tapın.
Həll. . Xüsusi həll: . Ümumi həll:
Cavab:
Məsələ 11. tənliyinin neçə tam həlli var?
Həll. -ün tam bölənləri: — cəmi ədəd, hər biri bir sıralı cüt verir. Cavab:
Məsələ 12. tənliyinin tam həllinin olmadığını isbat edin.
Həll. və ilə eyni cütlükdədir. Deməli hasil ya təkdir, ya da -ə bölünür. isə cütdür, lakin -ə bölünmür.
Məsələ 13. tənliyinin neçə müsbət tam həlli var?
Həll. Standart çevirmə: . Müsbət həllər -ün müsbət bölənlərinə uyğundur: , . Cavab:
Məsələ 14. ədədinin sonunda neçə sıfır var?
Həll. . Cavab:
Məsələ 15. ədədini bölən -ün ən böyük qüvvətini tapın.
Həll. . Cavab:
Məsələ 16. ifadəsinin heç bir tam üçün -ə bölünmədiyini isbat edin.
Həll. Mod -də üçün ifadə uyğun olaraq qalıqlarını verir. heç vaxt alınmır.
Məsələ 17. , , ədədlərinin hər üçünün sadə olduğu bütün -ləri tapın.
Həll. mod -də bir-birindən fərqli qalıqlar verir (çünki ), deməli onlardan biri mütləq -ə bölünür. Sadə qalması üçün o, -ün özü olmalıdır. : — hamısı sadədir. Cavab:
Məsələ 18. və olarsa, hasilini və mümkün cütlərinin sayını tapın.
Həll. . , , və . , qarşılıqlı sadə sıralı cütlər: — cüt. Cavab: ; sıralı cüt
Məsələ 19. Hər tam üçün ifadəsinin ala biləcəyi bütün qiymətləri tapın.
Həll. Evklid alqoritminin əsas fəndi: -i -yə görə sadələşdirək. olduğundan
Deməli , bu isə və ya -dür. qiyməti , yəni olduqda alınır (məsələn : ). Cavab: və
Məsələ 20. Perimetri olan bütün tamtərəfli düzbucaqlı üçbucaqları tapın.
Həll. , olsun. İkincidən ; birinciyə qoyaq:
Sadələşdirsək
SFFT (Dərs 9): hər tərəfə əlavə edib
olduğundan , müsbətdir və , üstəlik . Onda , deməli hər ikisi -dən böyük olmalıdır: və . -in bu aralıqdakı bölənləri: () və (). Buradan və ya , . Cavab: Tərəfləri
Məsələ 21. olan bütün müsbət tam -ləri tapın.
Həll. Namizəd sadə ədədlər. olarsa, çoxaldıcılığa görə ədədi -ni bölür. Buradan iki nəticə:
Birincidən , yəni ; ikincidən yalnız birinci dərəcədə iştirak edə bilər. Hallar. yazaq ().
- • : , deməli qalan hissə üçün lazımdır, yəni : .
- • , : , qalan üçün , yəni : .
- • , : , qalan üçün — funksiyası üçün həmişə cüt qiymət alır, mümkün deyil.
- • : . və . Yeganə uyğunluq : .
Məsələ 22. bərabərliyini ödəyən bütün müsbət tam -ləri tapın.
Həll. Sərhəd. Bölənlər cütlərinə ayrıldığından hər cütdə ən azı biri -dir, deməli . Onda
Yoxlama. olduğundan cütdür:
yalnız və üçün ödənir. Cavab: və
Məsələ 23. tənliyinin bütün qeyri-mənfi tam həllərini tapın.
Həll. : — yox. : (bəli). : — yox. : (bəli). olsun. Mod : , deməli . -ün mərtəbəsi mod : — , yəni . Onda və
Hər iki vuruq -nin qüvvətidir. (çünki tək kvadratdır, mod -də ), deməli , yəni , — ziddiyyət (). Cavab: və
Məsələ 24. ədədinin -ə bölündüyü bütün -ları tapın.
Həll. və , deməli . -u tapaq: o, -ı bölür. , , . Deməli (çünki sadədir və ). Cavab:
Məsələ 25. cəminin -ə bölündüyü bütün müsbət tam -ləri tapın.
Həll. Mod -də və , deməli
tək: — bölünür. cüt: . Ferma: , deməli dövrü -dür. üçün , cəm — bölünür. üçün , cəm — bölünmür. Cavab: olan bütün
Məsələ 26. Hər üçün olduğunu isbat edin.
Həll. olsun. Onda ədədi hər iki ifadənin istənilən tam əmsallı xətti kombinasiyasını bölür. Uyğun kombinasiyanı quraq:
Deməli . İndi fərz edək . olduğundan , deməli ədədi hasilinin, yəni -in bölənidir: . Digər tərəfdən . İki bölünmədən — ziddiyyət. Beləliklə .
Məsələ 27. tənliyinin bütün müsbət tam həllərini tapın.
Həll. Simmetriyaya görə qəbul edək. Onda , yəni və
Digər tərəfdən . Deməli , yəni . : , cəm — faktorial deyil. : . Variantlar: (yox), (yox), (bəli). Cavab:
Məsələ 28. Ardıcıl beş müsbət tam ədədin hər birinin -dən böyük bir tam kvadrata bölündüyü nümunə göstərin və belə beşliklərin sonsuz sayda olduğunu isbat edin.
Həll. Konkret nümunə.
Hər biri uyğun olaraq -yə bölünür. Sonsuzluq — ÇQT ilə konstruksiya. modulları cüt-cüt qarşılıqlı sadədir (əsasları fərqli sadə ədədlərdir). Çin qalıq teoreminə görə
sisteminin moduluna görə yeganə həlli var. Həmin üçün ədədləri uyğun olaraq -yə bölünür. Həll sinfindəki bütün () də eyni xassəni saxladığından belə beşliklər sonsuz sayda var. Cavab: Məsələn
Məsələ 29. və ədədlərinin hər ikisi sadədirsə, -nin də sadə olduğunu isbat edin.
Həll. olsun. Onda , deməli və . olduğundan o, sadə ola bilməz. Deməli . Yoxlayaq: sadədir (bəli), və — sadədir.
Məsələ 30. olan bütün müsbət tam -ləri tapın. (IMO 1990)
Həll. : (bəli). : (bəli). Başqa həllin olmadığını göstərək. olsun. §3-dəki nümunədəki mühakimə eynilə işləyir və verir; həmçinin təkdir. Addım 1 — . () yazaq. LTE (lifting the exponent) lemmasının tək sadə ədəd üçün variantına görə, tək olduqda
Şərtdən , deməli , buradan . olduğundan . Addım 2 — . Fərz edək və onun ən kiçik sadə bölənidir ( tək, ). və olduğundan, §3-dəki kimi üçün , , deməli , və tək. Ferma ilə , yəni . və : -in bütün sadə bölənləri olduğundan -nin sadə bölənləri yalnız ola bilər, yəni ( olsaydı üçün lazımdır — ziddiyyət).
- • : , , yəni — ziddiyyət.
- • : , , yəni .
Məsələ 31. Ferma ədədlərinin cüt-cüt qarşılıqlı sadə olduğunu isbat edin və buradan sadə ədədlərin sonsuz olduğunu çıxarın.
Həll. olsun. Əvvəlcə eyniliyi isbat edək:
İnduksiya: üçün (bəli). Addım:
İndi olsun və . olduğundan və , deməli . Lakin bütün -lar təkdir, deməli . Hər -nın ən azı bir sadə böləni var və müxtəlif -ların sadə bölənləri fərqlidir (qarşılıqlı sadəlik). -lar sonsuz sayda olduğundan sadə ədədlər də sonsuzdur.
Məsələ 32. ədədinin sadə olmadığını göstərin, lakin hər üçün olduğunu isbat edin.
Həll. — tərkib ədəddir. olsun. Onda ədədi -nin heç birinə bölünmür və Ferma kiçik teoreminə görə
, yəni , , . Deməli
Modullar cüt-cüt qarşılıqlı sadə olduğundan ÇQT ilə . (Belə ədədlərə Karmaykl ədədləri deyilir; onlar Ferma testini «aldadır».)
Məsələ 33. ədədinin tək olması üçün zəruri və kafi şərtin -in tam kvadrat olması olduğunu isbat edin.
Həll. üçün . Bu hasil tək olar hər vuruq təkdir hər cütdür tam kvadratdır. Alternativ (kombinator) isbat. Bölənləri cütləri şəklində qruplaşdıraq. Bir bölən özü ilə cütləşir . Deməli cütləşməmiş bölən yalnız tam kvadrat olduqda () var, və məhz o halda sayı təkdir.
Məsələ 34. cəminin tək olduğu bütün -ləri təsvir edin.
Həll. çoxaldıcıdır: , burada . Tək üçün: cəmində dənə tək toplanan var, deməli cəm tək cütdür. üçün: həmişə təkdir. Deməli tək -in bütün tək sadə bölənlərinin göstəriciləri cütdür ( tək). Bu isə « tam kvadrat və ya tam kvadratın misli» deməkdir. Cavab: və ya
Məsələ 35. ədədini -ə bölünən ən kiçik ilə müqayisə edin: olan ən kiçik -i tapın.
Həll. Legendre: . Şərt . : , (bəli). : , . : , . : , , . Deməli ən kiçik -dür (və , yəni kifayət etmir). Cavab:
Məsələ 36. tənliyinin ən azı bir həllini tapın və tənliyinin həllinin olub-olmadığını araşdırın.
Həll. Birinci. (bəli). İkinci. Üç kvadratın cəmi teoremi: üç kvadratın cəmi kimi göstərilə bilməz . və , yəni — deyil. Deməli maneə yoxdur; həqiqətən tipli axtarışla həll tapılır (məsələn və ? — kvadrat deyil; (bəli)), buradan . Cavab: ;
Məsələ 37. Hər üçün olduğunu isbat edin.
Həll. olsun və qalıqlı bölmə olsun. Onda
olduğundan ( eyniliyi, )
Bu, göstəricilər üzərində Evklid alqoritminin eyni addımıdır. Alqoritm -də dayandığından nəticə olur. Nəticə. sadə olarsa, də sadə olmalıdır (əks halda , və xüsusi bölən verər).
Məsələ 38. Pifaqor üçlüyündə hasilinin həmişə -a bölündüyünü isbat edin.
Həll. ; hər vuruğu ayrıca yoxlayaq. . Kvadratlar mod : . və olsaydı, olardı, bu isə kvadrat qalığı deyil. Deməli . . Kvadratlar mod : . olsaydı, və . Mümkün cəmlər: , , . Yalnız alınır, o da deməkdir — ziddiyyət. Deməli . . Kvadratlar mod : . hər ikisi tək olsaydı, — mümkün deyil. Deməli ən azı biri cütdür. Fərz edək cütdür. Əgər də cütdürsə, — bitdi. Əgər təkdirsə, təkdir və mod -ə keçək: tək kvadratlar , deməli , buradan , yəni . Üç vuruq qarşılıqlı sadə olduğundan .