Pour la première assertion : tu dois, pour un x quelconque, trouver un couple (y,z) tel que |x-y| = |z|. Une méthode possible : comme trouver les deux éléments d'un couple d'un seul coup c'est pas forcément évident, tu peux par exemple en fixer à une valeur particulière et voir si tu t'en sors. Par exemple, on a qu'à dire que y = 0 (mais on aurait pu faire y = 3x ou z = 42). On s'est ramenés au problème suivant : est ce que, pour un x quelconque, il existe un y tel que |x-y| = 0 (=|0|=|z|) ? Là, je te laisse répondre... Si tu trouves un y qui marche, alors c'est gagné (le couple (ce y, 0) convient), sinon il faudra trouver une autre technique.
