Да, данное уравнение является тождеством. Все члены левой и правой частей равны между собой после упрощения выражения.