Para probar: $\cot(x)\cot(2x)-\cot(2x)\cot(3x)-\cot(3x)\cot(x) = 1$
Mi intento de solución: \begin{gather}\frac{\cos(x)\cos(2x)}{\sin(x)\sin(2x)}-\frac{\cos(2x)\cos(3x)}{\sin(2x)\sin(3x)}-\frac{\cos(3x)\cos(x)}{\sin(3x)\sin(x)}\\\\ \frac{\cos(x)\cos(2x)\sin(3x)-\cos(2x)\cos(3x)\sin(x)}{\sin(x)\sin(2x)\sin(3x)}-\frac{\cos(3x)\cos(x)}{\sin(3x)\sin(x)}\\\\ \frac{ \cos(2x)[ \cos(x)\sin(3x)-\cos(3x)\sin(x)]}{\sin(x)\sin(2x)\sin(3x)}-\frac{\cos(3x)\cos(x)}{\sin(3x)\sin(x)}\\\\ \frac{\cos(2x)[\sin(4x)\sin(2x)-\cos(3x)\sin(x)]}{\sin(x)\sin(2x)\sin(3x)}-\frac{\cos(3x)\cos(x)}{\sin(3x)\sin(x)}\\\\ \frac{\cos(2x)[2\sin(4x)\sin(2x)]}{\sin(x)\sin(2x)\sin(3x)}-\frac{\cos(3x)\cos(x)}{\sin(3x)\sin(x)}\\\\ \frac{2\cos(2x)\sin(4x)}{\sin(x)\sin(3x)}-\frac{\cos(3x)\cos(x)}{\sin(3x)\sin(x)}\\\\ \frac{2\cos(2x)\sin(4x)}{\sin(x)\sin(3x)}-\frac{\cos(4x)\cos(2x)}{2\sin(3x)\sin(x)}\end{gather}
El problema es que no sé a dónde ir desde aquí (y debido a tantos cálculos involucrados, tampoco estoy seguro del resultado anterior).
Además, si ves una manera más elegante de resolver esto, por favor proporciona una pista (no la solución completa).