Косинус подвійного кута

$$cos(2\cdot a) = 2\cdot cos(a)^{2}-1$$
Вичислити   Відомо, що:
      =