Find all quadruples $(a, b, c, d)$ of non-negative integers such that $ab =2(1 + cd)$ and there exists a non-degenerate triangle with sides of length $a - c$, $b - d$, and $c + d$.
1. We start with the equation \( ab = 2(1 + cd) \) and the condition that there exists a non-degenerate triangle with sides of length \( a - c \), \( b - d \), and \( c + d \). For a non-degenerate triangle, the triangle inequality must hold:
   \[
   (a - c) + (b - d) > c + d,
   \]
   \[
   (a - c) + (c + d) > b - d,
   \]
   \[
   (b - d) + (c + d) > a - c.
   \]

2. Without loss of generality, assume \( a \leq b \). This implies \( b \leq a \) and \( a > c \). We can write \( b = ak \) where \( k \geq 1 \) is a rational number.

3. Substitute \( b = ak \) into the equation \( ab = 2(1 + cd) \):
   \[
   a(ak) = 2(1 + cd) \implies a^2k = 2 + 2cd.
   \]

4. From the triangle inequality, we need:
   \[
   (a - c) + (b - d) > c + d \implies a - c + ak - d > c + d \implies a + ak > 2(c + d).
   \]

5. Notice that \( cd \leq (a-1)(ak+1) \). Substituting this into the equation \( a^2k = 2(1 + cd) \):
   \[
   a^2k = 2(1 + cd) \leq 2(1 + (a-1)(ak+1)) = 2 + 2(a-1)(ak+1).
   \]

6. Simplify the inequality:
   \[
   a^2k \leq 2 + 2(a-1)(ak+1) \implies a^2k \leq 2 + 2a^2k + 2a - 2ak - 2.
   \]

7. Rearrange the terms:
   \[
   a^2k \leq 2a^2k + 2a - 2ak \implies a^2k - 2a^2k \leq 2a - 2ak \implies -a^2k \leq 2a - 2ak.
   \]

8. Factor out common terms:
   \[
   -a^2k \leq 2a(1 - k) \implies a^2k \geq -2a(1 - k).
   \]

9. Since \( k \geq 1 \), the inequality \( a^2k \geq -2a(1 - k) \) implies \( a^2k \geq 0 \). This is always true, but we need to find specific values for \( a \) and \( k \).

10. For \( a \geq 2 \), the inequality \( ak < 2k - 2 \) does not hold. Therefore, we check \( a = 1 \):
    \[
    1 \cdot b = 2(1 + cd) \implies b = 2(1 + cd).
    \]

11. If \( a = 1 \), then \( c = 0 \) and \( b = 2 \), \( d = 1 \). This gives us the quadruple \( (a, b, c, d) = (1, 2, 0, 1) \).

12. Similarly, if \( a = 2 \), then \( c = 1 \) and \( b = 1 \), \( d = 0 \). This gives us the quadruple \( (a, b, c, d) = (2, 1, 1, 0) \).

The final answer is \( \boxed{ (1, 2, 0, 1) } \) or \((2, 1, 1, 0)\).