Clasele de resturi în aritmetică: pe scurt
Reducerea modulo duce fiecare întreg în clasa lui și păstrează ambele operații: , , iar exact când . De aici regula practică: orice expresie polinomială cu coeficienți întregi se reduce termen cu termen, deci o afirmație despre toate numerele întregi se verifică pe cele clase — un număr finit de cazuri în locul unei infinități. Atenție la sensul invers: din rezultă doar .
Rețetele lecției: pentru o divizibilitate, descompui modulul în factori primi între ei, verifici toate clasele pentru fiecare factor și reunești concluziile (pasul final cere ca factorii să fie primi între ei). Pentru ultima cifră a unei puteri lucrezi în : afli ordinul clasei bazei, împarți exponentul la el și păstrezi restul; pentru ultimele două cifre, în . Pentru restul unei puteri mari folosești Consecința 2 a teoremei lui Lagrange în grupul claselor inversabile: dacă și , atunci . Pentru a arăta că o ecuație nu are soluții întregi, alegi un modul potrivit — , , sau la pătrate, sau la cuburi, un divizor al unui coeficient ca să elimini un termen — și arăți că cei doi membri nu iau niciodată aceeași clasă; metoda respinge, dar nu confirmă. Criteriile de divizibilitate cu și cu ies din , respectiv .
Exerciții din această mini-lecție
Ultima cifră a numărului este:
- a)
- b)
- c)
- d)
Vezi răspunsul
Răspuns corect: c)
Lucrăm în , unde . Puterile lui sunt , deci ordinul este . Cum , obținem . Variantele , și corespund resturilor , și — greșeala tipică este împărțirea exponentului la altceva decât la ordin.
Restul împărțirii numărului la este:
- a)
- b)
- c)
- d)
Vezi răspunsul
Răspuns corect: b)
Cum , clasa este inversabilă. Grupul are elemente, deci, din Consecința 2 a teoremei lui Lagrange, . Din rămâne , deci restul este .
Ecuația nu are soluții în numere întregi. Ce modul o arată cel mai repede?
- a) modulo
- b) modulo
- c) modulo
- d) modulo
Vezi răspunsul
Răspuns corect: a) modulo
Modulo , pătratele sunt doar și , deci o sumă de două pătrate este , sau — niciodată . Dar , deci membrul drept este : contradicție. Modulo pătratele sunt tot , dar suma lor poate lua orice valoare, deci nu decide; modulele și au mulțimi de pătrate prea mari.
