Wir begründen disen Sachverhalt in zwei Schritten:
Schritt 1: H liegt auf der Potenzlinie
Aus der Zeichnung ersehen wir: Sei |AH| = , AF = , |HB| = und |BE| = .
Dann gilt nach Pythagoras und . Da |FH|=|HE|, denn das Dreieck FHE ist ein gleichschenkliges Dreieck, gilt also oder auch
Falls H auf der Potenzlinie zweier Kreise k1 und k2 liegt, so
ist P(K,k1)=P(H,k2) und somit ,
also . Es folgt, dass
H auf der Potenzlinie beider Kreise liegen muss.
Schritt 2: Die Senkrechte auf H durch AB entspricht der Potenzlinie
Wir haben oben gesehen, dass für alle Punkte auf der Potenzlinie gilt, dass . Nun zeigen wir, dass alle diese Punkte auf einer Senkrechten zu AB liegen. Sei D ein Punkt mit der Eigenschaft, dann gilt . Hat man nun von D die Senkrechte auf AB gezogen und auf ihr irgendeinen anderen Punkt E gewählt, so gilt für ihn und . Also gilt