Формулы двойного угла — доказательство

Проверка тригонометрических тождеств с использованием тождеств двойного угла.