Adloun

Problème — La formule d'inversion de Pascal : surjections et dérangements

Exercice de TD · niveau 3 (difficile) · mathématiques (PTSI), chapitre 15 — Dénombrement · D. Problèmes et doubles comptages

Énoncé

1) (Deux outils) Montrer que pour tout entier . Rappeler, d'après l'exercice 7, que pour .

2) (Inversion) Soient et deux suites réelles telles que pour tout . Montrer que pour tout (écrire une somme triangulaire, puis utiliser le 1)).

3) (Surjections) Soit . Pour , on note le nombre de surjections d'un ensemble à éléments sur un ensemble à éléments (donc ). En classant les applications de dans , où et , selon leur image, montrer que ; en déduire .

4) (Contrôles) Vérifier que , que et que pour . Justifier que pour ; que dit ce dernier point de la somme ?

5) (Dérangements) On note le nombre de permutations de sans point fixe, avec . En classant les permutations selon leur ensemble de points fixes, montrer que ; en déduire , puis .

6) (Un peu plus d'un tiers) À l'aide de l'inégalité de Taylor-Lagrange appliquée à l'exponentielle sur , montrer que ; en déduire que tend vers , puis que est l'entier le plus proche de pour tout . Énoncer le théorème obtenu.

Corrigé

1) Les deux outils. Pour , la formule du binôme avec et donne ; pour , la somme vaut . La seconde identité est celle du comité et du bureau, exercice 7 b), avec un comité de personnes et un bureau de membres.

2) L'inversion. La stratégie : remplacer chaque par sa définition, intervertir les deux sommes, et reconnaître un binôme en . Pour fixé : La somme porte sur le triangle ; en l'écrivant d'abord selon , pour de à , puis selon de à — les bornes changent, c'est le point délicat des sommes triangulaires —, et en utilisant la seconde identité du 1) : Posons , de à : la somme intérieure est par le binôme, nulle pour et égale à pour , c'est-à-dire pour . Il ne reste que : la relation triangulaire est inversée.

3) Les surjections. Le classement. Chaque application a une image , qui est une partie de ; classons les applications selon cette image — les classes sont disjointes et recouvrent tout. Les applications d'image exactement sont les applications de dans qui atteignent tous les éléments de , c'est-à-dire les surjections de sur : il y en a , ce nombre ne dépendant que du cardinal de . Il y a parties à éléments, d'où, par le principe d'addition, la classe étant vide puisque n'est pas vide. L'inversion. Cette relation vaut pour tout , étant fixé : c'est l'hypothèse du 2) avec et . Donc

4) Les contrôles. : — toutes les applications sauf les deux constantes. : une surjection entre deux ensembles de même cardinal est une bijection, par le théorème du cours, et il y a bijections ; la formule livre donc l'identité , par exemple pour . : dans une surjection de éléments sur , les ensembles d'antécédents sont parties non vides de somme des cardinaux : exactement l'une a deux éléments, les autres un seul. On choisit la paire d'éléments de même image, façons, puis la bijection entre les blocs et les éléments d'arrivée, façons : . Pour : , et la formule donne . : l'image de a au plus éléments, donc aucune surjection, , et la formule livre pour : la somme alternée d'ordre tue les puissances d'exposant inférieur à — l'analogue discret de la dérivée -ième, qui tue les polynômes de degré inférieur à .

5) Les dérangements. Le classement. Classons les permutations de selon leur ensemble de points fixes . Soit le complémentaire de . Pour , on a : si était dans , alors , et l'injectivité donnerait . Donc induit une application de dans , injective, donc bijective par le théorème du cours, et sans point fixe : un dérangement de . Réciproquement, un dérangement de prolongé par l'identité sur est une permutation dont l'ensemble des points fixes est exactement . La classe de compte donc éléments, et il y a parties à éléments : en posant et par symétrie des coefficients binomiaux. L'inversion, avec et : en posant . Les valeurs : , , , , . Contrôle de la relation pour : ; et pour , les deux dérangements sont bien les deux permutations circulaires.

6) Un peu plus d'un tiers. Taylor-Lagrange. L'exponentielle est de classe , toutes ses dérivées valent , et sur le segment elles sont majorées par . L'inégalité de Taylor-Lagrange à l'ordre , en et , donne Le majorant tend vers : . Le point délicat : le majorant de la dérivée doit valoir sur tout le segment ; il est atteint en , pas en .

L'entier le plus proche. En multipliant par : , qui vaut au plus pour . Tout autre entier vérifie alors : est l'entier le plus proche de . Pour , on le vérifie à la main : et . Contrôles : et ; et .

L'interprétation. Si l'on rend au hasard chapeaux à leurs propriétaires, la proportion des façons de le faire où personne ne retrouve le sien est : pour , pour , pour , puis , … Contrairement à l'intuition, elle ne tend pas vers : elle se stabilise à , un peu plus d'un tiers.

Le théorème obtenu — la formule d'inversion de Pascal. Si deux suites vérifient pour tout , alors pour tout . Elle donne le nombre de surjections et la formule des dérangements , entier le plus proche de — le problème des rencontres, posé par Montmort en 1708.

Ce que le problème installe. Une relation triangulaire à coefficients binomiaux s'inverse, et le binôme en , nul sauf pour , fait tout le travail. Deux classements — les applications selon leur image, les permutations selon leurs points fixes — fournissent de telles relations, et l'inversion les résout : c'est, sous une forme élémentaire, ce que la formule du crible systématise, sans jamais l'invoquer. Lecture matricielle, pour qui connaît les chapitres 10 et 12 : la matrice triangulaire des coefficients binomiaux est, à la transposition près, celle de dans la base canonique des polynômes, et son inverse celle de — l'inversion de Pascal, c'est . Le chapitre 16 reprendra les chapeaux comme la probabilité qu'une permutation aléatoire n'ait aucun point fixe.

Les autres exercices de ce chapitre Le cours du chapitre

Un blocage sur cet exercice ? Le tuteur d'Adloun guide par questions, sans donner la réponse.