IFT1065–Structures discrètes en informatique

Hiver 2021, (Devoir #2)

Louis Salvail
Université de Montréal (DIRO), QC, Canada
salvail@iro.umontreal.ca
Bureau: Pavillon André-Aisenstadt, #3369

1 Remise
Il s’agit du deuxième devoir pour le cours. La date de remise est:
Vendredi, 23 Février 2021, 10:25, aucun retard ne sera toléré.
Votre devoir doit être déposé sur STUDIUM avant l’échéance. Vous pouvez faire votre
devoir en équipe d’au plus deux.

2 Questions
Pour résoudre les questions suivantes, vous pouvez supposer vrai et utiliser n’importe quel
théorème ou lemme énoncé sur les diapos du cours ou présenté pendant les séances de
démonstration. Lorsque vous utilisez un théorème ou un lemme de cette façon, il vous faut
l’indiquer clairement.

1. Soit P l’ensemble des nombres premiers. Prouvez ou infirmez l’énoncé suivant:

∀x ∈ N, x2 + x + 41 ∈ P .

2. Prouvez ou infirmez l’énoncé suivant:

(∀x ∈ N∗ )(∀y ∈ N∗ ), (x2 mod 59) = (y 2 mod 59) → (x mod 59) = (y mod 59) .

Autrement dit, la racine carrée d’un nombre carré modulo 59 est unique modulo 59.
3. Soit P1 l’ensemble des nombres impairs. Prouvez ou infirmez l’énoncé suivant:

∀x ∈ N, x2 + x + 41 ∈ P1 .

4. Soit p ∈ N∗ . Prouvez ou infirmez que si p divise a · b alors p divise a ou p divise b.

5. Considérez une règle à mesurer. L’instrument est divisé en portions d’égales longueurs.
Sans perte de généralité, une règle peut être supposée de longueur 1 et suffisamment
longue pour mesurer les objets que nous considérons ici. Dans ces conditions, si une
longueur est mesurée exactement par une règle à n divisions alors elle doit mesurer nq
pour q ∈ {0, 1, . . . , n} un entier. Autrement dit, pour être mesurée exactement, une
longueur doit être rationnelle. Pour cette raison, une longueur irrationnelle n’est pas
mesurable.
 Le format (Européen) de papier A4 est conçu pour que si vous coupez en deux parties
égales le côté le plus long alors vous obtenez deux feuilles dont le ratio des deux longueurs
de côté est le même que celui de la feuille originale. Montrez qu’une feuille A4 n’est pas
mesurable. Pour simplifier l’argument, vous pouvez supposer que le côté le plus long
d’une feuille A4 et moindre que deux fois la longueur du plus court.
6. Soit a, b ∈ N∗ tels que a > b. Démontrez que si a mod b 6= 0 alors pgcd(a, b) divise
(a mod b). Voici une stratégie pour y parvenir. Vous écrivez d’abord a = kb + r pour
k, r ∈ N∗ et r < b, par l’unicité des quotients et des restes et l’hypothèse que a > b.
Vous posez γ = pgcd(a, b) et concluez votre démonstration en montrant que γ divise r,
car a = αγ et b = βγ pour α, β ∈ N∗ par définition du pgcd.
7. Démontrez que 7n − 1 est divisible par 3 pour chaque entier naturel n ≥ 1.
8. Démontrez que 4n+2 + 52n+1 est divisible par 21 pour chaque entier naturel n ≥ 1.
9. (boni #1) Montrez par induction mathématique que pour chaque x ∈ R tel que x ≥ 0
et pour chaque n ∈ N, nous avons (2 + x)n ≥ 2(1 + nx).