Difference between revisions of "1998 IMO Problems/Problem 3"
Dabab kebab (talk | contribs) (→Solution) |
(→Solution) |
||
(3 intermediate revisions by 3 users not shown) | |||
Line 28: | Line 28: | ||
Let there be a number <math>x</math> s.t <math>k-y=x\implies k+1 = 2^z(k-x)\implies (2^zx+1)/(2^z-1)=k</math> | Let there be a number <math>x</math> s.t <math>k-y=x\implies k+1 = 2^z(k-x)\implies (2^zx+1)/(2^z-1)=k</math> | ||
− | Also consider <math>k/y</math>. | + | Also consider <math>k/y</math>. It is sufficient to show that <math>k/y</math> can be represented by a product of fractions of the form <math>2n+1/n+1</math> in order to show <math>k</math> can be represented by product of fractions <math>2n+1/n+1</math>, since <math>y</math> can be represented in such a manner too. |
<math>k/y = k/(k-x) = 1/(1 - x/k)</math> | <math>k/y = k/(k-x) = 1/(1 - x/k)</math> | ||
Line 34: | Line 34: | ||
Using our definition of <math>k</math> in terms of <math>x</math>: | Using our definition of <math>k</math> in terms of <math>x</math>: | ||
− | <math>k/y = 1/{1 - {2^z-x}/{2^zx+1}} = {2^zx+1}/{x+1}</math> | + | <math>k/y = 1/({1 - {2^z-x}/{2^zx+1}}) = {2^zx+1}/{x+1}</math> |
And that is simply the product of fractions: <math>{2x+1}/{x+1} * {4x+1}/{2x+1} * .. * {2^zx+1}/{2^{z-1}x}</math>. | And that is simply the product of fractions: <math>{2x+1}/{x+1} * {4x+1}/{2x+1} * .. * {2^zx+1}/{2^{z-1}x}</math>. | ||
− | We have shown that <math>k/y</math> can be written s.t it's a product of fractions of the form <math>{2n+ | + | We have shown that <math>k/y</math> can be written s.t it's a product of fractions of the form <math>{2n+1}/{n+1}\implies k</math> can be written in such a way too. |
Hence we have shown that all odds less than <math>k</math> satisfies <math>P(n)\implies P(k)</math> is true. Since we have shown P(1) is true, it must hence be true for all odd integers. | Hence we have shown that all odds less than <math>k</math> satisfies <math>P(n)\implies P(k)</math> is true. Since we have shown P(1) is true, it must hence be true for all odd integers. | ||
Line 47: | Line 47: | ||
-dabab_kebab (wrote this solution) | -dabab_kebab (wrote this solution) | ||
+ | |||
+ | ==See Also== | ||
+ | |||
+ | {{IMO box|year=1998|num-b=2|num-a=4}} |
Latest revision as of 01:39, 17 September 2024
Problem
For any positive integer , let denote the number of positive divisors of (including 1 and itself). Determine all positive integers such that for some .
Solution
First we must etermine generl values for : Let , if is an aritrry divisor of then must have the same prime factors of , each with an exponent being: . Hence there are choices for each exponent of Pi in the number d => there are such d
where are exponents of the prime numbers in the prime factorisation of .
So we want to find all integers that can e represented by the product of fractions of the form Obviously is odd as the numerator is always odd. It's possible for 1 (1/1) and 3 , which suggests that it may be possible for all odd integers, which we can show by induction.
: It's possible to represent as the product of fractions
Base case: Now assume that for it's possible for all odds < .
Since is odd, where is odd and <
Let there be a number s.t
Also consider . It is sufficient to show that can be represented by a product of fractions of the form in order to show can be represented by product of fractions , since can be represented in such a manner too.
Using our definition of in terms of :
And that is simply the product of fractions: .
We have shown that can be written s.t it's a product of fractions of the form can be written in such a way too.
Hence we have shown that all odds less than satisfies is true. Since we have shown P(1) is true, it must hence be true for all odd integers.
Therefore, is odd, for some n. I.E all odd satisfy the condition posed in the question.∎
-dabab_kebab (wrote this solution)
See Also
1998 IMO (Problems) • Resources | ||
Preceded by Problem 2 |
1 • 2 • 3 • 4 • 5 • 6 | Followed by Problem 4 |
All IMO Problems and Solutions |