Yo estaba haciendo un problema y en mi cadena de cómputos llegué a una aparentemente complicada función $$2 \sin(x) \cos(7x) + \sin(6x)$ $
Sin embargo, escribió en Wolfram y se sorprendió al encontrar $$2 \sin(x) \cos(7x) + \sin(6x) = \sin(8x)$ $
¿Hay una manera pude haber visto esto antes? Incluso ahora no estoy seguro cómo pruebo esta identidad.