Difference between revisions of "2019 IMO Problems/Problem 4"
Toinfinity (talk | contribs) (Created page with "Find all pairs <math>(k,n)</math> of positive integers such that <cmath>k!=(2^n-1)(2^n-2)(2^n-4)\dots(2^n-2^{n-1}).</cmath>") |
(→Solution 1) |
||
(13 intermediate revisions by the same user not shown) | |||
Line 1: | Line 1: | ||
+ | ==Problem== | ||
+ | |||
Find all pairs <math>(k,n)</math> of positive integers such that | Find all pairs <math>(k,n)</math> of positive integers such that | ||
<cmath>k!=(2^n-1)(2^n-2)(2^n-4)\dots(2^n-2^{n-1}).</cmath> | <cmath>k!=(2^n-1)(2^n-2)(2^n-4)\dots(2^n-2^{n-1}).</cmath> | ||
+ | |||
+ | ==Solution 1== | ||
+ | <math>LHS</math> <math>k</math>! = 1(when <math>k</math> = 1), 2 (when <math>k</math> = 2), 6(when <math>k</math> = 3) | ||
+ | |||
+ | <math>RHS = 1</math>(when <math>n</math> = 1), 6 (when <math>n</math> = 2) | ||
+ | |||
+ | Hence, (1,1), (3,2) satisfy | ||
+ | |||
+ | For <math>k</math> = 2: RHS is strictly increasing, and will never satisfy <math>k</math> = 2 for integer n since RHS = 6 when <math>n</math> = 2. | ||
+ | |||
+ | For <math>k</math> > 3, <math>n</math> > 2: | ||
+ | |||
+ | LHS: Minimum two odd terms other than 1. | ||
+ | |||
+ | RHS: 1st term odd. No other term will be odd. | ||
+ | By parity, LHS not equal to RHS. | ||
+ | |||
+ | |||
+ | Hence, (1,1), (3,2) are the only two pairs that satisfy. | ||
+ | |||
+ | ~flamewavelight and phoenixfire |
Revision as of 14:08, 15 December 2019
Problem
Find all pairs of positive integers such that
Solution 1
! = 1(when = 1), 2 (when = 2), 6(when = 3)
(when = 1), 6 (when = 2)
Hence, (1,1), (3,2) satisfy
For = 2: RHS is strictly increasing, and will never satisfy = 2 for integer n since RHS = 6 when = 2.
For > 3, > 2:
LHS: Minimum two odd terms other than 1.
RHS: 1st term odd. No other term will be odd. By parity, LHS not equal to RHS.
Hence, (1,1), (3,2) are the only two pairs that satisfy.
~flamewavelight and phoenixfire