Gleichungen löst man, indem sie durch einfachere, äquivalente Gleichungen ersetzt werden, bis als einfachste Gleichung die Lösung sichtbar wird. Die Schritte, die dabei erlaubt sind, heissen Äquivalenzumformungen:
Zu beiden Termen wird dieselbe Zahl addiert.
Von beiden Termen wird dieselbe Zahl subtrahiert.
Zu beiden Termen wird derselbe Term addiert.
Von beiden Termen wird derselbe Term subtrahiert.
Beide Terme werden mit derselben Zahl multipliziert.
Beide Terme werden durch dieselbe Zahl dividiert.
Der Term auf einer Seite wird durch Umformung in seiner Darstellung vereinfacht.