Chaque point à coordonnées entières du plan est colorié avec l'une des trois couleurs « bleu », « rouge » et « jaune ». Les trois couleurs sont utilisées au moins une fois. Démontrer qu'on peut toujours former un triangle rectangle dont les trois sommets sont de couleurs toutes différentes.

 Solution