Hola
Los ejercicios en los que teniendo una ecuación prueba que son una cónica concreta lo hace mediante cambios de variable, agrupando términos e intenta llegar a la ecuación reducida de dicha cónica. Cuando apenas tiene términos, entonces completa cuadrados. He intentado desarrollar la expresión, agrupar términos y ver si consigo la ecuación reducida de la elipse pero no lo he conseguido, hay demasiados términos y no consigo "encontrar" \( a^2, b^2 \).
Seguro que si viera tus apuntes o supiese exactamente como te han explicado las cosas lo vería más claro; pero no logro entender como te han formalizado la definición de elipse.
La completación de cuadrados es suficiente para clasificar, ciertamente.
Por ejemplo si tenemos:
x^2+2xy+2y^2-1=0
Podemos operar así:
\( x^2+2xy+2y^2-1=x^2+2xy+y^2+y^2-1=(x+y)^2+y^2-1 \)
y con el cambio de variable \( x'=x+y \) e \( y'=y \) queda:
\( \dfrac{x'^2}{1^2}+\dfrac{y'^2}{1^2}=1 \)
Por tanto es una elipse. Eso si no es una elipse necesariamente re radio mayor y menor igual a 1 (sería una circunferencia); porque el cambio de variable que hemos hecho a priori no conserva las distancias, deforma la figura (aunque no modifica su carácter de elipse, hipérbola, parábola...).
Spoiler
Si queremos tranformarla conservando las distancias la cosa es un poco más sutil y para eliminar el término "cruzado" \( bxy \) hay que hallar los autovalores de la matriz de términos cuadráticos.
Si te han enseñado a clasificar así, el problema que te piden es trivial:
\( (ax'+by'+c)^2+(dx'+ey'+g)^2=1 \)
El propio cambio de variable que hicimos al principio \( x=ax'+by'+c \) e \( y=dx'+ey'+g \) muestra que es una elipse.
Si te hubiesen enseñado a clasificar matricialmente, el cambio de referencia se puede expresar mediante un producto de matrices y el problema es también sencillo: básicamente se usa que matrices congruentes tienen el mismo signo de determinante.
Pero como ves para cristalizar algún argumento, sigo necesitando saber exactamente que puedes usar.
Saludos.