If the non-negative reals $x,y,z$ satisfy $x^2+y^2+z^2=x+y+z$. Prove that
$$\displaystyle\frac{x+1}{\sqrt{x^5+x+1}}+\frac{y+1}{\sqrt{y^5+y+1}}+\frac{z+1}{\sqrt{z^5+z+1}}\geq 3.$$
When does the equality occur?

[i]Proposed by Dorlir Ahmeti, Albania[/i]
1. Given the condition \( x^2 + y^2 + z^2 = x + y + z \), we need to prove that 
   \[
   \frac{x+1}{\sqrt{x^5 + x + 1}} + \frac{y+1}{\sqrt{y^5 + y + 1}} + \frac{z+1}{\sqrt{z^5 + z + 1}} \geq 3.
   \]

2. Notice that \( x^5 + x + 1 = (x^2 + x + 1)(x^3 - x^2 + 1) \). By the AM-GM inequality, we have:
   \[
   (x+1)(x^2 - x + 2) = x^3 + x + 2 = (x^3 - x^2 + 1) + (x^2 + x + 1) \geq 2\sqrt{(x^2 + x + 1)(x^3 - x^2 + 1)} = 2\sqrt{x^5 + x + 1}.
   \]

3. Therefore,
   \[
   \frac{x+1}{\sqrt{x^5 + x + 1}} \geq \frac{2(x+1)}{(x+1)(x^2 - x + 2)} = \frac{2}{x^2 - x + 2}.
   \]

4. Summing up the cyclic terms, we get:
   \[
   \sum_{cyc} \frac{x+1}{\sqrt{x^5 + x + 1}} \geq \sum_{cyc} \frac{2}{x^2 - x + 2}.
   \]

5. By Titu's lemma (or the Cauchy-Schwarz inequality in the Engel form), we have:
   \[
   \sum_{cyc} \frac{2}{x^2 - x + 2} \geq \frac{18}{x^2 + y^2 + z^2 - x - y - z + 6}.
   \]

6. Using the given condition \( x^2 + y^2 + z^2 = x + y + z \), we substitute:
   \[
   x^2 + y^2 + z^2 - x - y - z + 6 = 6.
   \]

7. Therefore,
   \[
   \sum_{cyc} \frac{2}{x^2 - x + 2} \geq \frac{18}{6} = 3.
   \]

8. For equality in the AM-GM inequality, we need:
   \[
   x^2 + x + 1 = x^3 - x^2 + 1 \implies x(x^2 - 2x - 1) = 0.
   \]
   The non-negative solutions are \( x = 0 \) and \( x = 1 + \sqrt{2} \).

9. For equality in Titu's lemma, we need:
   \[
   x^2 - x + 2 = y^2 - y + 2 \implies (x - y)(x + y - 1) = 0.
   \]
   Since \( x, y \) being either \( 0 \) or \( 1 + \sqrt{2} \) cannot sum to \( 1 \), we must have \( x = y \). Similarly, \( y = z \), so \( x = y = z \).

10. Substituting \( x = y = z \) into the given condition:
    \[
    3x^2 = 3x \implies x(x - 1) = 0.
    \]
    Thus, \( x, y, z \) are either all \( 1 \) or all \( 0 \). Since \( 1 \) does not yield equality, the only equality case is \( x = y = z = 0 \).

The final answer is \( \boxed{3} \).