Chứng minh nếu n² chia hết cho 9 thì n chia hết cho 3 (với n là số tự nhiên).

Vì n² chia hết cho 9, ta giả sử n² = 9k (k ∈ ℕ)

Khi đó 9k là số chính phương.

Mà 9 = 3² nên k là số chính phương, do đó tồn tại số m sao cho k = m² (m ∈ ℕ)

Từ n² = 9k ta có \[n = 3\sqrt k = 3m\] nên n chia hết cho 3.