Für die Definitionsmenge bestimmst du, für welche x alle Ausdrücke unter Wurzeln nichtnegativ sind:
\(x+16 \geq 0 \Rightarrow x\geq -16\)
Zusätzlich:
\(x+\sqrt{x+16}\geq 0\Rightarrow x\geq \frac 12(1-\sqrt{65}) > -16\)
Also ist \(x\geq \frac 12(1-\sqrt{65})\) die Definitionsmenge.
Aber Achtung:
Bei der Lösung der Gleichung erhältst du aufgrund des Quadrierens die Scheinlösung \(x=9\). Einsetzen zeigt, dass nur x=0 Lösung ist, auch wenn x=9 im Definitionsbereich des Wurzelterms ist.
Nachtrag zu \(x+\sqrt{x+16}\geq 0\Rightarrow x\geq \frac 12(1-\sqrt{65})\):
\(x+\sqrt{x+16}\geq 0\Leftrightarrow x \geq -\sqrt{x+16}\)
Da \(-\sqrt{x+16}\leq 0\) ist \(x \geq 0\) auf jeden Fall Lösung.
Wir müssen also die Ungleichung nur noch im Bereich \(x \leq 0\) lösen:
\(x \geq -\sqrt{x+16} \stackrel{-\sqrt{x+16}\leq x\leq 0}{\Longrightarrow} x^2\leq x+16\)
\(\Rightarrow x^2 -x - 16 \leq 0 \Leftrightarrow \left(x- \frac 12\right)^2 -\frac{65}4 \leq 0\)
\(\Leftrightarrow \frac 12\left(1-\sqrt{65}\right) \leq x \leq \frac 12\left(1+\sqrt{65}\right)\)
Die Einschränkung für x nach oben ist nicht relevant, da wir schon wissen, dass \(x\geq 0\) zur Lösungsmenge der Ungleichung gehört.
Somit erhalten wir: \(\boxed{x \geq \frac 12\left(1-\sqrt{65}\right) }\)