Solution de l'énigme du meunier fatigué

Première pesée : mettons un sac de côté et comparons un tas de 3 sacs et un autre tas de 3 sacs.

Si la balance est équilibrée,

alors, le sac plus léger n'est pas sur la balance (ni sur le plateau de gauche, ni sur le plateau de droite).
Donc, le sac plus léger est celui que l'on a mis de côté : .

Par contre, si un plateau est plus haut,

alors le sac plus léger est sur ce plateau : c'est l'un des 3 sacs. Lequel ? Recommençons une pesée avec ces 3 sacs...

Mettons 1 sac de côté et comparons les 2 sacs restant :

Si la balance est équilibrée,

alors, le sac plus léger n'est pas sur la balance (ni sur le plateau de gauche, ni sur le plateau de droite).
Donc, le sac plus léger est celui que l'on a mis de côté : .

Par contre, si un plateau est plus haut,

alors le sac plus léger est sur ce plateau : c'est gagné !

Les découvreurs
retour au sac