• Aucun résultat trouvé

Montrer que si n∈Z est un multiple dea, alors n2 aussi

N/A
N/A
Protected

Academic year: 2022

Partager "Montrer que si n∈Z est un multiple dea, alors n2 aussi"

Copied!
2
0
0

Texte intégral

(1)

INTRODUCTION `A LA TH ´EORIE DE L’INFORMATIQUE

ANN ´EE ACAD ´EMIQUE 2013-2014 R ´EP ´ETITION 1

Techniques de preuves.

(1) (Implication directe)

(a) Soita∈N. Montrer que si n∈Z est un multiple dea, alors n2 aussi.

(b) En d´eduire que si n∈Zest impair, alorsn2+ 1 est pair.

(2) (Preuve par cas)

On dispose d’une balance manuelle (pas de graduation, juste une fl`eche et deux pla- teaux).

(a) Parmi 3 pi`eces apparemment identiques, se cache une pi`ece fausse remarquable- ment imit´ee. On sait seulement qu’elle est un peu plus lourde que les vraies...

Montrer qu’il est possible de d´eterminer la fausse pi`ece en seulement 1 pes´ee.

(b) Parmi 8 pi`eces apparemment identiques, se cache une pi`ece fausse remarquable- ment imit´ee. On sait seulement qu’elle est un peu plus lourde que les vraies...

Montrer qu’il est possible de d´eterminer la fausse pi`ece en seulement 2 pes´ees.

(3) (Preuve par cas)

Soit p, q, r des propositions. Montrer au moyen d’une ´etude de cas que la d´eduction suivante est valide.

p∨q,¬r∨ ¬q p∨ ¬r

(4) (Preuve par induction) Montrer en utilisant le Principe de preuve par induction que le nombre de sous-ensembles distincts d’un ensemble de n´el´ements est 2n.

(5) (Preuve par induction)

(a) Montrer que pour tout nombre naturel n >3, on a 2n< n!.

(b) Montrer que pour tout nombre natureln>5, on an2 <2n. (6) (Preuve par induction)

(a) Montrer que pour tout nombre naturel n, le nombre 8n−2n est divisible par 6.

(7) (Preuve par induction forte)

Montrer que quels que soient les nombres entiersx1, x2, ..., xn(n>1) et quel que soit l’ordre dans lequel on place les parenth`eses dans leur produit, le nombre d’op´erations

`

a effectuer pour calculer ce produit vaut toujoursn−1.

1

(2)

2 ANN ´EE ACAD ´EMIQUE 2013-2014 R ´EP ´ETITION 1

(8) (Preuve par induction forte)

Montrer que si on prend le Principe de preuve par induction forte comme un axiome, alors on peut d´emontrer le Principe du bon ordre.

(9) (D´emonstration via le Principe du bon ordre)

Un tournoi toutes rondes (“round-robin tournament” en anglais) simple est un type de tournoi dans lequel les participants se rencontrent tous exactement une fois.

On dit que des joueurs p1, p2, ..., pm forment un cycle si p1 bat p2, p2 bat p3, ..., pm−1 bat pm et pm bat p1. En utilisant le Principe du bon ordre, montrer que s’il existe un cycle de m joueurs avecm>3 dans un tournoi toutes rondes simple, alors il existe un cycle de longueur 3 parmi les joueurs de ce cycle.

Preuves erron´ees.

(1) (Preuve erron´ee)

Trouver l’erreur dans la d´emonstration suivante de 1/8>1/4.

D´emonstration. En utilisant les propri´et´es de la fonction log10, on a 3>2 ⇒ 3.log10(1/2)>2.log10(1/2)

⇒ log10 (1/2)3

>log10 (1/2)2

⇒ (1/2)3>(1/2)2

⇒ 1/8>1/4.

(2) (Preuve erron´ee)

Trouver l’erreur dans la d´emonstration suivante du fait que tous les entiers strictement positifs sont ´egaux.

D´emonstration. On doit montrer qu’´etant donn´e A et B deux entiers strictement positifs, on a toujours A=B. Pour ce faire, il suffit (justifier !) de montrer que

P(N) = ((M AX(A, B) =N)⇒(A=B)) est v´erifi´e pour tout N >0.

On proc`ede par induction. Si N = 1, alors puisque A et B > 0 sont strictement positifs, l’´egalit´e M AX(A, B) = 1 assure que A=B= 1.

On suppose maintenantP(N) vrai pour unN >1. On va montrer qu’alorsP(N+1) est vrai. SoientAetB avecM AX(A, B) =N+ 1. AlorsM AX((A−1),(B−1)) =N et on en d´eduit que (A−1) = (B−1) en utilisant l’hypoth`ese d’inductionP(N). En ajoutant 1 aux deux membres de cette derni`ere ´egalit´e, on trouve A=B.

Références

Documents relatifs

On rappelle le principe du chiffrement asym´ etrique ElGamal. Bob choisit un grand nombre premier p ainsi qu’une racine primitive modulo p not´ ee α. Il choisit aussi un entier s

3) On se propose de démontrer qu’un nombre de Liouville est en fait transcendant.. Pour cela nous allons établir le

Quelle est dans cette base la matrice de l’endomorphisme

[r]

(1) La fonction est le quotient de fonctions enti` eres dont le d´ enominateur est non identiquement nul.. Elle d´ efinit donc une fonction m´ eromorphe

Universit´e Pierre et Marie Curie Ann´ee universitaire 2009/2010.. Licence Sciences et Technologies

Les termes diagonaux ´ etant nuls, les seuls termes non nuls du d´ eveloppement de ce d´ eter- minant sont ceux pour lesquels σ est un d´ erangement (permutation sans point fixe)

Montrer que φ est nilpotent si et seule mt si 0 est l’unique valeur