7 nains récoltent de l'or pour le maître des nains. Les nains fabriquent avec cet or des lingots d'exactement 1 kg. Le problème est qu'un certain nombre de nains sont des voleurs (On ne sait pas combien) et à chaque fois qu'ils fabriquent un lingot ils volent 1g d'or et fabriquent ainsi des lingots de 999g.

Le maître des nains peut demander à chacun des nains de fabriquer autant de lingots qu'il le souhaite, les nains voleurs voleront systématiquement 1g. Les lingots sont numérotés donc il est possible de savoir qui a fabriqué le lingot.

Pour démasquer les voleurs le maître des nains dispose d'une balance magique (avec écran digital) qui peut effectuer avec une précision infinie une seule pesée. Elle peut peser tout ce qu'on veut aussi lourd que ce soit.

La question est comment peut-il démasquer avec certitude les voleurs?

Mini indice qui n'aide presque pas : (Selectionner la suite pour visualiser)
Il faut d'abord résoudre le problème avec un seul voleur avant de s'intéresser au problème avec un nombre indéterminé de voleurs.