(Esto es esencialmente lo mismo que la respuesta de Bernard, pero esperemos que proporcione alguna intuición).
En primer lugar, recordemos la norma $o$ "si nos interesan los límites en torno a $L$ y luego escribir " $o(f(x))$ "un término omitido $t(x)$ tal que $\lim_{x\to L}{\frac{t(x)}{f(x)}}=0$ ." (O, con menos precisión, "un término omitido mucho menor que $f(x)$ ".) En nuestro caso, nos interesarán los límites en torno a $0$ Así que $L=0$ .
Observemos ahora que la definición de la derivada (o equivalentemente, el teorema de Taylor) nos da una caracterización equivalente de las rectas tangentes:
La recta tangente al origen es $y=sx$ si la curva original es $y=sx+o(x)$ .
Suponiendo provisionalmente que existe una línea tangente para algún valor de $s$ podemos sustituir esta expresión por $y$ para obtener $$x(x^2+s^2x^2+o(x^2))=a(x^2-s^2x^2+o(x^2))$$ Ampliando, $$(1+s^2)x^3+o(x^3)=a(1-s^2)x^2+o(x^2)$$ Dividiendo por $x^2$ , $$(1+s^2)x+o(x)=a(1-s^2)+o(1)$$ Tomando el límite como $x\to0$ cualquier término que sea $o(1)$ , $\sim x$ o $o(x)$ desaparece. Así, $$0+0=a(1-s^2)+0$$ y podemos ver que las pendientes de tangencia son $s=\pm1$ .