Задание : вычислите тригонометрическое выражение

Как вычислить 2*cos20*cos40-cos20 (град) . Если раскрывать кос40 как двойной угол, это приведет к 2cos20(2cos^2(20)-1)-cos20, но я не вижу ничего хорошего из этого. Что делать ?

Дальше ясно, но можно уточнить, по какой это формуле было сделано ?

Извиняюсь, все понятно, спасибо