Bài 3
Cho là số nguyên và là số nguyên tố lớn nhất nhỏ hơn nghiêm ngặt . Có thể giả sử . Cho là hợp số. Chứng minh: (a) nếu thì không chia hết ; (b) nếu thì chia hết .
Bước 5 trên 5: Kết thúc các trường hợp thừa số ngoại lệ
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ố để .