In der Gleichung
( x-1 )² /( ( x+1 )² ( x-1 ) ) = ( ( x+1 )² - 2 ( x+1 ) )/( ( x+1 )² ( x-1 ) )
ergibt sich für x = +1 und für x = -1 der Nenner 0. Oft wird so eine Gleichung nur auf R \ { +1, -1 } definiert.
Mit dem Nenner multipliziert ergibt sich die Gleichung
( x-1 )² = ( x+1 )² - 2 ( x+1 )
Zusätzlich muss beachtet werden, dass auch die umgeformte Gleichung nur auf R \ { +1, -1 } gültig ist. (Dieser Information fehlt vermutlich in derive. Wird eine Gleichung mit 0 multipliziert, dann geht die Information in der Gleichung verloren, weil jede Zahl mal 0 gleich 0 ist.)
Weiter umformen:
( x-1 )² = ( x+1 )² - 2 ( x+1 )
x² -2x +1 = x² +2x +1 - 2x -2
-2x =-2
x = +1
x = +1 ist eine Lösung für die Gleichung nach der Multiplikation mit dem Nenner. x = +1 ist keine Lösung für die "richtige" Gleichung, weil x = +1 eine Nullstelle des Nenners ist.
Die Gleichung hat keine Lösung in R \ { +1, -1 }.
Der Definitionsbereich der Gleichung kann vergrößert werden:
Auf der linken Seite der Gleichung ist x = +1 eine Nullstelle des Zählers und eine Nullstelle des Nenners. Also kann der Bruch
( x-1 )² /( ( x+1 )² ( x-1 ) ) = ( x-1 ) / ( x+1 )²
umgeschrieben werden in einen Bruch, der für x = +1 definiert ist. Die Stelle x = +1 ist für den ersten Bruch eine hebbare Polstelle. Das heben der Polstelle liefert den zweiten Bruch.
Auf der rechten Seite der Gleichung ist x = +1 ebenfalls eine hebbare Polstelle
( ( x+1 )² - 2 ( x+1 ) )/( ( x+1 )² ( x-1 ) )
= ( x² +2x +1 - 2x -2 )/( ( x+1 )² ( x-1 ) )
= ( x² -1 )/( ( x+1 )² ( x-1 ) )
= ( x -1 )( x +1 )/( ( x+1 )² ( x-1 ) )
= ( x +1 ) / ( x+1 )²
Dieser Bruch ist für x = +1 definiert.
Nach dem stetigen Ergänzen ist die Gleichung
( x-1 ) / ( x+1 )² = ( x +1 ) / ( x+1 )²
für x Element von R \ { -1 } zu lösen.
Multiplikation mit ( x+1 )² für x ungleich -1 liefert
x -1 = x +1
eine nicht lösbare Gleichung.
Die Gleichung hat auch nach dem Heben der Polstelle keine Lösung.