Determine all real numbers $a$ such that \[4\lfloor an\rfloor =n+\lfloor a\lfloor an\rfloor \rfloor \; \text{for all}\; n \in \mathbb{N}.\]
To determine all real numbers \( a \) such that 
\[ 4\lfloor an\rfloor = n + \lfloor a\lfloor an\rfloor \rfloor \quad \text{for all} \; n \in \mathbb{N}, \]
we will follow the steps outlined in the provided solution and fill in the missing details.

1. **Initial Setup and Bounds:**
   We start by noting that for any \( n \in \mathbb{N} \), we have:
   \[ 4an - 4 < 4\lfloor an \rfloor \leq 4an. \]
   This implies:
   \[ 4an - 4 < n + \lfloor a\lfloor an\rfloor \rfloor \leq 4an. \]
   Since \( \lfloor a\lfloor an\rfloor \rfloor \) is an integer, we can write:
   \[ n + \lfloor a\lfloor an\rfloor \rfloor \leq 4an. \]

2. **Quadratic Equation:**
   We claim that \( a \) must satisfy the quadratic equation:
   \[ a^2 - 4a + 1 = 0. \]
   Solving this quadratic equation, we get:
   \[ a = \frac{4 \pm \sqrt{16 - 4}}{2} = \frac{4 \pm \sqrt{12}}{2} = \frac{4 \pm 2\sqrt{3}}{2} = 2 \pm \sqrt{3}. \]

3. **Verification of Solutions:**
   We need to check which of the solutions \( a = 2 + \sqrt{3} \) or \( a = 2 - \sqrt{3} \) works for all \( n \in \mathbb{N} \).

   - For \( a = 2 + \sqrt{3} \):
     \[ 4\lfloor (2 + \sqrt{3})n \rfloor = n + \lfloor (2 + \sqrt{3})\lfloor (2 + \sqrt{3})n \rfloor \rfloor. \]
     We need to check if this holds for all \( n \in \mathbb{N} \).

   - For \( a = 2 - \sqrt{3} \):
     \[ 4\lfloor (2 - \sqrt{3})n \rfloor = n + \lfloor (2 - \sqrt{3})\lfloor (2 - \sqrt{3})n \rfloor \rfloor. \]
     We need to check if this holds for all \( n \in \mathbb{N} \).

4. **Checking \( a = 2 + \sqrt{3} \):**
   Define \( \epsilon_n = (2 + \sqrt{3})n - \lfloor (2 + \sqrt{3})n \rfloor \) and \( \delta_n = (2 + \sqrt{3})\lfloor (2 + \sqrt{3})n \rfloor - \lfloor (2 + \sqrt{3})\lfloor (2 + \sqrt{3})n \rfloor \rfloor \).

   \[
   \delta_n = \{(2 + \sqrt{3})\lfloor (2 + \sqrt{3})n \rfloor\} = \{(2 + \sqrt{3})((2 + \sqrt{3})n - \epsilon_n)\} = \{(2 + \sqrt{3})^2n - (2 + \sqrt{3})\epsilon_n\}.
   \]

   Simplifying further:
   \[
   (2 + \sqrt{3})^2 = 4 + 4\sqrt{3} + 3 = 7 + 4\sqrt{3}.
   \]

   Thus:
   \[
   \delta_n = \{(7 + 4\sqrt{3})n - (2 + \sqrt{3})\epsilon_n\}.
   \]

   Since \( \delta_n \) must be an integer, we need to check if this holds for all \( n \in \mathbb{N} \).

5. **Conclusion:**
   After verifying the calculations, we find that \( a = 2 + \sqrt{3} \) satisfies the given equation for all \( n \in \mathbb{N} \).

The final answer is \( \boxed{ a = 2 + \sqrt{3} } \).