Solution pour le challenge 50
Question 1
Notons l’ensemble des mots binaires de longueur
comportant
fois le symbole 1.
Imaginons un casier, composé de cases vides. Construire un élément de
consiste à répartir dans le casier
symboles 1 et
symboles 0.
Le nombre de possibilités est donc égal au nombre de façons de choisir cases parmi
(celles destinées à accueillir le symbole 1).
Ainsi, en posant :
Question 2
Notons l’ensemble des mots binaires de longueur
ne comportant pas deux 1 consécutifs.
Notons Clairement :
Classons les mots de longueur ne comportant pas la séquence 11 en deux catégories :
- ceux commençant par 0 : ils forment un sous-ensemble noté
.
- ceux commençant par 1 : ils forment un sous-ensemble noté
Les éléments de sont obtenus en préfixant par 0 ceux de
.
Les éléments de sont obtenus en préfixant par 10 ceux de
.
En outre (union disjointe). En passant aux cardinaux, on en déduit :



Finalement, pour tout :
Question 3
Les choses se compliquent …
Notons l’ensemble des mots binaires de longueur
comportant
fois la séquence 01 et posons
Commençons par déterminer c’est-à-dire le nombre de mots binaires de longueur
ne comportant pas la séquence 01.
Un tel mot doit être composé, pour un certain de
symboles 1 suivis de
symboles 0 (justification ci-dessous). Par conséquent :
Détail (cliquer pour déplier / replier)
Notons les lettres d’un mot binaire de longueur
ne comportant pas la séquence 01 et supposons l’existence d’un couple
tel que
et
Soient alors :
et
En clair :
est le 0 le plus à droite tel qu’il existe un 1 à droite de cette position (pas forcément juste après),
est le 1 le plus à gauche parmi les 1 situés à droite de
Supposons un instant que et considérons un entier
tel que
On ne peut avoir ni
(par définition de
) ni
(par définition de
. Donc
ce qui montre la présence de la séquence 01, contrairement à l’hypothèse.
On a montré par l’absurde que, dans un mot de longueur ne comportant pas la séquence 01, on ne peut pas trouver un 0 suivi plus loin d’un 1. Ce mot est donc formé d’une séquence (éventuellement vide) de 1, suivie d’une séquence (éventuellement vide) de 0.
Nous allons établir une bijection entre les ensembles et
(notation de la question 1).
Etant donné préfixons ce mot par 1 et suffixons-le par 0.
A partir du mot obtenu (qui est de longueur
construisons un mot
de longueur
comme suit :
➡ Ceci définit une application
Par exemple, en partant de :

on forme successivement le mot :

puis le mot :

Inversement, considérons un mot et construisons un mot
de longueur
de la manière suivante :
et
Comme comporte un nombre impair de 1, on aura un nombre impairs de « changements » dans
(un changement est la transition d’un 0 vers un 1 ou inversement) et en particulier
Ensuite, supprimons le 1 en tête de et le 0 en queue, autrement dit posons
avec :
Le mot est de longueur
et comporte
fois la séquence 01 : en effet, comme
commence par un 1, le premier changement produit la séquence séquence 10 et il reste ensuite
changements : la moitié d’entre-eux donnent la séquence 01.
➡ Ceci définit une application Or :

Ainsi c’est-à-dire :
Pour consulter l’énoncé, c’est ici