Arithmétique
L'arithmétique est la branche des mathématiques qui étudie les nombres entiers naturels , relatifs et rationnels , voire réels , ainsi que leurs relations et propriétés, en lien avec quelques opérations élémentaires : addition (+), soustraction (−), multiplication (×), division (÷, /, ou :), puissance et racine (√ ). Le terme inclut parfois d'autres concepts de la théorie des nombres.
Histoire
[modifier | modifier le code]Le mot arithmétique vient du grec ancien ἀριθμός / arithmós, « nombre »[1].
L’origine de l'arithmétique semble être une invention phénicienne[2]. Dans l'école pythagoricienne, à la deuxième moitié du VIe siècle av. J.-C., l'arithmétique était, avec la géométrie, l'astronomie et la musique, une des quatre sciences quantitatives ou mathématiques (Mathemata). Celles-ci furent regroupées au sein des sept arts libéraux par Martianus Capella (Ve siècle) et plus précisément désignées sous le nom de quadrivium par Boèce. Les trois autres disciplines étaient littéraires (grammaire, rhétorique, dialectique) et firent l'objet des travaux de Cassiodore et, plus tard, Alcuin qui leur donna le nom de trivium.
Domaine d'étude
[modifier | modifier le code]L'arithmétique désigne l'étude des nombres, de leurs relations et de leurs propriétés individuelles et collectives[3],[4]. Dans sa définition commune, elle se limite aux entiers naturels ou relatifs, et aux nombres rationnels[3],[5], voire aux nombres réels, et à quelques opérations associées (addition, soustraction, multiplication, division, puissance et racine)[4].
Dans une acception plus rare, elle est utilisée dans un sens plus large par des mathématiciens, dont Carl Friedrich Gauss, pour inclure des concepts plus pointus de la théorie des nombres[4]. Au-delà de l'arithmétique élémentaire, le mot peut alors faire référence à l'arithmétique modulaire, à la théorie algébrique des nombres ou encore à l'arithmétique des polynômes.[réf. nécessaire]
![](http://upload.wikimedia.org/wikipedia/commons/thumb/a/a7/Java_Computation_of_Arithmetic_Expression.svg/220px-Java_Computation_of_Arithmetic_Expression.svg.png)
Ensembles arithmétiques
[modifier | modifier le code]Les nombres obtenus par dénombrement (comptage) d'objets d'ensembles divers donnent la liste des entiers naturels non nuls [4]. Cet ensemble est représenté par le symbole , ou si on lui ajoute le nombre « »[6].
L'ensemble des entiers relatifs peut alors être construit à partir des opérations d'addition et de multiplication : à l'ensemble des entiers naturels sont ajoutés le nombre « », défini comme la solution de l'équation « », et l'ensemble des nombres obtenus par résultat de l'opération « » (où est dans )[4]. L'ensemble des entiers relatifs ainsi obtenus est représenté par le symbole [7].
L'introduction de l'opération de division fait apparaître un nouvel ensemble considérablement enrichi, celui des nombres rationnels[4]. Cet ensemble, noté , est constitué de tous les nombres « divisé par » ( étant un entier relatif, et un entier non nul), représentés par la notation fractionnaire [8] . En posant la division, il peut y avoir une infinité de chiffres après la virgule dans le résultat, mais ces chiffres finissent par se répéter : le nombre peut alors s'écrire avec un développement décimal périodique.[réf. souhaitée]
Malgré l'extension apportée par les nombres rationnels, ce dernier ensemble ne contient, par exemple, aucun élément correspondant à la longueur exacte de la diagonale d'un carré de côté , qui devrait vérifier [4]. De tels nombres, appelés irrationnels, accroissent considérablement l'utilité de l'arithmétique en permettant de définir les racines nième de tout nombre positif, mais ne peuvent être complètement définis qu'en dehors de son cadre[4]. L'ensemble des nombres réels est noté [9] ; il comprend les nombres rationnels et irrationnels. Ces nombres possèdent un développement décimal arbitraire[10].
Il est possible de ne considérer qu'une partie d'un ensemble. Ainsi, on note l'ensemble des nombres positifs de . De même on note l'ensemble privé de 0. On remarque entre autres que et que (il s'agit de « privé de » ).
Opérations arithmétiques
[modifier | modifier le code]Propriétés
[modifier | modifier le code]De nombreux nombres entiers ont des propriétés particulières. Ces propriétés font l'objet de la théorie des nombres. Parmi ces nombres particuliers, les nombres premiers sont sans doute les plus importants.
Nombres premiers
[modifier | modifier le code]Les nombres premiers sont les entiers naturels possédant uniquement deux diviseurs positifs distincts, à savoir 1 et eux-mêmes. Les dix premiers nombres premiers sont 2, 3, 5, 7, 11, 13, 17, 19, 23 et 29. L'entier 1 n'est pas premier car il n'a pas deux diviseurs positifs distincts, mais un seul, à savoir lui-même. Il existe une infinité de nombres premiers. En complétant une grille de taille 10 × 10 avec les 100 premiers entiers naturels non nuls, et en rayant ceux qui ne sont pas premiers, on obtient les nombres premiers appartenant à {1, …, 100} par un procédé appelé un crible d'Ératosthène, du nom du savant grec qui l'inventa.
Nombres pairs et impairs
[modifier | modifier le code]Les entiers naturels peuvent être divisés en deux catégories : les pairs et les impairs.
Un entier pair est un multiple de 2 et peut par conséquent s'écrire , avec . Un nombre impair n'est pas multiple de 2 et peut s'écrire , avec .
On montre que tout entier est soit pair soit impair, et ce pour un unique : on note .
Types d'arithmétiques
[modifier | modifier le code]Arithmétique élémentaire
[modifier | modifier le code]L'expression « arithmétique élémentaire » désigne parfois la forme la plus basique des mathématiques, apprise à l’école élémentaire. Il s’agit essentiellement de l'étude des nombres et des opérations élémentaires (soustraction, addition, division, multiplication).
Ce terme désigne aussi les rudiments des techniques de l'arithmétique. Les outils utilisés sont la division euclidienne, le lemme d'Euclide, le théorème de Bachet-Bézout ou encore le théorème fondamental de l'arithmétique. Ils permettent de démontrer des théorèmes comme celui de Wilson ou encore le petit théorème de Fermat.
Arithmétique modulaire
[modifier | modifier le code]Carl Friedrich Gauss (1777-1855) étudie l'ensemble des classes de congruence des entiers relatifs modulo un entier donné. Chaque classe correspond à un reste de la division euclidienne par cet entier, et l'ensemble est naturellement muni d'une addition et d'une multiplication.
L'étude de cette structure porte le nom d'arithmétique modulaire. Elle permet de généraliser les résultats de l'arithmétique élémentaire. Le théorème d'Euler, correspondant à un résultat plus fort que celui du petit théorème de Fermat, illustre une généralisation.
L'arithmétique modulaire est utilisé en cryptologie ou pour la construction de codes correcteurs en informatique.
Théorie algébrique des nombres
[modifier | modifier le code]De nombreuses questions ne trouvent pas de réponse, même avec les techniques de l'arithmétique modulaire. Des exemples proviennent d'équations diophantiennes, c'est-à-dire d'équations dont les coefficients sont entiers et dont les solutions recherchées sont entières. Une méthode consiste à élargir l'ensemble des entiers à une nouvelle structure qualifiée d'anneau d'entiers algébriques, comme celui des entiers de Gauss.
L'étude de ces structures, plus générales que celles de l'arithmétique modulaire qui se limite aux anneaux euclidiens, constitue le premier chapitre de la théorie algébrique des nombres.
Arithmétique des polynômes
[modifier | modifier le code]L'étude de l'arithmétique, au sens des nombres entiers, suppose d'établir des théorèmes. Ces théorèmes se démontrent à l'aide de techniques qui ne se limitent pas aux nombres entiers. Il est possible de faire usage de la même démarche sur d'autres structures, comme celle des polynômes. À travers l'étude des polynômes cyclotomiques, Gauss parvient à trouver un nouveau polygone régulier constructible à la règle et au compas, de 17 côtés.
Sa démarche est de nature arithmétique, pour cette raison, on parle d'arithmétique des polynômes.
Notes et références
[modifier | modifier le code]- Hervé Lehning, Toutes les mathématiques du monde, Paris, Flammarion, , 446 p. (ISBN 978-2-08-135445-6, BNF 45340842), p. 135.
- Pascal Mueller-Jourdan, Une initiation à la philosophie de l'antiquité tardive : les leçons du Pseudo-Elias, Fribourg, Éditions du Cerf, , 143 p. (ISBN 978-2-204-08571-7, BNF 41210863, lire en ligne), p. 73.
- « arithmétique », dictionnaire Larousse (consulté le )
- (en) Arithmétique sur l’Encyclopædia Britannica (consulté le 24 juin 2023)
- Le Robert, « arithmétique », sur lerobert.com (consulté le )
- « ℕ_ », dictionnaire Larousse (consulté le )
- « ℤ », dictionnaire Larousse (consulté le )
- « ℚ », Grande Encyclopédie Larousse (consulté le )
- « R », dictionnaire Larousse (consulté le )
- EPFL, « Notions de base et notations courantes en mathématiques », sur epfl.ch, (consulté le )
Voir aussi
[modifier | modifier le code]Bibliographie
[modifier | modifier le code]Mathématiques
[modifier | modifier le code]- Daniel Perrin, « Cours numéro 6 : Arithmétique et cryptographie », sur Département de mathématiques d'Orsay,
- Jean-Pierre Serre, Cours d'arithmétique, [détail des éditions]
Philosophie
[modifier | modifier le code]- Gottlob Frege, Les Fondements de l'arithmétique, 1884
- Richard Dedekind, Was sind und was sollen die Zahlen?, 1888
- Edmund Husserl, Philosophie de l'arithmétique (en), 1891
Articles connexes
[modifier | modifier le code]Liens externes
[modifier | modifier le code]- Notices dans des dictionnaires ou encyclopédies généralistes :