Thème 8 — Temps d'attente
Cours · mathématiques complémentaires (terminale), chapitre 18 · terminale, option mathématiques complémentaires · le début du chapitre, la suite sur Adloun
Une régie de transports affiche, sur la ligne 12 : « un bus toutes les minutes ». Les usagers, eux, se plaignent d'attendre bien davantage. Un club de mathématiques de terminale décide de trancher, et fait deux relevés pendant un mois : il chronomètre intervalles entre deux bus successifs, et il interroge usagers pour noter combien de temps chacun a attendu.
Les deux moyennes tombent : minutes entre deux bus, et minutes d'attente par usager. La régie n'a pas menti — l'intervalle moyen est bien de dix minutes. Mais l'attente moyenne devrait alors être de cinq minutes, la moitié d'un intervalle. Elle en fait le double. Aucun des deux relevés n'est faux, et pourtant ils semblent se contredire.
Il n'y a là ni erreur de mesure ni mauvaise foi. Il y a une question mathématique, et elle en cache plusieurs : qu'est-ce qu'un temps d'attente ? Comment le décrire quand la moyenne trompe ? Que signifie exactement « ne pas vieillir » pour un composant, un atome, un être vivant ? Et pourquoi une file d'attente s'allonge-t-elle si brutalement lorsqu'un guichet approche de la saturation ?
Problématique. La moyenne d'une attente suffit-elle à la décrire — et si elle n'y suffit pas, que faut-il regarder ?
18.1 L'enquête : deux relevés, deux vérités
18.1.1 Ce que le club a mesuré
Les attentes relevées sont très dispersées : usagers (soit près de ) ont attendu moins de cinq minutes, mais d'entre eux — un sur six — ont attendu plus de vingt minutes. La médiane des attentes vaut minutes, très au-dessous de la moyenne . C'est le premier signal : la moyenne, ici, ne résume pas grand-chose.
18.1.2 Le fil de l'étude
Méthode : Le fil de l'étude, en cinq étapes
- Choisir une horloge. L'attente se compte-t-elle en essais entiers (chapitre 8, loi géométrique) ou se mesure-t-elle en temps continu (chapitre 9, loi exponentielle) ? Les deux modèles sont reliés.
- Décrire autrement que par la moyenne : médiane, quartiles, queue de distribution, et seuils obtenus par le logarithme (chapitre 3).
- Identifier le modèle sur les données. Un changement de variable logarithmique ramène l'ajustement à une droite (chapitre 10).
- Tester l'absence de mémoire. Elle est commode, mais elle interdit le vieillissement : il faut savoir quand elle est fausse (chapitre 8, probabilités conditionnelles).
- Simuler ce qui échappe au calcul exact : attente du -ième événement, file d'attente à un guichet (chapitre 9).
Tout le thème s'appuie sur une même boîte à outils, celle du chapitre 9, complétée au fur et à mesure.
from random import random, seed
from math import log, exp
def expo(lam):
# Une duree suivant la loi exponentielle de parametre lam (chapitre 9).
return -log(1 - random()) / lam
def somme(loi, n):
# Somme de n tirages independants de la meme loi.
total = 0
for _ in range(n):
total = total + loi()
return total
N = 100000
18.2 Deux horloges pour la même question
18.2.1 Compter des essais, mesurer un temps
Une question d'attente se pose toujours de l'une de ces deux façons.
- Combien d'essais avant le premier succès ? La variable est entière : loi géométrique de paramètre , avec , et (admise).
- Combien de temps avant le prochain événement ? La variable est continue : loi exponentielle de paramètre , avec et .
Le mot qui décide est dans l'énoncé : « combien de patients », « combien de tirages » donnent une géométrique ; « au bout de combien d'heures », « quelle durée » donnent une exponentielle.
Le chapitre 9 a établi le pont exact entre les deux : en observant une loi exponentielle uniquement aux instants entiers, on retombe sur une loi géométrique de paramètre , et les deux lois donnent alors la même probabilité de dépassement, .
Sur la ligne 12, un bus passe en moyenne toutes les minutes, soit bus par minute. Vue minute par minute, chaque minute est une épreuve de Bernoulli de paramètre
et le nombre de minutes à attendre suit la loi géométrique de ce paramètre. On vérifie que
Les deux modèles répondent identiquement. Seules les espérances diffèrent un peu : minutes, contre minutes, car arrondit toujours à la minute entière supérieure.
18.2.2 Découper le temps de plus en plus fin
Le pont précédent découpe le temps en tranches d'une minute. Rien n'oblige à s'arrêter là : on peut découper une durée en tranches de longueur , chacune portant une probabilité d'événement . La probabilité de ne rien voir arriver pendant toute la durée est alors
et il est légitime de se demander ce que devient ce nombre quand le découpage devient très fin.
Prenons appel par heure et heures, donc . Voici pour des découpages de plus en plus fins.
Les valeurs montent et se stabilisent : à la sixième décimale, le découpage à la seconde donne , contre .
Ce tableau n'est pas une démonstration, et le programme ne demande pas d'en faire une : il illustre. Mais il dit l'essentiel — la loi exponentielle est ce que devient la loi géométrique quand on cesse de compter par essais entiers pour laisser le temps s'écouler. Le passage du discret au continu, thème récurrent de ce programme, se lit ici sur six nombres.
La ligne « probabilité par tranche » doit rester inférieure à : c'est une probabilité. Le découpage doit donc être assez fin pour que . Avec et , l'écriture n'aurait aucun sens probabiliste, même si le calcul est possible.
18.3 La moyenne ne suffit pas
18.3.1 Médiane, quartiles, queue
La médiane d'une variable aléatoire est la valeur qui partage la population en deux moitiés.
- Cas continu : est la solution de .
- Cas discret : est le plus petit entier tel que .
Soit de loi exponentielle de paramètre et de loi géométrique de paramètre .
Démonstration
Le cas continu a été établi au chapitre 9 : donne , puis .
Dans le cas discret, équivaut à , c'est-à-dire à . La fonction étant strictement croissante, on peut lui appliquer les deux membres :
Comme , le nombre est négatif : diviser par lui renverse l'inégalité, et
La médiane est le plus petit entier qui vérifie cette condition.
Diviser par change le sens de l'inégalité, parce que ce nombre est négatif. C'est l'erreur la plus fréquente de tout le thème : on trouve alors un seuil « au plus » là où il fallait « au moins ». Contrôle immédiat : le seuil trouvé doit être un nombre positif et croître quand diminue.
Modélisons l'attente sur la ligne 12 par une loi exponentielle de moyenne minutes, soit . Alors
La moitié des usagers attend moins de sept minutes, mais un quart attend plus de quatorze minutes. Et
Le relevé du club donnait d'attentes supérieures à vingt minutes ; le modèle en prévoit . L'ordre de grandeur est le bon.
Trois nombres suffisent à décrire honnêtement une attente : la médiane (ce que vit la moitié des gens), le troisième quartile (ce à quoi il faut se préparer) et une probabilité de queue du type . La moyenne seule est le plus mauvais des résumés, parce qu'une poignée d'attentes très longues suffit à la déplacer sans rien changer au quotidien de personne.