Determine all pairs of natural numbers $a$ and $b$ such that $\frac{a+1}{b}$  and  $\frac{b+1}{a}$ they are natural numbers.
To determine all pairs of natural numbers \(a\) and \(b\) such that \(\frac{a+1}{b}\) and \(\frac{b+1}{a}\) are natural numbers, we need to ensure that both \(\frac{a+1}{b}\) and \(\frac{b+1}{a}\) are integers. This implies that \(b\) divides \(a+1\) and \(a\) divides \(b+1\).

1. **Express the conditions mathematically:**
   \[
   b \mid a+1 \quad \text{and} \quad a \mid b+1
   \]

2. **Translate the divisibility conditions:**
   \[
   a+1 = kb \quad \text{for some integer } k
   \]
   \[
   b+1 = la \quad \text{for some integer } l
   \]

3. **Analyze the inequalities derived from the divisibility conditions:**
   Since \(b \mid a+1\), we have:
   \[
   a+1 \geq b
   \]
   Similarly, since \(a \mid b+1\), we have:
   \[
   b+1 \geq a
   \]
   Combining these inequalities, we get:
   \[
   b \leq a+1 \quad \text{and} \quad a \leq b+1
   \]
   This simplifies to:
   \[
   b-1 \leq a \leq b+1
   \]

4. **Consider the possible cases for \(a\) and \(b\):**
   - **Case 1: \(a = b\)**
     \[
     \frac{a+1}{b} = \frac{a+1}{a} = 1 + \frac{1}{a}
     \]
     For \(\frac{a+1}{a}\) to be an integer, \(a\) must divide 1. Thus, \(a = 1\). Therefore, \(b = 1\).

   - **Case 2: \(a = b-1\)**
     \[
     \frac{a+1}{b} = \frac{(b-1)+1}{b} = \frac{b}{b} = 1
     \]
     \[
     \frac{b+1}{a} = \frac{b+1}{b-1}
     \]
     For \(\frac{b+1}{b-1}\) to be an integer, \(b-1\) must divide \(b+1\). Let \(b-1 = k\), then:
     \[
     b = k+1
     \]
     \[
     k \mid (k+1) + 1 \implies k \mid k+2
     \]
     This implies \(k\) must be 1 or 2. Therefore, \(b = 2\) or \(b = 3\). Correspondingly, \(a = 1\) or \(a = 2\).

   - **Case 3: \(a = b+1\)**
     \[
     \frac{a+1}{b} = \frac{(b+1)+1}{b} = \frac{b+2}{b}
     \]
     For \(\frac{b+2}{b}\) to be an integer, \(b\) must divide \(b+2\). Let \(b = k\), then:
     \[
     k \mid k+2
     \]
     This implies \(k\) must be 1 or 2. Therefore, \(b = 1\) or \(b = 2\). Correspondingly, \(a = 2\) or \(a = 3\).

5. **List all possible pairs \((a, b)\):**
   From the cases above, the pairs \((a, b)\) that satisfy the conditions are:
   \[
   (1, 1), (1, 2), (2, 3), (2, 1), (3, 2)
   \]

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