MathLabs

Bài 3

Cho k≥14k\ge14 là số nguyên và pkp_k là số nguyên tố lớn nhất nhỏ hơn nghiêm ngặt kk. Có thể giả sử pk≥3k/4p_k\ge3k/4. Cho nn là hợp số. Chứng minh: (a) nếu n=2pkn=2p_k thì nn không chia hết (n−k)!(n-k)!; (b) nếu n>2pkn>2p_k thì nn chia hết (n−k)!(n-k)!.
Bước 5 trên 5: Kết thúc các trường hợp thừa số ngoại lệ
b=2: n=2a, a≥k, n−k≥a;b=a: n=a2, n−k>n/3≥2ab=2:\ n=2a,\ a\ge k,\ n-k\ge a;\qquad b=a:\ n=a^2,\ n-k>n/3\ge2a
Phân tích chi tiết

Nếu thì và . Khi đó số nguyên tố ; do là số nguyên tố lớn nhất dưới , suy ra , nên . Các thừa số xuất hiện trong giai thừa. Nếu thì và vì ; do đó , nên xuất hiện và tích của chúng là , đặc biệt cung cấp đủ hai thừa số để . b<3b<3 b=2b=2 n=2a>2pkn=2a>2p_k aa pkp_k pkp_k kk a≥ka\ge k n−k=2a−k≥an-k=2a-k\ge a 22 aa b=ab=a n=a2n=a^2 a≥6a\ge6 n>26n>26 n−k>n/3=a2/3≥2an-k>n/3=a^2/3\ge2a aa 2a2a 2a22a^2 aa a2∣(n−k)!a^2\mid(n-k)!