I found this interesting problem in one of my practice tests
The positive real solution of $x^2-2x-3=\sqrt{x+3}$ has the form of $\frac{a+\sqrt{b}}{c}$ where $a$, $b$, $c$ are primes. Find $a+b+c$.
First of all, I tried to find the range of solutions.
Since $\sqrt{x+3} \ge 0$, that means $x \in [-3, \infty)$
And it also means that $x^2 - 2x - 3 \ge 0$, which means $x \in (-\infty, -1] \cup [3, \infty)$.
Combining the two conditions along with the fact that we're finding positive $x$, we have $x \in [3, \infty)$.
And at this point I don't really know how to continue. There's no substitution that I know that can deal with the square root, squaring both sides and turning it into a quartic equation is definitely not the way here, guess and check is not ideal either. My question is, is there a rigorous way to solve this?

HINT
Notice that $x = 3$ is a root for the expression on the LHS. Consequently, we can factor it as next: \begin{align*} x^{2} - 2x - 3 & = (x^{2} - 3x) + (x - 3)\\\\ & = x(x - 3) + (x - 3)\\\\ & = (x + 1)(x - 3) \end{align*}
Based on the assumption that $x\in[3,+\infty)$, it is possible to go even further: \begin{align*} x^{2} - 2x - 3 = \sqrt{x + 3} & \Longleftrightarrow (x + 1)(x - 3) = \sqrt{x + 3}\\\\ & \Longleftrightarrow ((x + 3) - 2)((x + 3) - 6) = \sqrt{x + 3}\\\\ & \Longleftrightarrow (u^{2} - 2)(u^{2} - 6) = u\\\\ & \Longleftrightarrow u^{4} - 8u^{2} - u + 12 = 0 \end{align*}
Can you take it from here?