Estoy tomando un trigonométricas identidad de otro post, arbitrariamente.
$$\frac{2\sec\theta +3\tan\theta+5\sin\theta-7\cos\theta+5}{2\tan\theta +3\sec\theta+5\cos\theta+7\sin\theta+8}=\frac{1-\cos\theta}{\sin\theta}.$$
Además de la habitual de acercamiento por parte de la reformulación/la simplificación de las expresiones utilizando primaria identidades, uno podría usar un "perezoso", mediante la evaluación de ambos miembros por varios $\theta$ y la comprobación de la igualdad.
Esto funciona para los polinomios, si la sonda de ellos en $d+1$ puntos, donde $d$ es el grado.
Puede que se derivan de las normas generales sobre el número de igualdades necesarias para garantizar que las expresiones trigonométricas de una cierta complejidad son de hecho idénticos ?