Bài 2. (7,0 điểm) Một số nguyên dương n>1 được gọi là "đẹp" nếu tồn tại các số nguyên dương đôi một phân biệt d1,d2,...,dk (với k≥2) sao cho n=d1d2...dk và di2∣(n+3di), ∀i=1,k. Gọi S là tập hợp tất cả các số nguyên dương "đẹp".
a) Giả sử n∈S là số chính phương không chia hết cho 3, n=d1d2...dk và di2∣(n+3di), ∀i=1,k. Chứng minh các số di (i=1,2,...,k) đôi một nguyên tố cùng nhau và là các số chính phương.
b) Chứng minh tập hợp S có vô hạn phần tử.