Traduisons le dessin sous la forme d'inéquations. Soit C la masse du chat, E celle de l'écureuil, S celle de la souris, P celle du poussin et L celle du lapin...

On obtient :

1) S + S > E + L
2) S + E > S + P
3) L + L + P > E + S + C
4) C + P > E + L

D'après 2), S + E > S + P donc E > P.

L'écureuil est plus lourd que le poussin.

D'après 4), C + P > E + L, et comme E > P, C + P > E + L > P + L, soit C > L.

Le chat est plus lourd que le lapin.

D'après 3), L + L + P > E + S + C ; et comme C > L,
C + L + P > L + L + P > E + S + C, soit L + P > E + S.

Puisque L + P > E + S et que E > P, L + E > L + P > E + S, soit L > S.

Le lapin est donc plus lourd que la souris.

D'après 1), S + S > E + L. Et comme L > S, L + S > S + S > E + L, soit S > E.

Donc la souris est plus lourde que l'écureuil.

Ce qui donne, par ordre croissant,

Poussin < Ecureuil < Souris < Lapin < Chat

Remarque : cette énigme a été proposée sous une forme plus simple lors de la demi-finale du Rallye Maths Champagne Ardenne 2003. Si vous êtes prof dans cette région, pensez à inscrire vos classes : c'est gratuit, et cette approche différente des maths est généralement très appréciée des élèves !