Тождество - равенство, выполняющиеся при любом значении переменных (переменной).
перенесем из одной части в другую
Запишем под одной дробью
Умножим обе части на nk
Перенесем из одной части уравнения в другую

n=k, так как n=k равно не на всем множестве значений, то данное выражение тождеством не является