Rappel du problème

Désignons par [n] la personne qui a serré n mains (n est compris entre 0 et 8).

Tout le monde a serré la main de [8] sauf son conjoint (et lui-même). Donc [0] est forcément le conjoint de [8].

En renouvelant ce raisonnement (par exemple en retirant les personnes [0] et [8]), on en déduit que [1] est le conjoint de [7], etc. Ainsi, on déduit que mon épouse a nécessairement serré 4 mains !