Olympiad Maths Prep

Track / Stage 5 / 335 of 400 #935 of 2000

Problem 935

AIME late
Number theory Difficulty 5.8 Find the answer

2. For each aZa \in \mathbb{Z}, consider the set Sa={xR1x2a2Z,xa}S_{a}=\left\{\left.x \in \mathbb{R}\left|\frac{1}{x^{2}-a^{2}} \in \mathbb{Z},\right| x|\neq| a \right\rvert\,\right\}.

a) Determine the values of aa for which the set SaS_{a} contains the number 2\sqrt{2};

b) Determine aZa \in \mathbb{Z} for which SaQS_{a} \cap \mathbb{Q} \neq \varnothing.

Official solution

Subject 2. For each aZa \in \mathbb{Z}, consider the set Sa={xR1x2a2Z,xa}S_{a}=\left\{\left.x \in \mathbb{R}\left|\frac{1}{x^{2}-a^{2}} \in \mathbb{Z},\right| x|\neq| a \right\rvert\,\right\}.

a) Determine the values of aa for which the set SaS_{a} contains the number 2\sqrt{2};

b) Determine aZa \in \mathbb{Z} for which SaQS_{a} \cap \mathbb{Q} \neq \varnothing.

Prof. Petre Simion and Prof. Victor Nicolae, Bucharest

| Details of solution | Associated grading |
| :--- | :--- |
| a) We have 2Sa\sqrt{2} \in S_{a} equivalent to the fact that there exists kZk \in \mathbb{Z}^{*} such that 12a2=k\frac{1}{2-a^{2}}=k. | |
| We deduce that a2+1k=2Za^{2}+\frac{1}{k}=2 \in \mathbb{Z}. This means that 1kZ\frac{1}{k} \in \mathbb{Z}, so k{±1}k \in\{ \pm 1\}. | 2p\mathbf{2 p} |
| For k=1k=-1, we get a2=3a^{2}=3, a contradiction. | |
| For k=1k=1, we get a2=1a^{2}=1, from which we obtain a{±1}a \in\{ \pm 1\}. | |
| b) If a0a \neq 0, assume that a2+1k=a2k+1k=m2n2a^{2}+\frac{1}{k}=\frac{a^{2} k+1}{k}=\frac{m^{2}}{n^{2}}, where mm and nn are natural numbers | 3p\mathbf{3 p} |

| relatively prime. Since the numbers kk and a2k+1a^{2} k+1 are relatively prime, it follows that n2=kn^{2}=k and | |
| a2k+1=m2a^{2} k+1=m^{2}, i.e., (an)2+1=m2(a n)^{2}+1=m^{2}, a contradiction. For a0a \neq 0, we have SaQ=S_{a} \cap \mathbb{Q}=\varnothing. | |
| For a=0a=0, we get x=±1k,kZ+x= \pm \sqrt{\frac{1}{k}}, k \in \mathbb{Z}_{+}. For example, for x=12x=\frac{1}{2}, we get k=4k=4, | 2p\mathbf{2 p} |
| so 12S0Q\frac{1}{2} \in S_{0} \cap \mathbb{Q}. Therefore, a=0a=0. | |

Source: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic, difficulty and ordering added by this site.