Teilung und Verlängerung

Die gleiche Konstruktion, die die Teilung vermittelt, liefert auch die Verdopplung einer Strecke: Wir vertauschen nur die Rolle von Fernpunkt und Streckenanfang. Rückt F ins Unendliche, wird aus

D[CA,BF] = (CB/CF):(AB/AF) = -1

gerade CB = - AB = BA.