Равенство рациональных выражений — тождество только там, где определены обе его части. После сокращения дроби область определения не расширяется: запреты остаются.