Zur Lösung von Gleichungen verwendet man oft Äquivalenzumformungen (lat. aequus = gleich; valere = wert sein), die eine Gleichung so verändern, dass beide Seiten gleichwertig (äquivalent) bleiben. Alle Äquivalenzumformungen müssen auch wieder ohne Probleme rückgängig gemacht werden können.

Äquivalenzumformungen sind:

• Die Addition oder Subtraktion eines Terms auf beiden Seiten der Gleichung
• Die Multiplikation oder Division eines Terms auf beiden Seiten der Gleichung, solange dieser ungleich 0 ist.

Sie werden meist mit einem Äquivalenzpfeil () bezeichnet.