Résultat:
Comprenons d’abord à quoi ressemblent les ensembles et . La fonction , également appelée valeur absolue, donne la distance du nombre . Peut-être que ce n’est pas clair à première vue d’après la définition dans la note du problème, mais les valeurs absolues effacent le signe de . Regardez , si et . Dans ce cas, . La condition est alors la même que , donc . On a donc une droite contenant les points et . Mais nous sommes dans le cas et ce n’est qu’un segment de droite reliant ces deux points. Pour les autres cas de signes de et on obtient que l’ensemble est constitué des segments reliant les points et , les points et , les points et les points et . Il s’agit, en fait, d’un carré dont les sommets sont situés aux points , , et .
Continuons avec l’ensemble . Il est décrit par la relation . Cette fonction, appelée maximum, est égale au plus grand des nombres et . Pour que cette fonction soit égale à , il faut qu’au moins un des et soit égal à et que l’autre soit plus petit. Si alors ou . Dans ce cas, on doit avoir , ce qui signifie que . Pour , cette condition est satisfaite pour les points du segment de droite reliant les points et , alors que pour , elle est satisfaite pour les points du segment reliant les points et . Nous pouvons répéter ces idées pour . Cela ajoute à l’ensemble également le segment reliant les points et et le segment reliant les points et . Ainsi, l’ensemble est aussi un carré, mais cette fois avec les sommets , , et .
Les ensembles et sont dessinés sur la figure suivante :
D’après la figure, on voit que les carrés correspondant aux ensembles et se coupent en points, il y a donc points qui se trouvent simultanément dans l’ensemble et l’ensemble .