Arithmétique
Cours complet · mathématiques (seconde), chapitre 2 · seconde générale
Travailler ce chapitre sur Adloun Exercices corrigés de ce chapitre
L'arithmétique est l'étude des nombres entiers et de leurs propriétés. Dans ce chapitre, on apprend à reconnaître les multiples et les diviseurs d'un entier, à distinguer les nombres pairs des nombres impairs, et à écrire une fraction sous sa forme la plus simple. Au-delà du calcul, l'arithmétique est aussi une première occasion de démontrer : on y raisonne sur tous les entiers à la fois, en les écrivant sous la forme ou .
2.1 Les ensembles et
L'ensemble des entiers naturels est
L'ensemble des entiers relatifs (les entiers naturels et leurs opposés) est
On note (resp. ) l'ensemble (resp. ) privé de .
Tout entier naturel est un entier relatif : on dit que est inclus dans , et l'on écrit . Par exemple et , tandis que mais .
, et appartiennent à . Les nombres et appartiennent à mais pas à . En revanche, et ne sont pas des entiers : ils n'appartiennent ni à , ni à .
Sur la droite des entiers : tout entier ; la partie encadrée, à partir de , est .
2.2 Multiples et diviseurs
Soit et deux entiers. On dit que est un multiple de lorsqu'il existe un entier tel que
On dit alors, de façon équivalente, que est un diviseur de , ou que divise .
est un multiple de car (on a pris ). On dit aussi que divise .
Les multiples positifs de sont ; ce sont les nombres de la forme avec entier positif (en prenant négatif, on obtient aussi les multiples ).
Les diviseurs positifs de sont et : ce sont les entiers par lesquels on peut diviser « sans reste ».
Les multiples de sur la droite des entiers : on les atteint par sauts de longueur à partir de .
Les diviseurs vont par paires : jetons se rangent en rectangle de , ou , d'où les six diviseurs .
est un multiple de tout entier , car . Par ailleurs, divise tout entier, et tout entier est un multiple de lui-même ().
Ces critères, connus depuis le collège, permettent de repérer un multiple sans poser de division. Un entier est :
- multiple de 2 si son chiffre des unités est ou (c'est un nombre pair) ;
- multiple de 5 si son chiffre des unités est ou ;
- multiple de 10 s'il se termine par ;
- multiple de 3 (resp. de 9) si la somme de ses chiffres est un multiple de (resp. de ).
Le nombre : son chiffre des unités est , donc il est multiple de . La somme de ses chiffres vaut , multiple de : donc est multiple de (et de ).
Méthode : Déterminer si est un multiple de
Pour savoir si un entier est un multiple d'un entier (avec ), on effectue la division de par :
- si la division « tombe juste » (reste nul), alors est un multiple de ;
- sinon, n'est pas un multiple de .
est-il un multiple de ? On calcule exactement, donc : oui, est un multiple de . En revanche ne tombe pas juste, donc n'est pas un multiple de .
Découper une longueur en tronçons de : quand il ne reste rien, le nombre est un multiple de .
Une première démonstration
Soit un entier. La somme de deux multiples de est encore un multiple de .
Démonstration. Prenons deux multiples de . Par définition, ils s'écrivent et avec et entiers. Leur somme est
Comme est un entier, ce nombre est bien de la forme : c'est un multiple de .
La démonstration porte sur un entier quelconque : c'est ce qui la rend valable pour toutes les valeurs de à la fois. Vérifions-la sur un exemple numérique, avec : et sont deux multiples de , et leur somme est bien un multiple de .
Deux algorithmes
Les deux fonctions Python suivantes automatisent des questions du chapitre. En Python, a % b désigne le reste de la division de par : il vaut exactement lorsque divise .
Méthode : Déterminer si est multiple de
La fonction traduit directement ce test sur le reste :
def est_multiple(a, b):
# Renvoie True si a est un multiple de b, False sinon
return a % b == 0
Ainsi est_multiple(91, 7) renvoie True et est_multiple(92, 7) renvoie False.
Méthode : Plus grand multiple de inférieur ou égal à
Les multiples de sont Pour trouver le plus grand qui ne dépasse pas , on calcule combien de fois « tient » dans (quotient entier b // a), puis on multiplie par .
def plus_grand_multiple(a, b):
# Plus grand multiple de a inférieur ou égal à b
q = b // a # nombre de fois où a tient dans b
return q * a
Par exemple, plus_grand_multiple(7, 50) renvoie , le plus grand multiple de inférieur ou égal à .
2.3 Nombres pairs et nombres impairs
Un entier est :
- pair s'il est un multiple de , c'est-à-dire s'il s'écrit avec entier ;
- impair s'il s'écrit avec entier.
Tout entier est soit pair, soit impair (jamais les deux à la fois).
est pair. est impair.
est pair. est impair.
Un nombre pair se range en deux rangées égales ; un nombre impair laisse toujours un élément isolé (orange).
La somme de deux nombres pairs est paire ; la somme de deux nombres impairs est paire ; la somme d'un pair et d'un impair est impaire.
« Impair impair pair » : les deux jetons isolés (orange) se regroupent en une paire. « Pair impair impair » : le jeton isolé n'a personne avec qui s'apparier.
Méthode : Raisonner selon la parité
Pour démontrer une propriété portant sur un entier , on distingue souvent deux cas : pair (on pose ) et impair (on pose ), puis on conclut dans chacun d'eux.
Une deuxième démonstration
Si un entier est impair, alors son carré est impair.
Démonstration. Supposons impair. Par définition, il existe un entier tel que . Alors
Le nombre est un entier ; on a donc écrit sous la forme avec . Ainsi est impair.
est impair, et est bien impair. De même donne , impair.
2.4 Fractions irréductibles
Une fraction (avec et entiers, ) est irréductible lorsque le numérateur et le dénominateur n'ont aucun diviseur commun autre que . On ne peut alors plus la simplifier.
Méthode : Rendre une fraction irréductible
On simplifie la fraction en divisant le numérateur et le dénominateur par un même diviseur commun, et on recommence tant qu'il en existe un :
- repérer un diviseur commun au numérateur et au dénominateur (souvent , , , …) ;
- diviser les deux par ce nombre ;
- répéter jusqu'à ce qu'il n'y ait plus de diviseur commun autre que .
Rendons irréductible en simplifiant pas à pas :
Les nombres et n'ont plus de diviseur commun autre que : la fraction est irréductible.
On peut aller plus vite en repérant d'un coup un « gros » diviseur commun. Ici divise à la fois et , d'où directement . Le résultat est le même : une fraction possède une unique forme irréductible.
Avant d'additionner ou de comparer des fractions, on a toujours intérêt à les rendre irréductibles : les nombres manipulés sont plus petits et les erreurs moins fréquentes. Par exemple et .
La même part coloriée dans les deux barres : simplifier en , c'est regrouper les vingt-quatrièmes six par six.