Encontré esta pregunta aquí (te recomiendo que leas la pregunta y la respuesta más votada allí) Cómo resolver $x$ en $x(x^3+\sin x \cos x)-\sin^2 x =0$ ? y la matemática de abajo es una respuesta. Supongo que tengo 2 preguntas en 1 aquí.
Primero, ¿cómo se dio cuenta el tipo de repente de que $$x^4+x\sin(x)\cos(x)\sin^2(x)>x^2\sin^2(x)+\sin^2(x\cos(x)\sin^2(x)$$ No veo por qué esta afirmación es necesariamente cierta.
Mi segunda pregunta: ¿Cómo construyó, de la nada, una desigualdad aleatoria como ésta que acabó siendo útil? Gracias.