la Règle et le Compas
Une approche philosophique de la science mathématique
Equations cartésiennes : la description analytique des droites du plan
L'approche analytique de la géométrie plane, que nous devons à Descartes, permet de donner une description purement algébrique des droites du plan comme ensembles de solutions d'équations d'un seul type. Ces équations dites cartésiennes contiennent toute l'information...
Définir l’aire du triangle et du parallélogramme
Dans la géométrie intuitive on définit les aires des figures sans justification ou sans démonstration. Dans la géométrie euclidienne moderne, c'est-à-dire analytique, la définition de l'aire du triangle et du parallélogramme se fondent sur des définitions univoques de...
Loi des cosinus et produit scalaire de deux vecteurs
On rencontre souvent en géométrie et en physique une expression trigonométrique du produit scalaire. A partir d'une définition du cosinus et du sinus d'un angle affine, on peut la démontrer directement grâce aux propriétés élémentaires du produit scalaire. On tire de...
Anneaux d’entiers quadratiques et nombres premiers
L'anneau des entiers de Gauss \(\mathbb Z[i]\) possède des propriétés remarquables, analogues à celles de l'ensemble \(\mathbb Z\) des nombres entiers relatifs. Il existe toute une famille de tels anneaux, possédant des propriétés similaires, et définis aussi à partir...
Les corps finis : une approche structurelle de l’arithmétique
Les corps sont les anneaux dont tout élément non nul est inversible. Tous les anneaux intègres finis sont des corps, et tous ces corps finis sont commutatifs. Avec un peu d'algèbre commutative, on peut même décrire entièrement tous les corps finis, qui correspondent...
Nombres premiers entre eux et inversion modulaire
Deux nombres entiers sont dits premiers entre eux si ils n'ont pas de facteur premier en commun : il sont donc premiers "l'un par rapport à l'autre". Le nombre des restes modulo un entier naturel non nul $n$ qui sont premiers avec $n$ est ce qu'on appelle l'indicateur...
Anneaux, homomorphismes et quotients
Nous étudions la structure mathématique naturelle d'anneau, dont l'ensemble $\mathbb Z$ des entiers relatifs est le prototype, et qui permet d'interpréter de nombreux concepts de la théorie des nombres et de la géométrie, à travers notamment les notions...
Division euclidienne et arithmétique modulaire
La division des entiers naturels ne donne pas toujours un résultat entier, et la division euclidienne donne une meilleure approximation de ce résultat, sous la forme d'un quotient et d'un reste. On peut définir une addition et une multiplication "modulaires" sur les...
La ramification imaginaire des nombres premiers
Nous savons que les nombres premiers ne demeurent premiers dans l'anneau \(\mathbb Z[i]\) des entiers de Gauss que lorsqu'ils sont sommes de deux carrés. En considérant leurs congruences modulo \(4\), il est possible d'en dire plus : on peut les classer en trois types...
Un algorithme de calcul des racines carrées
En utilisant la somme des premiers nombres impairs dans l'ordre, on peut définir un algorithme simple de calcul des racines carrées des nombres entiers avec une précision décimale arbitraire. Calcul de la somme des \(n\) premiers entiers naturels impairs Il est,...
Plus de réels que de rationnels : un argument diagonal par les bases de numération
Dans cet article, nous abordons la question du "comptage" des nombres réels, autrement dit de la détermination du cardinal de l'ensemble \(\mathbb R\). Celui-ci est strictement supérieur au cardinal de l'ensemble des nombres rationnels, ce que nous expliquons de deux...
L’irrationalité de √2 : une tragédie pythagoricienne
Les tragédies grecques existaient aussi chez les mathématiciens de l'Antiquité. La découverte de la racine carrée du nombre 2 est le sujet de l'une d'entre elles, qui a trouvé une fin heureuse à l'époque moderne. Un disciple de Pythagore "mesure" la diagonale du carré...
L’orientation du plan euclidien : bases et angles
L'intuition visuelle à travers laquelle nous représentons le plan euclidien suggère que nous puissions l'orienter selon un sens de rotation. Cette intuition reflète une définition mathématique rigoureuse de l'orientation du plan, qui consiste à choisir une base, et...
Le paradoxe de Russell et la théorie des classes
Le paradoxe ou antinomie de Russell est un paradoxe très simple de la théorie naïve des ensembles, qui surgit lorsqu'on cherche à définir un "ensemble de tous les ensembles". Sa résolution repose sur l'introduction de la notion de classe et la distinction des...
Les transformations linéaires du plan : déterminant, bases et inversion
Les transformations linéaires du plan euclidien sont les applications linéaires inversibles, c'est-à-dire de déterminant non nul. Elles permettent de passer d'une base du plan à une autre, et les transformations orthogonales, c'est-à-dire les isométries vectorielles,...
Les bases du plan euclidien : vecteurs et coordonnées
La représentation du plan euclidien par le produit cartésien \(\mathbb R^2\) permet de décomposer tout vecteur du plan en deux coordonnées, son abscisse et son ordonnée. Cette décomposition est liée à un "système de représentation" particulier et naturel, qu'on...
L’espace euclidien : points, vecteurs et produit scalaire
La méthode analytique de Descartes, qui permet de représenter le plan euclidien comme le produit cartésien \(\mathbb R^2\) grâce à la théorie des nombres réels, permet également de représenter l'espace euclidien comme le produit cartésien \(\mathbb R^3=\mathbb...
Les quaternions de Hamilton : un espace-temps algébrique
La multiplication complexe se prolonge naturellement à une multiplication en quatre dimensions, qui définit sur l'espace \(\mathbb R^4\) la structure de l'algèbre \(\mathbb H\) des quaternions de Hamilton. Cette multiplication s'interprète géométriquement à partir du...
Les entiers de Gauss : une arithmétique imaginaire
Les entiers de Gauss sont les nombres complexes à coordonnées entières. Grâce à leur norme, sorte de mesure entière de leur taille, on peut décrire certaines de leurs propriétés arithmétiques. En particulier, on peut effectuer des divisions euclidiennes et déterminer...
Une définition analytique du nombre π
Introduction Lorsque nous avons introduit l'exponentielle circulaire, les fonctions trigonométriques cosinus et sinus ont été définies comme sa partie réelle et sa partie imaginaire. Nous en avons alors tiré les expressions analytiques : \(\cos x=\sum_{n=0}^{+\infty}...