Kommentar
Da durch a2+2 zu dividieren ist, verlangt Weg a) hier keine Verzweigung.
Beim Rückeinsetzen wird etwas Bruchrechnung verlangt. Die Nenner immer faktorisiert lassen, aber die Zähler ausrechnen. Beim Vorliegen eines Computeralgebrasystems nimmt einem ein „simplify“-Befehl diese Arbeit ab.
Obwohl man unter b) eine Verzweigung des Lösungsweges und der Endformel vorliegen hat, liegt keine Verzweigung der Lösungsmenge vor. Insbesondere hat man in allen Fällen k=1. Das Beispiel zeigt, dass man selbst bei sehr unterschiedlichen Endformeln nicht vorschnell auf entsprechende Unterschiede des Ergebnissen schliessen darf.