Dans cette note, considérant trois nombres entiers naturels non nuls, nous prouvons que, si l’un est un majorant « strict » du produit des deux autres, alors il est aussi un majorant de leur somme. Soient $latex a$, $latex b$ et $latex c$ des entiers naturels non nuls. Alors, $latex 1\leq a$ et $latex 1\leq … Lire la suite de Majoration du produit et de la somme d’entiers naturels
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
Méthode générale de résolution des équations diophantiennes à trois inconnues
Dans cette note, nous présentons une méthode générale de résolution des équations diophantiennes à trois inconnues. Cette méthode s'inspire de la démarche notoire applicable aux équations diophantiennes à deux inconnues. Tout d'abord, nous rappelons qu'étant donné des entiers non nuls $latex a$ et $latex b$, ainsi qu'un entier quelconque $latex r$, l'équation $latex ax+by=r$ admet … Lire la suite de Méthode générale de résolution des équations diophantiennes à trois inconnues
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
Nombres entiers naturels puissants consécutifs
Un entier naturel $latex n$ est appelé nombre puissant lorsque, pour tout diviseur premier $latex p$ de $latex n$, le carré $latex p^{2}$ divise $latex n$. Par exemple, étant donné un nombre premier $latex p$ et un entier $latex m\geq 2$, l'entier $latex n=p^{m}$ est un nombre puissant. En effet, $latex p$ est l'unique diviseur … Lire la suite de Nombres entiers naturels puissants consécutifs
Transformation optimale d’un essai
Lors d'un math de rugby, un joueur doit transformer un essai qui a été marqué au point $latex E$ situé à l'extérieur du segment $latex [AB]$. La transformation consiste à taper le ballon par un coup de pied depuis un point $latex T$ que le joueur a le droit de choisir n'importe où sur le … Lire la suite de Transformation optimale d’un essai
Triangles rectangles presque isocèles
Dans cette note, nous traitons chacune des questions du quatrième exercice du sujet de mathématiques du Baccalauréat S, Enseignement de Spécialité, session de juin 2017 en France métropolitaine. Cet exercice a pour thème les triangles rectangles presque isocèles. Un triangle rectangle presque isocèle, en abrégé TRPI, est un triangle rectangle dont les côtés de l'angle … Lire la suite de Triangles rectangles presque isocèles
Disjonction exclusive
Dans les langages formels de la logique classique, des expressions peuvent être construites au moyen de la négation ($latex \neg$) ou de connecteurs tels que la disjonction ($latex \vee$), la conjonction ($latex \wedge$), l'implication ($latex \Rightarrow$) et l'équivalence ($latex \Leftrightarrow$). La sémantique de telles expressions est définie par les tables de vérités ci-dessous. Dans ce … Lire la suite de Disjonction exclusive
Quel jour sommes-nous ?
Dans le présent article nous répondons à la question posée par l'énigme suivante : Quand après-demain sera hier, il nous faudra autant de jours pour atteindre dimanche qu'il nous en a fallu quand avant-hier était demain, pour que nous soyons aujourd'hui. Quel jour de la semaine sommes-nous ? D'entrée de jeu, il convient de mettre … Lire la suite de Quel jour sommes-nous ?
Formalis Mathematica 