Если левая часть и правая уравнены, то это тождество?

Они должны быть равны

Тождество - это равенство, верное при любых значениях переменных.

Соответственно если левая часть уравнения равна правой части, то это и является тождеством.

Пример:

a+b = b+a

ab = ba

(ab) c = a (bc)