Để tìm số tự nhiên n > 0 sao cho n + 3 chia hết cho n + 1, ta cần tìm một số n thỏa mãn điều kiện đó.

Ta có: (n + 3) chia hết cho (n + 1) nếu và chỉ nếu (n + 3) - (n + 1) = 2 chia hết cho (n + 1).

Vì 2 là một số nhỏ hơn (n + 1), nên để 2 chia hết cho (n + 1), ta cần n + 1 là một ước của 2.

Suy ra, n + 1 = 1 hoặc n + 1 = 2.

Nếu n + 1 = 1, ta có n = 0. Tuy n > 0, nên không thể thỏa mãn điều kiện này.

Nếu n + 1 = 2, ta có n = 1. Với n = 1, ta có n + 3 = 4 chia hết cho n + 1 = 2.

Vậy số tự nhiên n > 0 thỏa mãn điều kiện n + 3 chia hết cho n + 1 là n = 1.