MathLabs

Bài 6

Chứng minh tồn tại một tập AA các số nguyên dương có tính chất sau: với mọi tập vô hạn SS các số nguyên tố, tồn tại hai số nguyên dương m∈Am\in A và n∉An\notin A, mỗi số đều là tích của kk phần tử phân biệt của SS với một k≥2k\ge2.
Bước 4 trên 4: Dựng phần tử không thuộc A
Hiểu nôm na

Dịch khối làm thay đổi thừa số nhỏ nhất nhưng không đổi độ dài.

n=s2s3⋯sk+1∉An=s_2s_3\cdots s_{k+1}\notin A
Phân tích chi tiết

Lấy n=s2s3⋯sk+1n=s_2s_3\cdots s_{k+1}. Đây là tích của k≥2k\ge2 phần tử phân biệt của SS, nhưng thừa số nguyên tố nhỏ nhất là s2>s1=ks_2>s_1=k, trong khi vẫn có kk thừa số. Vậy n∉An\notin A, chứng minh tính chất cần có.