Hola,
Sea \( l \) una recta de \( \mathbb{E}_2 \), \( P \) un punto de \( \mathbb{E}_2 \) que no está en \( l \) y sea \( k>0 \) tal que \( d(P,l)\neq k \). Determinar el lugar geométrico \( L \) de puntos \( X\in \mathbb{E}_2 \) tales que \( d(X,P) + d(X,l) = k \).
Podemos tomar un referencial en el que \( l:= y=0 \), \( P(0,z) \) y \( X(x_o, y_o) \) entonces tenemos;
\( d(X,P) = \sqrt{x_o^2 + (y_o -z)^2} \) y \( d(X,l) = |x_o| \) y por lo tanto la suma de ambas distancias queda (tomando \( x_o>0 \));
\( \sqrt{x_o^2 + (y_o -z)^2} + x_o = k \rightarrow x_o^2 + (y_o -z)^2 = (k - x_o)^2 \rightarrow (y_o-z)^2 - k^2 + 2x_ok = 0 \) Y aquí es donde no consigo seguir. En principio no parece que el lugar geométrico que dice sea una cónica (ya que no es una ecuación de segundo grado en \( x_o, y_o \)), ¿pero cómo lo pruebo?.
Saludos.