Giả sử tồn tại n tự nhiên sao cho 3n+1⋮101993
Xét hai trường hợp:
a. Nếu n chẵn: Đặt n = 2k
Ta có 3n+1=9k+1≡2 (mod8). Do đó 3n +1 /4. Điều này là vô lý
b. Nếu n lẻ: Đặt n = 2k + 1
Ta có: 3n+1=9k+1≡4 (mod 8). Do đó 3n + 1/ 8. Điều này cũng là vô lý
Vậy ∄n∈N sao cho 3n+1⋮101993
Ta có