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
Divisibilité par 3
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
Formalis Mathematica 