Le lemme des poignées de mains
Dans un graphe simple, fini et non orienté , la somme des degrés des sommets est égale à deux fois le nombre d’arêtes :
La fonction associe à chaque sommet son degré, c’est-à-dire le nombre d’arêtes incidentes à .
Intuition
Chaque arête possède exactement deux extrémités. En additionnant les degrés de tous les sommets, chaque arête est donc comptée exactement deux fois.
Démonstration formelle
Considérons l’ensemble des incidences
En regroupant les incidences par sommet, un sommet apparaît dans exactement paires. Ainsi,
En les regroupant par arête, chaque arête possède exactement deux extrémités. Ainsi,
Les deux expressions comptent le même ensemble , donc .