Arithmétique

L’arithmétique est une branche des mathématiques qui comprend la partie de la théorie des nombres qui utilise des méthodes de la géométrie algébrique et de la théorie des groupes^{[réf. nécessaire]}. On l'appelle plus généralement la « science des nombres ». Son étymologie provient du mot grec « ἀριθμός » qui signifie « nombre ».

Autrefois, l'arithmétique se limitait à l'étude des propriétés des entiers naturels, des entiers relatifs, et des nombres rationnels (sous forme de fractions), et aux propriétés des opérations sur ces nombres.

Les opérations arithmétiques traditionnelles sont l'addition, la division, la multiplication, et la soustraction.

Cette discipline fut ensuite élargie par l'inclusion de l'étude d'autres nombres comme les réels (sous forme de développement décimal illimité), ou même de concepts plus avancés, comme l'exponentiation ou la racine carrée.

Une arithmétique est une manière de représenter formellement (autrement dit, coder) les nombres (sous la forme d'une liste de chiffres, par exemple) ; et (grâce à cette représentation) définir les opérations de bases : addition, multiplication, ...

Histoire

Dans l'école pythagoricienne (Pythagore de Samos), à la deuxième moitié du VI^e siècle avant 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 (V^e 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.

Différentes arithmétiques

Arithmétique élémentaire

Article détaillé : Arithmétique élémentaire.

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. Il permet de démontrer des théorèmes comme celui de Wilson ou encore le petit théorème de Fermat.

Cette deuxième acception du terme est traitée dans l'article détaillé.

Arithmétique modulaire

Article détaillé : Arithmétique modulaire.

Carl Friedrich Gauss (1777 - 1855) étudie l'ensemble des congruences sur les entiers, c'est-à-dire celui composé des restes de la division euclidienne par un nombre entier donné. Cet 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

Article détaillé : Théorie algébrique des nombres.

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 par exemple 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

Article détaillé : Arithmétique des polynômes.

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 par exemple 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.

Ensembles utilisés en arithmétique

La totalité des nombres ont été regroupés dans des ensembles. Les plus connus sont :

$\mathbb {N}$ : l'ensemble des entiers naturels ( $0;\,1;\,2;\,3;\,4;\,5;{\mbox{ etc.}}$ ).
$\mathbb {Z}$ : l'ensemble des entiers relatifs ( $-12;\,-2;\,0;\,5;\,6;{\mbox{ etc.}}$ ).
$\mathbb {D}$ : l'ensemble des nombres décimaux, c'est-à-dire qui s'écrivent sous la forme d'un quotient d'un nombre entier relatif et d'une puissance positive de 10, c'est-à-dire, ${\frac {x}{10^{n}}}$ où x est un nombre entier relatif et n un nombre entier naturel $\left(-{\frac {1}{2}};\,0;\,6,36;\,25;{\mbox{ etc.}}\right)$ .
$\mathbb {Q}$ : l'ensemble des nombres rationnels, c'est-à-dire des nombres pouvant s'écrire comme un quotient (résultat d'une division) de deux nombres entiers relatifs. En posant la division, il peut y avoir une infinité de chiffres après la virgule dans le résultat, mais ces chiffres finiront par se répéter; dans ce cas on dit que l'écriture décimale est illimitée périodique. $\left({1 \over 3};\,-{5 \over 13};{22 \over 7}{\mbox{ etc.}}\right)$ .
$\mathbb {R}$ : l'ensemble des nombres réels, mesurant toutes les distances entre deux points d'une droite, peuvent se voir comme limite de nombres rationnels, peuvent s'écrire avec des chiffres après la virgule mais les chiffres ne se répètent plus nécessairement ( $\pi$ , soit ${\sqrt {2}}$ ).
$\mathbb {C}$ : nombres complexes de la forme $x+iy$ où x et y sont réels et $i$ imaginaire tel que $i^{2}=-1$ .

Certains de ces ensembles sont des sous-ensembles des autres ; Tous les éléments de $\mathbb {N}$ appartiennent aussi à $\mathbb {Q}$ , par exemple. Mais à l'inverse, un élément de $\mathbb {Q}$ n'est pas forcément élément de $\mathbb {N}$ . On peut représenter ces ensembles par des cercles concentriques: le plus petit est $\mathbb {N}$ , puis viennent $\mathbb {Z}$ , $\mathbb {D}$ , $\mathbb {Q}$ , $\mathbb {R}$ et $\mathbb {C}$ .

Il est possible de ne considérer qu'une partie d'un ensemble. Ainsi, on notera $\mathbb {R^{+}}$ l'ensemble des nombres positifs de $\mathbb {R}$ . De même on notera $\mathbb {R^{*}}$ l'ensemble $\mathbb {R}$ privé de 0. On remarque entre autres que $\mathbb {Z^{+}} \,=\,\mathbb {N}$ et que $\mathbb {Z} \backslash \mathbb {N} \,=\,\mathbb {Z^{-*}}$ (il s'agit de $\mathbb {Z}$ « privé de » $\mathbb {N}$ .).

Propriétés

De nombreux nombres entiers ont des propriétés particulières. Ces propriétés font l'objet d'une théorie appelée Théorie des nombres. Parmi ces nombres particuliers les nombres premiers sont sans doute les plus importants.

Nombres premiers

C'est le cas des nombres dits premiers. Ce sont des éléments de ℕ possédant uniquement deux diviseurs positifs distincts, à savoir 1 et eux-mêmes. Les premiers nombres premiers sont 2, 3, 5, 7, 11, 13, 17, 19, 23, 29 etc. 1 n'est pas premier car il n'a pas deux diviseurs distincts, mais un seul. Il existe une infinité de nombres premiers. En complétant une grille de taille 10 × 10 avec les 100 premiers entiers 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

Les entiers naturels sont divisés en deux catégories bien connues des joueurs de roulette: les pairs et les impairs.

Un entier $n$ pair est un multiple de 2 et peut être noté $n=2\,k$ , avec $k\in \mathbb {N}$ . Un nombre $n$ impair n'est pas multiple de 2 et se note $n=2\,k+1$ , avec $k\in \mathbb {N}$ .

On montre que tout entier est soit pair soit impair, et au moins l'un des deux, et ce pour un unique $k$ : on note $\forall n\in \mathbb {N} ,\,\exists !k\in \mathbb {N} ,\,\left(n=2\,k\lor n=2\,k+1\right)$
Les premiers entiers pairs sont 0, 2, 4, 6, 8, 10 ... Les premiers entiers impairs sont 1, 3, 5, 7, 9, 11 ...

Bibliographie

En mathématiques

Jean-Pierre Serre, Cours d'arithmétique, 1970 [détail des éditions]

En philosophie

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

Voir aussi

Sur les autres projets Wikimedia :

Arithmétique, sur Wikimedia Commons
Arithmétique, sur Wikiversity

Arithmétique et théorie des nombres

v · m Notion de nombre
Ensembles usuels	Entier naturel ( $\scriptstyle \mathbb {N}$ ) Entier relatif ( $\scriptstyle \mathbb {Z}$ ) Nombre décimal ( $\scriptstyle \mathbb {D}$ ) Nombre rationnel ( $\scriptstyle \mathbb {Q}$ ) Nombre réel ( $\scriptstyle \mathbb {R}$ ) Nombre complexe ( $\scriptstyle \mathbb {C}$ )
Extensions	Quaternion ( $\scriptstyle \mathbb {H}$ ) Octonion ( $\scriptstyle \mathbb {O}$ ) Sédénion ( $\scriptstyle \mathbb {S}$ ) Nombre complexe déployé Tessarine Nombre bicomplexe ( $\scriptstyle \mathbb {C} _{2}$ ) Nombre multicomplexe ( $\scriptstyle \mathbb {C} _{n}$ $\scriptstyle {\mathcal {M}}\mathbb {C} _{n}$ ) Biquaternion Coquaternion Quaternion hyperbolique Octonion déployé Nombre hypercomplexe Nombre p-adique ( $\scriptstyle \mathbb {Q} _{p}$ ) Nombre hyperréel Nombre superréel Nombre dual Droite réelle achevée Nombre cardinal Nombre ordinal Nombre surréel Nombre pseudo-réel
Propriétés particulières	Parité Nombre premier Nombre composé Nombre figuré Nombre parfait Nombre positif Nombre négatif Fraction dyadique Nombre irrationnel Nombre algébrique Nombre transcendant Nombre imaginaire pur Nombre de Liouville Période Nombre normal Nombre univers Nombre constructible Nombre réel calculable Nombre transfini Infiniment petit
Exemples	Pi ( $π$ ) Racine carrée de deux ( $\scriptstyle {\sqrt {2}}$ ) Nombre d’or (φ) Zéro (0) Unité imaginaire ( $i$ ) Constante de Neper ( $e$ ) Aleph-zéro (ℵ₀) Table de constantes mathématiques
Articles liés	Chiffre Numération Fraction Opération Calcul Algèbre Arithmétique Suite d'entiers Infini ( $\infty$ ) Chiffre significatif