Hola
F(x,y) es un polinomio de segundo grado. En tres puntos \( (x_1,y_1),(x_2,y_2),(x_3,y_3) \) toma el mismo valor k. Elegimos unos ejes en los que la recta y=k sea el eje x. En tales ejes F(x,y) tiene tres raíces. Que yo sepa, un ecuación de 2º grado sólo tiene dos raíces. Lo que dices demuestra que F(x,y) no puede ser hipérbola. Además, si lo fuese, la suma de cuadrados de distancias a los vértices podría hacerse tan grande como se quiera, lo que es geométricamente imposible.
No le veo sentido lo que dices.
1) Entiendo que por \( F(x,y) \) te refieres a la función suma de los cuadrados de distancias de un punto \( P(x,y) \) a los vértices \( A,B,C \).
2) Es cierto que \( F(x,y) \) es un polinomio de segundo grado, pero en DOS VARIABLES.
3) A partir de aquí no veo como sigues. Lo que queremos probar es que \( F(x,y) \) es constante CUANDO \( (x,y) \) varía sobre una circunferencia. Sabemos que en tres puntos de la misma toma un mismo valor. Y tu en tu dibujo parecías afirmar que, como la circunferencia es también de grado dos eso llega para justificar que esa función es constante sobre ella. No veo como. Y mi ejemplo de la hipérbola pretende ilustrar que ésta cumple esas dos mismas condiciones (ser de grado dos y tomar el mismo valor en tres puntos), pero la distancia no es constante sobre ella.
4) Es cierto que un polinomio de grado dos en UNA VARIABLE si toma el mismo valor en tres puntos es constante; pero en DOS VARIABLES no es cierto.
Si se puede arreglar un poco la idea, pero no tiene nada que ver con la propiedad (4).
Es fácil ver que la cónica \( F(x,y)=cte \) es una circunferencia. Si tomamos como esa constante el valor \( cte=F(P_1)=F(P_2)=F(P_3) \) siendo \( P_i \) los puntos de tangencia de la circunferencia inscrita, entonces la circunferencia \( F(x,y)=cte \) coincide con la circunferencia inscrita en tres puntos y por tanto son la misma circunferencia (ya que tres puntos la determinan unívocamente). Luego efectivamente si \( (x,y) \) varía sobre la circunferencia inscrita \( F(x,y) \) es constante.
Saludos.
P.D. El recíproco es cierto; se puede ver con unas cuentas (quizá de otras formas). Mañana lo escribo.