• Aucun résultat trouvé

Preuve par induction

N/A
N/A
Protected

Academic year: 2022

Partager "Preuve par induction"

Copied!
2
0
0

Texte intégral

(1)

D´emonstration 1 - solutionnaire

IFT2102 13 septembre 2002

Preuve par induction

Soit?une op´eration associative. Montrez que tout parenth´esage d’un produit de ntermes est ´equivalent.

– Mentionnons tout d’abord que (x) = ((x)) = (((x))) = · · · = x. Nous ne consid´erons pas ce cas trivial pour la suite de la preuve.

– Base

n=1 : clair puisqu’il n’y a qu’un seul parenth´esage non trivial possible.

n=2 : clair puisqu’il n’y a qu’un seul parenth´esage non trivial possible.

n=3 : clair puisque par hypoth`ese?est associative.

– Pas d’induction

Soitn > 3. Supposons que quelque soit 1≤ k ≤n tout parenth´esage d’un produit dektermes soit ´equivalent `ac1?(c2?(c3. . . ck). . .)) et montrons que cette propri´et´e est vraie pourn+ 1.

Le produit de n+ 1 termes se divise n´ecessairement en deux blocs ayant respectivementna et nb termes (avecna+nb =n+ 1 et na, nb >0). Deux cas sont possibles :

– na= 1

Alors le produit se pr´esente sous la formec1?(B). OrB contientntermes et on peut donc y appliquer l’hypoth`ese d’induction. AinsiB est ´equivalent

`

a c2?(c3?(c4. . . cn+1). . .)), et par cons´equent le produit au complet est

´equivalent `ac1?(c2?(c3?(c4. . . cn+1). . .))).

– 1< na≤n

Alors le produit se pr´esente sous la forme (A)?(B). Puisque na ≤ n, on peut appliquer l’hypoth`ese d’induction `a A : A est donc ´equivalent `a c1?(c2?(. . . cna). . .)). Le produit total est donc ´equivalent `a c1?(c2? . . . cna). . .)?(cna+1? . . . cn+1). Par associativit´e, ceci est ´equivalent `ac1? ((c2? . . . cna). . .)?(cna+1? . . . cn+1)). On a donc une expression qui cor- respond au premier cas.

(2)

Preuve par diagonalisation

Montrez que Rn’est pas d´enombrable.

Il suffit de montrer que l’intervalle [0,1) n’est pas d´enombrable car tout sous- ensemble d’un ensemble d´enombrable l’est aussi.

On repr´esentera un nombre en notation d´ecimale en ´evitant la repr´esentation p´eriodique...¯9 afin d’´eliminer les ambiguit´es. Par exemple, 0.1324¯9 est repr´esent´e par 0.1325. De cette fa¸con, tout nombre admet une repr´esentation d´ecimale unique. Les nombres dans l’intervalle [0,1) sont pr´ecis´ement ceux qui ont une repr´esentation de la forme 0, x1x2x3....

Supposons que l’intervalle [0,1) est d´enombrable. Il existe donc une suitex1, x2, x3, ...

dans laquelle chaque nombre entre 0 et 1 se retrouve une fois.

On va maintenant construire (par diagonalisation) un nombrex dans l’inter- valle qui ne peut ˆetre dans cette suite, ce qui par contradiction montrera que [0,1) n’est pas d´enombrable.

Pour chaque i ≥ 1, on a la repr´esentation d´ecimale 0, xi1xi2xi3... de xi. Soit x = 0, y1y2y3... o`u chaque yi est d´efini en modifiant xii par un nombre autre que 9 (pour ´eviter..¯9). Donc,yi 6=xii pour tout i≥1. Ce nombrex est bien dans l’intervalle [0,1). Pourtant, il ne peut pas ˆetre dans la suite puisqu’il diff`ere de chaquexi par au moins une d´ecimale, ce qui termine la preuve.

2

Références

Documents relatifs

L’auteur nous rend attentif au montage qui biaise le sens des photographies et qui impose, souvent sous couvert d’évidence, des signes calculés. Il y a chez lui

Alors on ajoute à 22 autant de fois de 11 qu'il le faut, pour obtenir une soustraction avec un

Dans le domaine de la narration computationnelle (systèmes de génération d'histoires, des modèles de narration interactifs), beaucoup des systèmes issus de la recherche reposent sur

[r]

[r]

Ce type d'élément de preuve est essentiel dans les processus judiciaires tant il est vrai que l'origine des éléments (contradictoires ou pas) est crucial ainsi que la

[r]

es enquêtes judiciaires sont aujourd’hui de plus en plus confrontées à des éléments de preuve qui se manifestent sous la forme de documents informatiques, ou retrouvés dans