Difference between revisions of "1979 IMO Problems/Problem 1"
m (→Solution) |
|||
Line 16: | Line 16: | ||
\frac{p}{q} | \frac{p}{q} | ||
=\frac{1979}{660\cdot 1319}+\frac{1979}{661\cdot 1318}+\cdots+\frac{1979}{989\cdot 990}=1979\cdot\frac{r}{s} | =\frac{1979}{660\cdot 1319}+\frac{1979}{661\cdot 1318}+\cdots+\frac{1979}{989\cdot 990}=1979\cdot\frac{r}{s} | ||
− | \end{align*}</cmath>where <math>s=660\cdot 661\cdots 1319</math> and <math>r=\frac{s}{660\cdot 1319}+\frac{s}{661\cdot 1318}+\cdots+\frac{s}{989\cdot 990}</math> are two integers. Finally consider <math>p=1979\cdot\frac{qr}{s}</math>, and observe that <math>s | + | \end{align*}</cmath>where <math>s=660\cdot 661\cdots 1319</math> and <math>r=\frac{s}{660\cdot 1319}+\frac{s}{661\cdot 1318}+\cdots+\frac{s}{989\cdot 990}</math> are two integers. Finally consider <math>p=1979\cdot\frac{qr}{s}</math>, and observe that <math>\gcd(s,1979)=1</math> since s consists of products of positive integers less than <math>1979</math>. It follows that <math>\frac{qr}{s}\in\mathbb{Z}</math>. Hence we deduce that <math>p</math> is divisible with <math>1979</math>. |
The above solution was posted and copyrighted by Solumilkyu. The original thread for this problem can be found here: [https://aops.com/community/p6171228] | The above solution was posted and copyrighted by Solumilkyu. The original thread for this problem can be found here: [https://aops.com/community/p6171228] | ||
== See Also == {{IMO box|year=1979|before=First question|num-a=2}} | == See Also == {{IMO box|year=1979|before=First question|num-a=2}} |
Latest revision as of 09:41, 11 August 2025
Problem
If and
are natural numbers so that
prove that
is divisible with
.
Solution
We first write
Now, observe that
and similarly
and
, and so on. We see that the original equation becomes
where
and
are two integers. Finally consider
, and observe that
since s consists of products of positive integers less than
. It follows that
. Hence we deduce that
is divisible with
.
The above solution was posted and copyrighted by Solumilkyu. The original thread for this problem can be found here: [1]
See Also
1979 IMO (Problems) • Resources | ||
Preceded by First question |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 2 |
All IMO Problems and Solutions |