Wypiszmy współrzędne punktu . Punkt  leży na prostej , zatem:

Dodatkowo wiadomo, że punkt  jest równoodległy od punktów  oraz , zatem:

Skorzystajmy ze wzoru na długość