Find all sequences of positive integers $(a_n)_{n\ge 1}$ which satisfy
$$a_{n+2}(a_{n+1}-1)=a_n(a_{n+1}+1)$$
for all $n\in \mathbb{Z}_{\ge 1}$. 
[i](Bogdan Blaga)[/i]
To find all sequences of positive integers \((a_n)_{n \ge 1}\) that satisfy the recurrence relation
\[ a_{n+2}(a_{n+1} - 1) = a_n(a_{n+1} + 1) \]
for all \(n \in \mathbb{Z}_{\ge 1}\), we start by examining the given equation.

1. **Initial Setup:**
   Let \(a_1 = a\) and \(a_2 = b\). Then, the recurrence relation becomes:
   \[ a_3 = \frac{a(b + 1)}{b - 1} \]

2. **Expression for \(a_3\):**
   We can rewrite \(a_3\) as:
   \[ a_3 = a + \frac{2a}{b - 1} \]
   For \(a_3\) to be an integer, \(\frac{2a}{b - 1}\) must be an integer. Let \(c\) be a positive integer such that:
   \[ a = \frac{c(b - 1)}{2} \]
   This ensures that \(c(b - 1)\) is even.

3. **Sequence Terms:**
   Using the above expression, we have:
   \[ a_1 = \frac{c(b - 1)}{2}, \quad a_2 = b, \quad a_3 = \frac{c(b + 1)}{2} \]

4. **Expression for \(a_4\):**
   Next, we find \(a_4\):
   \[ a_4 = b + \frac{4b}{bc + c - 2} \]
   This implies that \(c \in \{1, 2, 3\}\).

5. **Case Analysis:**
   - **Case \(c = 1\):**
     \[ a_1 = \frac{b - 1}{2} \]
     This implies \(b\) is odd. We have:
     \[ a_2 = b, \quad a_3 = \frac{b + 1}{2} \]
     \[ a_4 = b + 4 + \frac{4}{b - 1} \]
     For \(a_4\) to be an integer, \(b - 1\) must divide 4. Thus, \(b \in \{3, 5\}\).

     - If \(b = 3\):
       \[ a_1 = 1, \quad a_2 = 3, \quad a_3 = 2, \quad a_4 = 9 \]
       But then:
       \[ a_5 = \frac{9 \cdot 2}{3 - 1} = \frac{18}{2} = 9 \]
       This sequence does not satisfy the recurrence relation for all \(n\).

     - If \(b = 5\):
       \[ a_1 = 2, \quad a_2 = 5, \quad a_3 = 3, \quad a_4 = 10 \]
       But then:
       \[ a_5 = \frac{10 \cdot 3}{5 - 1} = \frac{30}{4} = 7.5 \]
       This sequence does not satisfy the recurrence relation for all \(n\).

   - **Case \(c = 2\):**
     This gives:
     \[ a_n = k + n \quad \forall n \in \mathbb{Z}_{>0} \]
     This sequence indeed fits the recurrence relation, whatever \(k \in \mathbb{Z}_{\ge 0}\).

   - **Case \(c = 3\):**
     \[ a_1 = \frac{3(b - 1)}{2} \]
     This implies \(b\) is odd. We have:
     \[ a_2 = b, \quad a_3 = \frac{3(b + 1)}{2} \]
     \[ a_4 = b + 1 + \frac{b - 1}{3b + 1} \]
     This implies \(b = 1\), which is impossible since \(a_1 = 0\), not suitable.

Conclusion:
The only sequence that satisfies the given recurrence relation for all \(n \in \mathbb{Z}_{\ge 1}\) is:
\[ \boxed{a_n = k + n \quad \forall n \in \mathbb{Z}_{>0}} \]