Difference between revisions of "1999 USAMO Problems/Problem 3"
Kevinmathz (talk | contribs) |
|||
Line 6: | Line 6: | ||
== Solution == | == Solution == | ||
− | {{ | + | We see that <math>\{\frac{ra+rb+rc+rd}{p}\}=0</math> means that <math>p|r(a+b+c+d)</math>. Now, since <math>p</math> does nto divide <math>r</math> and <math>p</math> is prime, their GCD is 1 so <math>p|a+b+c+d</math>. |
+ | |||
+ | Since \{ \frac{ra}p \}+\{ \frac{rb}p \}+\{ \frac{rc}p \}+\{ \frac{rd}p \} =2<math>, then we see that they have to represent mods </math>\mod p<math>, and thus, our possible values of </math>p<math> are all such that </math>k^4 \equiv 1 \pmod(p)<math> for all </math>k<math>. This happens when </math>p=2, 3<math> or </math>5<math>. | ||
+ | |||
+ | When </math>p=2<math> then </math>r<math> is odd, meaning </math>ra<math>, </math>rb<math>, </math>rc<math> and </math>rd<math> are all 1 mod 2, or the sum wouldn't be 2. Any pairwise sum is 2. | ||
+ | |||
+ | When </math>p=3<math> then </math>r<math> is not divisible by 3, thus two are </math>1<math>, and the other two are </math>2<math>. Thus, four pairwise sums sum to 3. | ||
+ | |||
+ | When </math>p=5<math> then </math>r<math> is not divisible by 5 so </math>a, b, c, d<math> are </math>1, 2, 3<math> and </math>4$, so two pairwise sums sum to 5. | ||
+ | |||
+ | All three possible cases work so we are done. | ||
== See Also == | == See Also == |
Revision as of 13:14, 20 October 2019
Problem
Let be a prime and let be integers not divisible by , such that for any integer not divisible by . Prove that at least two of the numbers , , , , , are divisible by . (Note: denotes the fractional part of .)
Solution
We see that means that . Now, since does nto divide and is prime, their GCD is 1 so .
Since \{ \frac{ra}p \}+\{ \frac{rb}p \}+\{ \frac{rc}p \}+\{ \frac{rd}p \} =2\mod ppk^4 \equiv 1 \pmod(p)kp=2, 35$.
When$ (Error compiling LaTeX. Unknown error_msg)p=2rrarbrcrd$are all 1 mod 2, or the sum wouldn't be 2. Any pairwise sum is 2.
When$ (Error compiling LaTeX. Unknown error_msg)p=3r12$. Thus, four pairwise sums sum to 3.
When$ (Error compiling LaTeX. Unknown error_msg)p=5ra, b, c, d1, 2, 34$, so two pairwise sums sum to 5.
All three possible cases work so we are done.
See Also
1999 USAMO (Problems • Resources) | ||
Preceded by Problem 2 |
Followed by Problem 4 | |
1 • 2 • 3 • 4 • 5 • 6 | ||
All USAMO Problems and Solutions |
The problems on this page are copyrighted by the Mathematical Association of America's American Mathematics Competitions.