Debe conocer la definición (o al menos a) de una hipérbola. Una conveniente para elegir es la siguiente.
Una hipérbola es el lugar geométrico de los puntos con la propiedad de que el valor absoluto de la diferencia entre las distancias desde el punto a los dos focos es una constante igual a la distancia entre sus vértices.
Para establecer que [math] y = \ frac 1x [/ math] define dicho conjunto de puntos, simplemente necesitamos ver si hay dos focos que permitan que cada punto de la curva satisfaga el requisito de la definición.
Ahora los vértices deben estar en [matemática] (1,1) [/ matemática] y [matemática] (- 1, -1) [/ matemática] por lo que la distancia entre los vértices es [matemática] 2 \ sqrt 2 [/ matemática ]
Propongo que escojamos los puntos [matemática] (f, f) [/ matemática] y [matemática] (- f, -f) [/ matemática] como los focos y encontremos una [matemática] f> 0 [/ matemática] eso cumple con la definición. Hay razones de simetría para justificar esta elección.
Ahora vamos a elegir un punto arbitrario en la curva: [matemáticas] \ izquierda (x, \ frac 1x \ derecha) [/ matemáticas].
Podemos suponer [matemáticas] x> 0 [/ matemáticas] por simetría sin pérdida de generalidad.
Entonces la distancia entre el punto y los focos son:
[matemáticas] d_1 = \ sqrt {(xf) ^ 2 + (1 / xf) ^ 2} [/ matemáticas]
[matemáticas] d_2 = \ sqrt {(x + f) ^ 2 + (1 / x + f) ^ 2} [/ matemáticas]
Como [math] d_2> d_1 [/ math] vemos que la diferencia absoluta entre las distancias es:
[matemáticas] \ Delta d = \ sqrt {(x + f) ^ 2 + (1 / x + f) ^ 2} – \ sqrt {(xf) ^ 2 + (1 / xf) ^ 2} [/ matemáticas]
Queremos que esta diferencia sea constante e igual a [math] 2 \ sqrt 2 [/ math].
Por lo tanto, buscamos una [matemática] f> 0 [/ matemática] de modo que lo siguiente sea válido para todas [matemática] x> 0 [/ matemática].
[matemáticas] 2 \ sqrt 2 = \ sqrt {(x + f) ^ 2 + (1 / x + f) ^ 2} – \ sqrt {(xf) ^ 2 + (1 / xf) ^ 2} [/ matemáticas ]
Podemos hacer algo de álgebra para verificar que esta igualdad se satisfaga para todos [matemática] x> 0 [/ matemática] para una particular [matemática] f [/ matemática].
¡Sorprendentemente, Wolfram hará el álgebra por ti! Motor de conocimiento computacional
Y aprendemos que esta ecuación se cumple para todas [matemáticas] x> 0 [/ matemáticas] cuando [matemáticas] f = \ sqrt 2 [/ matemáticas].
Esto prueba que el conjunto de puntos definidos por la gráfica de [matemática] y = \ frac 1x [/ matemática] es de hecho una hipérbola con vértices en [matemática] (- 1, -1) [/ matemática] y [matemática] ( 1,1) [/ math] y focos en [math] (- \ sqrt 2, – \ sqrt 2) [/ math] an [math] (\ sqrt 2, \ sqrt 2) [/ math].
Comentario : Lo maravilloso de las matemáticas es que si desea responder una pregunta como esta, no necesita recurrir a nada que haya memorizado en una clase de matemáticas hace mucho tiempo. Solo necesita buscar la definición de una hipérbola y luego verificar si la ecuación propuesta cumple con esa definición. Para hacer la verificación, hice la vida más fácil señalando dónde deben estar los vértices y también que los focos deben estar en la línea [matemáticas] y = x [/ matemáticas] usando simetría. Esas dos observaciones hicieron que verificar la definición no fuera más difícil que resolver una sola ecuación de álgebra. Ahora, si quisieras resolver esa ecuación a mano, tendrías unos minutos de trabajo por hacer, pero en estos días, la tecnología hace que ese paso sea tan fácil como unos pocos clics en Wolfram.