Soient neuf points du plan dont les distances entre deux quelconques d’entre eux sont mesurées par des nombres entiers. Démontrer que six d’entre elles au moins sont divisibles par 3.
Généralisation avec  n > 3 points du plan : au moins un sixième des distances toutes entières entre deux points quelconques sont divisibles par 3.

 Solution