AB — CD = D'B

Celte définition est légitime : on le montrera, comme au x n os 6 et 8, en faisant voir que si T on amène AB et CD en OjB'j et OjD',, le segment D'jB'j est égal au segment

D'B', quel que soit le point O t .

Remarquons tout de suite que, contrairement à ce qui a lieu en arithmétique, la soustraction de deux segments est une opération toujours possible, d'après la définition.

C'est ainsi que sur la figure on a :

CD— ÂB=ÏTF.

Ceci nous montre que, si Ton soustrait successivement chacun des deux segments donnés l'un de l'autre, on trouve deux résultats symétriques l'un de l'autre.