Problem

Source: IMO ShortList 1990, Problem 21 (ROM 1)

Tags: number theory, Divisibility, binary representation, minimization, IMO Shortlist



Let $ n$ be a composite natural number and $ p$ a proper divisor of $ n.$ Find the binary representation of the smallest natural number $ N$ such that \[ \frac{(1 + 2^p + 2^{n-p})N - 1}{2^n}\] is an integer.