Le présent texte propose une démonstration de la propriété suivante : Si la somme des cubes de trois entiers naturels est divisible par 7, alors le produit de ces trois entiers est également divisible par 7. La démonstration proposée ici met à contribution la règle de contraposition. Cette dernière stipule que toute implication est logiquement … Lire la suite de Somme de cubes d’entiers relatifs et divisibilité par 7
Relation de congruence
Somme d’entiers relatifs et divisibilité par 3
Dans le présent article, notre intérêt se porte sur une propriété manquante de la relation de divisibilité par trois. Nous en proposons une démonstration qui s'appuie sur le jargon et les propriétés de la théorie des applications, et qui fait usage d'un résultat de l'analyse combinatoire. Du reste, les règles de raisonnement par disjonction des … Lire la suite de Somme d’entiers relatifs et divisibilité par 3
Théorème de Wilson
Dans cette publication, notre intérêt se porte sur le théorème de Wilson, qui révèle une caractérisation des nombres premiers. Article au format PDF Réaliser un don pour nous encourager à produire plus de contenus.Votre contribution est appréciée.Faire un don
Théorème d’Euler
Dans cette note, nous présentons et démontrons le théorème d'Euler qui est une généralisation du petit théorème de Fermat. Article au format PDF Réaliser un don pour nous encourager à produire plus de contenus.Votre contribution est appréciée.Faire un don
Suite finie de nombres premiers
Dans cette note, nous montrons qu'il existe un unique triplet de nombres premiers, termes consécutifs d'une suite arithmétique de raison 10. Soit $latex p$ un entier naturel. Alors, $latex \displaystyle p+1\equiv\left\{\begin{array}{r@{\ \text{ si }\ }l}1[\mathrm{mod}\,3] & p\equiv 0[\mathrm{mod}\, 3], \\[3pt] 2[\mathrm{mod}\,3] & p\equiv 1[\mathrm{mod}\, 3], \\[3pt] 0[\mathrm{mod}\,3] & p\equiv 2[\mathrm{mod}\, 3],\end{array}\right.$ puis $latex \displaystyle p+2\equiv\left\{\begin{array}{r@{\ … Lire la suite de Suite finie de nombres premiers
Somme d’entiers relatifs et divisibilité par 3
Dans cette brève, nous démontrons que, parmi cinq entiers relatifs, on peut toujours en choisir trois dont la somme est divisible par trois. Étant donné un ensemble $latex E$ contenant cinq entiers relatifs, soit $latex f$ l’application de $latex E$ vers $latex \{0,1,2\}$ qui, à chaque élément de $latex E$, associe son reste pour la … Lire la suite de Somme d’entiers relatifs et divisibilité par 3
Écriture décimale et test de divisibilité par 7
Dans cette brève, nous présentons l'arrière-plan formel d’un test de divisibilité par $latex 7$. Selon un article abondamment relayé ces derniers jours, ce test aurait été mis au point récemment par Chika Ofily, jeune élève nigérian de 12 ans, vivant au Royaume-Uni. Soit $latex N$ un entier naturel. Alors, il existe un unique couple $latex (D,u)$ d'entiers naturels tels … Lire la suite de Écriture décimale et test de divisibilité par 7
Résolution d’une équation diophantienne à trois inconnues
Dans cette brève, nous nous proposons de résoudre dans $latex \mathbb{Z}^{3}$ l'équation diophantienne suivante: $latex \displaystyle 3x+13y+23z=0. \qquad (\mathbf{E})$ À cet effet, nous considérons le résultat suivant : Proposition 1. Pour tout couple $latex (a,b)$ d'entiers relatifs, la relation $latex 13a+23b\equiv 0\,[\mathrm{mod}\,3]$ est équivalente à $latex a\equiv b\,[\mathrm{mod}\,3]$. Preuve. Soit un couple $latex (a,b)\in\mathbb{Z}^{2}$. Alors, … Lire la suite de Résolution d’une équation diophantienne à trois inconnues
Pons asinorum (Pont aux ânes)
"Dieu toujours fait de la géométrie." — Platon Dans le plan euclidien, un triangle $latex ABC$ est dit isocèle en $latex A$ lorsque $latex AB=AC$, c'est-à-dire lorsque les côtés $latex [AB]$ et $latex [AC]$ ont la même longueur. Le présent article présente une preuve de la proposition suivante: Proposition 1. Dans le plan euclidien, un … Lire la suite de Pons asinorum (Pont aux ânes)
Formalis Mathematica 