MathLabs

Bài 4

Cho n≥2n\ge2 là số nguyên dương có các ước 1=d1<d2<⋯<dk=n1=d_1<d_2<\cdots<d_k=n. Chứng minh d1d2+d2d3+⋯+dk−1dkd_1d_2+d_2d_3+\cdots+d_{k-1}d_k luôn nhỏ hơn n2n^2, và xác định khi nào nó là ước của n2n^2.
Bước 3 trên 3: Phân loại điều kiện chia hết
Hiểu nôm na

Một ước đúng của nằm dưới ; chặn dưới loại trừ n hợp số.

n2p<S<n2\frac{n^2}{p}<S<n^2
Phân tích chi tiết

Nếu n là số nguyên tố thì . Nếu n hợp số và p là ước nguyên tố nhỏ nhất của n, thì =n/p và S> = /p. Nhưng /p là ước đúng lớn nhất của , nên S không thể chia hết . nn S=nS=n pp dk−1=n/pd_{k-1}=n/p S>n2/pS>n^2/p n2/pn^2/p n2n^2 SS n2n^2