Derivatan av $$$1 - \sin{\left(\frac{t}{2} \right)}$$$

Derivatan av en summa/differens är summan/differensen av derivatorna:

$${\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)}$$

Derivatan av en konstant är $$$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)$$

Funktionen $$$\sin{\left(\frac{t}{2} \right)}$$$ är sammansättningen $$$f{\left(g{\left(t \right)} \right)}$$$ av två funktioner $$$f{\left(u \right)} = \sin{\left(u \right)}$$$ och $$$g{\left(t \right)} = \frac{t}{2}$$$.

Tillämpa kedjeregeln $$$\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)}$$

Derivatan av sinus är $$$\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)$$

Återgå till den ursprungliga variabeln:

$$- \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)$$

Tillämpa konstantfaktorregeln $$$\frac{d}{dt} \left(c f{\left(t \right)}\right) = c \frac{d}{dt} \left(f{\left(t \right)}\right)$$$ med $$$c = \frac{1}{2}$$$ och $$$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)}$$

Tillämpa potensregeln $$$\frac{d}{dt} \left(t^{n}\right) = n t^{n - 1}$$$ med $$$n = 1$$$, det vill säga $$$\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}$$

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