2
$\begingroup$

Show that any set of 7 distinct integers includes two integers $x$ and $y$, such that either $x-y$ or $x+y$ is divisible by 10. I'm trying to apply the pigeonhole principle, but haven't been able to come up with a convincing argument.

Though similar to this question, I think the difference between the two is enough to warrant a second post.

$\endgroup$
7
$\begingroup$

$$a\equiv0,\pm1,\pm2,\pm3,\pm4,5\pmod{10}\implies a^2\equiv0,1,4,9,6,5$$ So, there are $6$ in-congruent squares $\pmod{10}$

So, if we choose more than $6$ distinct integers, at least two squares will be congruent $\pmod{10}$

$\endgroup$
  • $\begingroup$ Thanks, I think I'm getting it now. $\endgroup$ – Isaac Zebulun Burke Dec 5 '13 at 18:44
  • $\begingroup$ @IsaacZebulunBurke, nice to hear that $\endgroup$ – lab bhattacharjee Dec 5 '13 at 18:45
  • $\begingroup$ So we have that there exist $a_i,a_j$ amongst the seven integers such that $a_i^2 \equiv a_j^2 \bmod{10} \Rightarrow a_i^2-a_j^2\equiv 0 \bmod{10} \Rightarrow (a_i+a_j)(a_i-a_j)\equiv 0 \bmod{10} \Rightarrow$ either $(a_i+a_j)$ or $(a_i-a_j)$ is divisible by $10$. $\endgroup$ – Isaac Zebulun Burke Dec 5 '13 at 18:55
  • $\begingroup$ @IsaacZebulunBurke, observe that $a_i+a_j-(a_i-a_j)=2a_j$ which is even. So, if $a_i+a_j,(a_i-a_j)$ have same parity. Now, if $10$ divides $(a_i+a_j)(a_i−a_j),$ both are even. As $5$ is prime, it must divide on the multiplicands $\endgroup$ – lab bhattacharjee Dec 5 '13 at 18:58
  • $\begingroup$ So what I wrote previously would not suffice, would it? I'm not sure if I understand your last comment. $\endgroup$ – Isaac Zebulun Burke Dec 5 '13 at 19:02

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.