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 :
de sorte que :
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 :
Les entiers sont donc les nombres de Fibonacci, mais avec un décalage de deux rangs, puisque et
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 :
et
par construction, ce qui prouve que est une bijection.
Ainsi c’est-à-dire :
Pour consulter l’énoncé, c’est ici