Zauważmy, że trójkąty ACL, ACM, ACK, BCL, BCM, BCK są prostokątne, oraz mają równą jedną przyprostokątną (odcinek AC ma równość długość odcinkowi BC) - aby porównać długości danych odcinków wystarczy więc skupić się na odległości punktów od odcinka AB.

 

$AK=BK$