Derivative of 4cos(t/2)

1. The derivative of a constant times a function is the constant times the derivative of the function.

   1. Let $u = \frac{t}{2}$.

   2. The derivative of cosine is negative sine:

      $$\frac{d}{d u} \cos{\left(u \right)} = - \sin{\left(u \right)}$$

   3. Then, apply the chain rule. Multiply by $\frac{d}{d t} \frac{t}{2}$:

      1. The derivative of a constant times a function is the constant times the derivative of the function.

         1. Apply the power rule: $t$ goes to $1$

         So, the result is: $\frac{1}{2}$

      The result of the chain rule is:

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

   So, the result is: $- 2 \sin{\left(\frac{t}{2} \right)}$

2. Now simplify:

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

The answer is:

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