a)Ta có nhận xét: Một số chính phương khi chia cho 3 sẽ có số dư là 0 hoặc 1.
Giả sử avà blà hai số “thân thiết” ⇒a2+b2⋮3.
Ta sẽ chứng minh cả avà b đều chia hết cho 3.
Thật vậy, giả sử trong hai số avà bcó một số không chia hết cho 3. Không mất tính tổng quát, giả sử số đó là a.
Suy ra a2 chia 3 dư 1.
Vì a2+b2⋮3và a2 chia 3 dư 1 nên b2phải chia 3 dư 2. Điều này vô lí vì b2khi chia cho 3 có số dư là 0 hoặc 1.
Vậy điều giả sử là sai. Do đó nếu avà blà hai số “thân thiết” thì avà b đều chia hết cho 3.
Tập hợp Xcó [32021]=673số chia hết cho 3.
Số cặp số “thân thiết” là 2673.672=226128.
b)Gọi n[i] là số môn thi có số lượng thí sinh tham gia là i(i,n[i]∈N).
Gọi S={i∣i>0,n[i]>0}.
Do có ít nhất 5 môn có số lượng thí sinh tham gia đôi một khác nhau nên Scó ít nhất 5 phần tử.
Giả sử a,b(a>b) là 2 phần tử lớn nhất của Svà d,e(d>e)là hai phần tử nhỏ nhất của S.
Rõ ràng n[a],n[b],n[d],n[e] đều lớn hơn hoặc bằng 1.
Lấy 1 môn có số lượng thí sinh tham gia làavà 1 môn có số lượng thi là b. Theo điều kiện 2, tồn tại hai môn khác có tổng số lượng thí sinh tham gia là a+b. Vì a,b(a>b) là 2 phần tử lớn nhất của Snên hai môn khác này phải có 1 môn có số lượng thí sinh là a, 1 môn có số lượng thí sinh là b, dẫn đến n[a]≥2,n[b]≥2.
Lại lấy 2 môn có số lượng thí sinh tham gia là a. Theo điều kiện 2, tồn tại hai môn khác có tổng số lượng thí sinh tham gia là 2a. Vì a là phần tử lớn nhất của Snên hai môn khác này phải có số lượng thí sinh là a, dẫn đến n[a]≥4.
Lập luận tương tự ta cũng có n[d]≥2,n[e]≥4.
Vì Scó ít nhất 5 phần tử nên ta lấy trường hợp ít nhất, Scó 5 phần tử là a,b,c,d,e⇒n[c]≥1.
Vậy kỳ thi đó có ít nhất 4+2+1+2+4=13môn thi.
Ta có thể chỉ ra một trường hợp là số thí sinh dự thi các môn lần lượt là 1, 1, 1, 1, 2, 2, 3, 4, 4, 5, 5, 5, 5. (không lấy ví dụ trừ 0,25)