Derivada de $$$1 - \frac{\sin{\left(t \right)}}{2}$$$

A derivada de uma soma/diferença é a soma/diferença das derivadas:

$${\color{red}\left(\frac{d}{dt} \left(1 - \frac{\sin{\left(t \right)}}{2}\right)\right)} = {\color{red}\left(\frac{d}{dt} \left(1\right) - \frac{d}{dt} \left(\frac{\sin{\left(t \right)}}{2}\right)\right)}$$

Aplique a regra da constante multiplicativa $$$\frac{d}{dt} \left(c f{\left(t \right)}\right) = c \frac{d}{dt} \left(f{\left(t \right)}\right)$$$ com $$$c = \frac{1}{2}$$$ e $$$f{\left(t \right)} = \sin{\left(t \right)}$$$:

$$- {\color{red}\left(\frac{d}{dt} \left(\frac{\sin{\left(t \right)}}{2}\right)\right)} + \frac{d}{dt} \left(1\right) = - {\color{red}\left(\frac{\frac{d}{dt} \left(\sin{\left(t \right)}\right)}{2}\right)} + \frac{d}{dt} \left(1\right)$$

A derivada do seno é $$$\frac{d}{dt} \left(\sin{\left(t \right)}\right) = \cos{\left(t \right)}$$$:

$$- \frac{{\color{red}\left(\frac{d}{dt} \left(\sin{\left(t \right)}\right)\right)}}{2} + \frac{d}{dt} \left(1\right) = - \frac{{\color{red}\left(\cos{\left(t \right)}\right)}}{2} + \frac{d}{dt} \left(1\right)$$

A derivada de uma constante é $$$0$$$:

$$- \frac{\cos{\left(t \right)}}{2} + {\color{red}\left(\frac{d}{dt} \left(1\right)\right)} = - \frac{\cos{\left(t \right)}}{2} + {\color{red}\left(0\right)}$$

Logo, $$$\frac{d}{dt} \left(1 - \frac{\sin{\left(t \right)}}{2}\right) = - \frac{\cos{\left(t \right)}}{2}$$$.