В книге Леонарда Эйлера (XVIII в.) используется тождество:
Докажите его.
Для доказательства тождества мы преобразуем левую и правую части выражения независимо друг от друга. Если результаты упрощения в обеих частях совпадают, тождество считается доказанным.
Выполним почленное умножение двух многочленов:
Раскроем квадраты суммы и разности, затем умножим второе выражение на коэффициент :
Удвоенные произведения и имеют одинаковые переменные и противоположные знаки, поэтому они взаимно уничтожаются:
Левая часть: .
Правая часть: .
Так как левая и правая части тождественно равны, утверждение доказано.