Vizualizare sursă pentru „Rest (matematică)”

În [[aritmetică]] și [[algebră]], '''restul''' de la împărțirea a două [[numere întregi]] este un număr care este nenul când împărțitorul nu se cuprinde exact (printr-un cât întreg) în deîmpărțit.

==Restul pentru numerele naturale==

Daca {{math|''a''}} și {{math|''d''}} sunt numere naturale și <math>d</math> este diferit de zero, se poate demonstra că există numerele naturale unice <math>q</math> și <math>r</math>, astfel încât <math>a=q\times d+r</math>  și <math>0 \le r<d </math>. Numărul <math>q</math> este numit ''cât'', iar <math>r</math> ''rest''.

===Exemple===
* Când 13 se împarte la 10, câtul este 1 și restul este 3, pentru că <math>13=1 \times 10+3</math>.
* Când 26 se împarte la 4, câtul este 6 și restul este 2, pentru că <math>26=6 \times 4+2</math>.
* Când 56 se împarte la 7, câtul este 8 și restul este 0, pentru că <math>56=7 \times 8+0</math>. 
* Când 3 se împarte la 10, restul este 3, deoarece atunci când împărțitorul este mai mare decat deîmpărțitul, restul este egal cu deîmpărțitul.

==Restul pentru numerele întregi==

Dacă {{math|''a''}} și {{math|''d''}} sunt numere întregi și {{math|''d''}} este diferit de zero, atunci restul este un număr întreg, astfel încât <math>a=q\cdot d+r</math> pentru un număr întreg <math>q</math> și <math>0 \le 
 |r| < |d|</math>. Când se definește în acest fel, există două resturi posibile. Spre exemplu, împărțirea numărului &minus;42 la &minus;5 se poate exprima ca

:<math>-42 = 9 \times (-5) + 3</math>

reprezentarea preferată de matematicieni, sau

:<math>-42 = 8 \times (-5) + (-2)</math>

Deci restul este 3 sau &minus;2.
Această ambiguitate poate fi o problemă serioasă pentru sistemele de calcul cu importanță majoră, unde alegerea incorectă poate avea consecințe importante. În cazul de mai sus, restul negativ se obține din cel pozitiv, scăzând 5, adică {{math|''d''}}. La împărțirea cu {{math|''d''}}, dacă restul pozitiv este <math>r_1</math> și cel negativ este <math>r_2</math>, atunci

:<math>r_1 = r_2 + d</math>

==Restul pentru numerele reale==

Dacă {{math|''a''}} și {{math|''d''}} sunt numere reale și {{math|''d''}} este diferit de zero, {{math|''a''}} poate fi împărțit la {{math|''d''}} fără rest, câtul fiind un număr real. Dacă acesta trebuie să fie un număr întreg, restul este necesar. Se poate demonstra că există un cât întreg unic {{math|''q''}} și un rest real unic {{math|''r''}}, astfel încât <math>a = q \times d + r </math>, cu <math>0 \le r < |d| </math>. Ca în cazul împărțirii cu numere întregi, restul poate fi negativ: <math>-|d| < r \le 0</math>.

Extinderea definiției restului pentru numere reale nu are o importanță teoretică în matematică, dar multe limbaje de programare implementează această definiție.

==Inegalitatea satisfacută de rest==

Prin modul în care a fost definit restul, pe lângă egalitatea <math>a = q \times d + r</math>, a fost impusă și o inegalitate, scrisă ca <math>0 \le r < |d| </math> sau  <math>-|d| < r \le 0</math>. Această inegalitate este necesară pentru ca restul să fie unic. Alegerea unei astfel de inegalități este relativ arbitrară. Orice condiție de forma <math>x < r \le x + |d|</math>  (sau <math>x \le r < x + |d|</math>), unde {{math|''x''}} este o constantă, este suficientă pentru a garanta unicitatea restului.

== Identitatea restului la împărțirea cu un număr ==
Două numere întregi pot avea același rest la împărțirea cu un al treilea număr. Aceste numere se numesc ''congruențe modulo''.

==Câtul și restul în limbaje de programare==

Având o alegere între două resturi diferite, unul negativ și celălalt pozitiv, înseamnă că sunt și două câturi diferite. În teoria numerelor, se alege întotdeauna restul pozitiv, dar nu și în limbajele de programare. [[C (limbaj de programare)#C99|C99]] și [[Pascal (limbaj de programare)|Pascal]] aleg restul cu același semn ca deîmpărțitul {{math|''a''}}. (Înainte de C99, [[C (limbaj de programare)|limbajul C]] permitea ambele posibilități) [[Perl]] și [[Python]] aleg restul cu același semn ca împărțitorul {{math|''d''}}.

== Vezi și ==
* [[Teorema împărțirii cu rest]]
* [[Modulo]]
* [[Principiul lui Dirichlet]]

==Legături externe==

* {{citat carte |author=Davenport, Harold |title=The higher arithmetic: an introduction to the theory of numbers |publisher=Cambridge University Press |location=Cambridge, UK |year=1999 |pages=25 |isbn=0-521-63446-6 |oclc= |doi=}}
* {{citat carte |author=Zuckerman, Martin M |title=Arithmetic: A Straightforward Approach |publisher=Rowman & Littlefield Publishers, Inc |location=Lanham, Md |year= |pages= |isbn=0-912675-07-1 |oclc= |doi=}}

{{Operații aritmetice elementare}}

[[Categorie:Matematică elementară]]
[[Categorie:Numere]]