A set $ X$ of positive integers is called nice if for each pair $ a$, $ b\in X$ exactly one of the numbers $ a + b$ and $ |a - b|$ belongs to $ X$ (the numbers $ a$ and $ b$ may be equal). Determine the number of nice sets containing the number 2008. Author: Fedor Petrov
Problem
Source: Tuymaada 2008, Senior League, Second Day, Problem 6.
Tags: combinatorics unsolved, combinatorics
18.07.2008 12:00
The answer is $ d(2008) = 8$. Let $ a \in X$ be an element of $ X$. Then using the definition of $ X$ it is not hard to prove inductively that $ ka \in X$ iff $ k$ is not divisible by $ 3$. (First prove that $ 2a \in X$, then that $ 3a \notin X$, then that $ 4a \in X$, and so on.) Then letting $ x\in X$ be the minimal element of $ X$ suppose there is some $ l\in X$ which is not divisible by $ x$. Applying our previous considerations to the multiples of $ x$ and $ l$ we see $ x$ and $ l$ must be divisible by the same power of $ 3$ (otherwise some multiple of $ 3x$, say, would be in $ X$). Choose minimal $ l\in X$ not divisible by $ x$ (assuming such exists). Then both $ |l - x|, |l - 2x| < l$ are not divisible by $ x$ and can't be in $ X$ since they are $ < l$. Hence $ l + x, l + 2x \in X$. But one of these numbers then is divisible by a higher power of $ 3$ than $ x$ and we get a contradiction. Thus $ X$ consists only of multiples of $ kx$ for which $ k$ is not divisible by $ 3$. Since $ 2008$ is not divisible by $ 3$ the answer follows.
21.03.2009 14:21
Xixas wrote: First prove that $ 2a \in X$ How? Sorry if I appear stupid
21.03.2009 15:09
nuclear_alchemist wrote: Xixas wrote: First prove that $ 2a \in X$ How? Sorry if I appear stupid Take $ a = b \in X$, as $ |a - b| = 0$ is not a positive integer and thus not in $ X$, we must have $ a + a = 2a \in X$.
21.03.2009 15:10
for x=y=a one of a+a and |a-a| should be there in the set but it is a set of +ve number so |a-a| cannot.
22.03.2009 05:04
Thank you!