tg^2(a/2) = (1 - cos a) / (1 + cos a)

Решение:

Данное тождество является формулой тангенса половинного угла. Оно верно.

Ответ: Формула верна.