Le raisonnement est absolument vrai... sauf pour le cas n=2. Les deux tas que l'on forme n'ont aucun objet en commun. Impossible d'affirmer que les couleurs sont identiques!
3 pesées
L'erreur vient de l'application de l'hypothèse de récurrence. On a supposé qu'on connaissait une procédure qui repère la pièce la plus légère quand il y a une pièce plus légère que toutes les autres. Mais on utilise dans la récurrence une procédure qui repère la pièce la plus légère quand il y a une pièce plus légère que toutes les autres, ou qui dit que toutes les pièces ont le même poids si elles ont le même poids. C'est plus général!
Pour signaler une erreur, proposer une amélioration, contacter les auteurs, écrivez à