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