Bài 2
Một số nguyên dương được gọi là hào nhoáng nếu nó có thể viết dưới dạng , trong đó là các số nguyên không âm không nhất thiết phân biệt. Tìm số nguyên dương nhỏ nhất sao cho không có bội số nào của là số hào nhoáng.
Bước 4 trên 5: Trường hợp số mũ lớn cho phản ví dụ tối thiểu
Phân tích chi tiết
Giả sử phản chứng rằng một bội của là số hào nhoáng. Gộp các lũy thừa lặp lại bằng phép nhớ nhị phân, ta được biểu diễn bằng nhiều nhất lũy thừa phân biệt; chọn biểu diễn này với nhỏ nhất và gọi là số mũ lớn nhất. Nếu thì , nên thay bằng làm giảm đi , cho một bội dương nhỏ hơn của với nhiều nhất lũy thừa nhị phân, mâu thuẫn với tính nhỏ nhất của .