Возьмём равенство $\dfrac{a^2+a+1}{a-3}=\dfrac{(a^2+a+1)(a-1)}{(a-3)(a-1)}$. Левая часть определена при всех $a$, кроме $a=3$ — там знаменатель обращается в нуль. Правая часть определена при всех $a$, кроме $a=3$ и ещё $a=1$ — там появился лишний множитель $(a-1)$ в знаменателе.
То есть у левой и правой частей разные области определения! И всё же для каждого значения $a$, при котором определены обе части (то есть $a\neq3$ и $a\neq1$), их числовые значения совпадают — правая часть просто получена умножением числителя и знаменателя левой на $(a-1)\neq0$, а это не меняет значения дроби.
Можно провести такое же рассуждение для любого другого верного равенства двух рациональных выражений: если равенство получено правильными алгебраическими преобразованиями (сложением, приведением к общему знаменателю, сокращением дробей), то на общей области определения значения обеих частей всегда совпадут.
Это согласуется и с тем, что мы уже знаем про тождества целых выражений (многочленов) — там обе части всегда определены при любых значениях букв, поэтому условие про «общую область определения» выполняется автоматически и о нём даже не упоминают.
Докажем тождество $\dfrac{1}{x-y}-\dfrac{1}{x+y}-\dfrac{2y}{x^2-y^2}=0$.