Теория:

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

Тождествами, например, будут являться основные свойства действий над числами:
\(a + b = b + a\)
\((a + b) + c = a + (b + c)\)
\(ab = ba\)
\((ab)c = a(bc)\)
\(a\)\((b + c) = ab + ac\)

\(a + 0 = a\)
\(a\)\(0 = 0\)
\(a\)\(1 = a\)
или формулы сокращенного умножения, например a2b2=(ab)(a+b)
 
Верные числовые равенства тоже являются тождествами.
 
Пример:
Являются ли тождествами следующие равенства:
1. \(77 + x = x + 77\)
2. \(a-b = b-a\)
3. \(-5(-y) = 5y\)
4. z2+z4=z6

Из этих равенств тождествами являются \(1\) и \(3\) равенства. Какие бы числа мы в них не подставили, вместо переменных, всегда получатся верные числовые равенства.

\(2\) и \(4\) равенства не являются тождествами. Потому что эти равенства будут выполняться не при всех допустимых значениях переменных.
Рассмотрим \(2\) равенство \(a-b = b-a\)
Например, при значениях \(a = 14\) и \(b = 3\) получится следующий результат:
\(14 - 3 = 3 - 14\);
\(11\) \(-11\).
Рассмотрим \(4\) равенство z2+z4=z6
При значении \(z=2\)  получится следующий результат:
22+24=26
\(4 + 16 = 64\)
\(20\)  \(64\)