a < 0 ist einfach eine Grundannahme bzw. Grundbedingung.
weil a + x ≥ 0 sein muss gilt x ≥ -a und damit ist x positiv.
x < √(a + x) | quadrieren
x^2 < a + x
x^2 - x - a < 0 | lösen mit pq-Formel
1/2 - √(1/4 + a) < x < 1/2 + √(1/4 + a)
weil 1/4 + a ≥ 0 sein muss gilt a ≥ -1/4