Derivata di $$$\sin{\left(a \right)} \cos{\left(x \right)} - \sin{\left(x \right)} \cos{\left(a \right)}$$$ rispetto a $$$x$$$

La derivata di una somma/differenza è la somma/differenza delle derivate:

$${\color{red}\left(\frac{d}{dx} \left(\sin{\left(a \right)} \cos{\left(x \right)} - \sin{\left(x \right)} \cos{\left(a \right)}\right)\right)} = {\color{red}\left(\frac{d}{dx} \left(\sin{\left(a \right)} \cos{\left(x \right)}\right) - \frac{d}{dx} \left(\sin{\left(x \right)} \cos{\left(a \right)}\right)\right)}$$

Applica la regola del multiplo costante $$$\frac{d}{dx} \left(c f{\left(x \right)}\right) = c \frac{d}{dx} \left(f{\left(x \right)}\right)$$$ con $$$c = \cos{\left(a \right)}$$$ e $$$f{\left(x \right)} = \sin{\left(x \right)}$$$:

$$- {\color{red}\left(\frac{d}{dx} \left(\sin{\left(x \right)} \cos{\left(a \right)}\right)\right)} + \frac{d}{dx} \left(\sin{\left(a \right)} \cos{\left(x \right)}\right) = - {\color{red}\left(\cos{\left(a \right)} \frac{d}{dx} \left(\sin{\left(x \right)}\right)\right)} + \frac{d}{dx} \left(\sin{\left(a \right)} \cos{\left(x \right)}\right)$$

La derivata del seno è $$$\frac{d}{dx} \left(\sin{\left(x \right)}\right) = \cos{\left(x \right)}$$$:

$$- \cos{\left(a \right)} {\color{red}\left(\frac{d}{dx} \left(\sin{\left(x \right)}\right)\right)} + \frac{d}{dx} \left(\sin{\left(a \right)} \cos{\left(x \right)}\right) = - \cos{\left(a \right)} {\color{red}\left(\cos{\left(x \right)}\right)} + \frac{d}{dx} \left(\sin{\left(a \right)} \cos{\left(x \right)}\right)$$

Applica la regola del multiplo costante $$$\frac{d}{dx} \left(c f{\left(x \right)}\right) = c \frac{d}{dx} \left(f{\left(x \right)}\right)$$$ con $$$c = \sin{\left(a \right)}$$$ e $$$f{\left(x \right)} = \cos{\left(x \right)}$$$:

$$- \cos{\left(a \right)} \cos{\left(x \right)} + {\color{red}\left(\frac{d}{dx} \left(\sin{\left(a \right)} \cos{\left(x \right)}\right)\right)} = - \cos{\left(a \right)} \cos{\left(x \right)} + {\color{red}\left(\sin{\left(a \right)} \frac{d}{dx} \left(\cos{\left(x \right)}\right)\right)}$$

La derivata del coseno è $$$\frac{d}{dx} \left(\cos{\left(x \right)}\right) = - \sin{\left(x \right)}$$$:

$$\sin{\left(a \right)} {\color{red}\left(\frac{d}{dx} \left(\cos{\left(x \right)}\right)\right)} - \cos{\left(a \right)} \cos{\left(x \right)} = \sin{\left(a \right)} {\color{red}\left(- \sin{\left(x \right)}\right)} - \cos{\left(a \right)} \cos{\left(x \right)}$$

Semplifica:

$$- \sin{\left(a \right)} \sin{\left(x \right)} - \cos{\left(a \right)} \cos{\left(x \right)} = - \cos{\left(a - x \right)}$$

Quindi, $$$\frac{d}{dx} \left(\sin{\left(a \right)} \cos{\left(x \right)} - \sin{\left(x \right)} \cos{\left(a \right)}\right) = - \cos{\left(a - x \right)}$$$.