Schon Deine Ueberschrift sagt eigentlich alles: "Nachweis das x für eine Gleichung gilt." Der Satz ist ungrammatikalisch und -- schlimmer noch -- er hat auch bei wohlwollender Interpretation keine rechte Semantik.
"Könnte ich zB einfach bei b schreiben das alle quadratischen Reellen Zahlen außer Null größer sind als Null?"
Das waere nur eine (schlechte) Paraphrasierung dessen, was eh schon dasteht. Dafuer gibt es keine Punkte.
Alle Aussagen sind unmittelbar aus den Axiomen für die reellen Zahlen abzuleiten.