    Find all positive integers $m$ and $n$ with no common divisor greater than 1 such that $m^3 + n^3$ divides $m^2 + 20mn + n^2$. [i](Professor Yongjin Song)[/i]
1. We start with the given condition that \( m^3 + n^3 \) divides \( m^2 + 20mn + n^2 \). Using the identity for the sum of cubes, we have:
   \[
   m^3 + n^3 = (m+n)(m^2 - mn + n^2)
   \]
   Therefore, \( m^2 - mn + n^2 \mid m^2 + 20mn + n^2 \).

2. This implies:
   \[
   m^2 - mn + n^2 \mid m^2 + 20mn + n^2 - (m^2 - mn + n^2)
   \]
   Simplifying the right-hand side, we get:
   \[
   m^2 + 20mn + n^2 - (m^2 - mn + n^2) = 21mn
   \]
   Thus, we have:
   \[
   m^2 - mn + n^2 \mid 21mn
   \]

3. Since \( m \) and \( n \) are relatively prime (i.e., \(\gcd(m, n) = 1\)), \( m^2 - mn + n^2 \) must divide 21. This is because \( m^2 - mn + n^2 \) is relatively prime to \( mn \), and hence it must be a divisor of 21.

4. The divisors of 21 are \( 1, 3, 7, \) and \( 21 \). We need to check each case to find suitable \( m \) and \( n \).

   - **Case 1: \( m^2 - mn + n^2 = 1 \)**
     \[
     m^2 - mn + n^2 = 1
     \]
     This equation has no positive integer solutions for \( m \) and \( n \).

   - **Case 2: \( m^2 - mn + n^2 = 3 \)**
     \[
     m^2 - mn + n^2 = 3
     \]
     Testing small values of \( m \) and \( n \):
     - For \( m = 1 \) and \( n = 1 \):
       \[
       1^2 - 1 \cdot 1 + 1^2 = 1 \neq 3
       \]
     - For \( m = 1 \) and \( n = 2 \):
       \[
       1^2 - 1 \cdot 2 + 2^2 = 1 - 2 + 4 = 3
       \]
       This works, so \( (m, n) = (1, 2) \) is a solution.
     - For \( m = 2 \) and \( n = 1 \):
       \[
       2^2 - 2 \cdot 1 + 1^2 = 4 - 2 + 1 = 3
       \]
       This works, so \( (m, n) = (2, 1) \) is a solution.

   - **Case 3: \( m^2 - mn + n^2 = 7 \)**
     \[
     m^2 - mn + n^2 = 7
     \]
     Testing small values of \( m \) and \( n \):
     - For \( m = 1 \) and \( n = 2 \):
       \[
       1^2 - 1 \cdot 2 + 2^2 = 1 - 2 + 4 = 3 \neq 7
       \]
     - For \( m = 2 \) and \( n = 3 \):
       \[
       2^2 - 2 \cdot 3 + 3^2 = 4 - 6 + 9 = 7
       \]
       This works, so \( (m, n) = (2, 3) \) is a solution.
     - For \( m = 3 \) and \( n = 2 \):
       \[
       3^2 - 3 \cdot 2 + 2^2 = 9 - 6 + 4 = 7
       \]
       This works, so \( (m, n) = (3, 2) \) is a solution.

   - **Case 4: \( m^2 - mn + n^2 = 21 \)**
     \[
     m^2 - mn + n^2 = 21
     \]
     Testing small values of \( m \) and \( n \):
     - For \( m = 1 \) and \( n = 5 \):
       \[
       1^2 - 1 \cdot 5 + 5^2 = 1 - 5 + 25 = 21
       \]
       This works, so \( (m, n) = (1, 5) \) is a solution.
     - For \( m = 5 \) and \( n = 1 \):
       \[
       5^2 - 5 \cdot 1 + 1^2 = 25 - 5 + 1 = 21
       \]
       This works, so \( (m, n) = (5, 1) \) is a solution.

Conclusion:
The pairs \((m, n)\) that satisfy the given conditions are \((1, 2)\), \((2, 1)\), \((2, 3)\), \((3, 2)\), \((1, 5)\), and \((5, 1)\).

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