Dérivée de $$$1 - \sin{\left(\frac{t}{2} \right)}$$$

La dérivée d'une somme/différence est la somme/différence des dérivées :

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

La dérivée d'une constante est $$$0$$$ :

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

La fonction $$$\sin{\left(\frac{t}{2} \right)}$$$ est la composée $$$f{\left(g{\left(t \right)} \right)}$$$ de deux fonctions $$$f{\left(u \right)} = \sin{\left(u \right)}$$$ et $$$g{\left(t \right)} = \frac{t}{2}$$$.

Appliquez la règle de la chaîne $$$\frac{d}{dt} \left(f{\left(g{\left(t \right)} \right)}\right) = \frac{d}{du} \left(f{\left(u \right)}\right) \frac{d}{dt} \left(g{\left(t \right)}\right)$$$:

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

La dérivée du sinus est $$$\frac{d}{du} \left(\sin{\left(u \right)}\right) = \cos{\left(u \right)}$$$ :

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

Revenir à la variable initiale:

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

Appliquez la règle du facteur constant $$$\frac{d}{dt} \left(c f{\left(t \right)}\right) = c \frac{d}{dt} \left(f{\left(t \right)}\right)$$$ avec $$$c = \frac{1}{2}$$$ et $$$f{\left(t \right)} = t$$$:

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

Appliquez la règle de puissance $$$\frac{d}{dt} \left(t^{n}\right) = n t^{n - 1}$$$ avec $$$n = 1$$$, en d'autres termes, $$$\frac{d}{dt} \left(t\right) = 1$$$:

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

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