Äquivalenzumformungen mit Derive
Wiederhole
alle Umformungen !
Man kopiert die Gleichung mit F4 in die Eingabezeile und fügt dann die gewünschte Umformung an.
Ein Beispiel:



Derive hat die Gleichung vereinfacht -
richtigerweise als true - und kann daher 12x² nicht subtrahieren.
Ähnliches passiert auch wenn die Gleichung nicht true ist:

Bei allen Gleichungen ist stets die Grundmenge zu beachten - eine Lösung ist nur dann zulässig wenn sie der Grundmenge entstammt.