MathLabs

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 2a1+2a2+⋯+2a1002^{a_1}+2^{a_2}+\cdots+2^{a_{100}}, trong đó a1,a2,…,a100a_1,a_2,\ldots,a_{100} 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 nn sao cho không có bội số nào của nn 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
cn=2a1+⋯+2ar, r≤100, ar≥101⟹2ar=2ar−101n+2ar−101cn=2^{a_1}+\cdots+2^{a_r},\ r\le100,\ a_r\ge101\Longrightarrow 2^{a_r}=2^{a_r-101}n+2^{a_r-101}
Phân tích chi tiết

Giả sử phản chứng rằng một bội cncn của n=2101−1n=2^{101}-1 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 100100 lũy thừa phân biệt; chọn biểu diễn này với cc nhỏ nhất và gọi ara_r là số mũ lớn nhất. Nếu ar≥101a_r\ge101 thì 2ar=2ar−101n+2ar−1012^{a_r}=2^{a_r-101}n+2^{a_r-101}, nên thay 2ar2^{a_r} bằng 2ar−1012^{a_r-101} làm giảm cncn đi 2ar−101n2^{a_r-101}n, cho một bội dương nhỏ hơn của nn với nhiều nhất 100100 lũy thừa nhị phân, mâu thuẫn với tính nhỏ nhất của cc.