Un enfoque que podría ser útil no sólo para proporcionar las soluciones, sino también para discutir y entender su existencia, es como sigue. Dados dos puntos $P_1$ $P_2$ y una línea, podemos establecer, sin pérdida de generalidad, una $xy$ plano donde el $x$-eje coincide con la línea y la no-porción negativa de la $y$-eje contiene $P_1$. Las coordenadas de $P_1$ $P_2$ puede entonces escribirse como $(0,y_1)$$(x_2,y_2)$, respectivamente (con $y_1 \geq 0\,$). El segmento de $P_1P_2$ pendiente $(y_2-y_1)/x_2$ y su punto medio tiene las coordenadas $(x_2/2,(y_1+y_2)/2)\,\,\,\,$. De manera que la ecuación de su eje geométrico es
$$y=-\frac{x_2}{y_2-y_1} x + \frac{y_1+y_2}{2}+\frac{x_2^2}{2(y_2-y_1)} $$
Ahora tenemos que identificar, en esta línea, un punto cuya distancia de $P_1$ (o $P_2$) es igual a la distancia desde la $x$-eje. Por lo tanto, si llamamos a $(X,Y)$ las coordenadas de este punto, debemos tener
$$X^2+(Y-y_1)^2=Y^2$$
Desde $(X,Y)$ también deben satisfacer la ecuación de la geometría del eje, resolviendo el sistema y simplificando obtenemos que el buscado coordenadas son
$$X=\frac{y_1 x_2}{y_1 - y_2} \pm \sqrt{y_1 y_2\left(1 + \frac{x_2^2}{(y_1 - y_2)^2} \right) }$$
$$ Y= \frac{y_1+y_2}{2} + \frac{x_2 (2X-x_2)}{2(y_1 - y_2)}$$
Tenga en cuenta que estas fórmulas son válidas para $y_1 \neq y_2\,$. Si $y_1=y_2\,$ (es decir, si la geometría del eje es perpendicular a la $x$-eje), se tiene trivialmente
$$X=\frac{x_2}{2}$$
$$Y=\frac{y_1}{2}+\frac{X^2}{2y_1}$$
También tenga en cuenta que, para las soluciones reales, $y_1y_2$ debe $\geq 0\,\,$. Debido a $y_1$ ha sido asumido $ \geq 0$ en los supuestos iniciales ($P_1$ es sobre la no-porción negativa de la $y$-eje), esto implica que:
en el caso de $y_1 \neq y_2 \,$ si $y_1$ $y_2$ ambos $>0$ (es decir, $P_1$ en el positivo $y$-eje y $P_2$ está en el primer o segundo cuadrante) tenemos dos diferentes soluciones reales;
en el caso de $y_1 \neq y_2\,$ si $y_1=0$ o $y_2=0$ (es decir, una entre las $P_1$ $P_2$ es en el $x$-eje) tenemos una única solución real;
en el caso de $y_1 \neq y_2\,$ si $y_1>0$ $y_2<0$ (es decir, $P_1$ en el positivo $y$-eje y $P_2$ está en el tercer o cuarto cuadrante) nosotros no tenemos soluciones reales;
por último, en el caso de $y_1 = y_2\,$, tenemos una única solución real.
Para dar un ejemplo, pongamos $P_1=(0,2) \,\,$$P_2=(2,4)\,\,$. En este caso, tenemos $y_1=2\,$, $x_2=2\,\,$,$y_2=4\,\,$, y estamos en el caso de $y_1 \neq y_2\,\,\,$. La aplicación de las fórmulas anteriores, obtenemos
$$X=\frac{4}{-2} \pm \sqrt{2 \cdot 4 \left(1 + \frac{2^2}{(-2)^2} \right) }=-2 \pm 4$$
Poniendo estos dos posibles valores de $X$ en la ecuación de dar a $Y$, para el caso de $X=2\,\,$ rendimientos
$$ Y= \frac{2+4}{2} + \frac{2 (4-2)}{2(-2)}= 3-1=2$$
y para el caso de $X=-6 \,\,$ rendimientos
$$ Y= \frac{2+4}{2} + \frac{2 (2 \cdot (-6)-2)}{2(-2)}= 3+7=10$$
por último dar las dos soluciones de la $(2,2) \,$$(-6,10)\,$. En consecuencia, las distancias de $(2,2) \,$a partir de $P_1$, $P_2$, y el $x$-eje son todos iguales a $2$, y los de $(-6,10)\,$ son todos iguales a $10$.
De la misma manera, si por ejemplo nos pusimos $P_1=(0,4)\,\,$$P_2=(12,4)\,\,$, luego $y_1=4\,$, $x_2=12\,\,\,$,$y_2=4\,\,$ y estamos en el caso de $y_1 = y_2\,\,$, donde la geometría del eje es perpendicular a la $x$-eje. Así obtenemos
$$X=\frac{12}{2}=6$$
$$Y=\frac{4}{2}+\frac{6^2}{2 \cdot4}=\frac{13}{2}$$
dando la única solución de $(6,13/2) \,\,$, cuyas distancias de $P_1$, $P_2$, y el $x$-eje son todos iguales a $13/2 \,$.