Difference between revisions of "2021 JMC 10 Problems/Problem 19"
Skyscraper (talk | contribs) (Created page with "==Problem== Two distinct divisors of <math>6^4=1296</math> are ''mutual'' if their difference divides their product. For instance, <math>(4,2)</math> is mutual as <math>(4-2)...") |
Skyscraper (talk | contribs) (→Solution) |
||
Line 8: | Line 8: | ||
==Solution== | ==Solution== | ||
− | Observe that <cmath>(d_1-d_2) |d_1 d_2 \implies (k-1)d_2 | k\cdot (d_2)^2 \implies (k-1) | k d_2.</cmath> Because <math>\gcd(k,k-1)=1</math>, it follows that <math>(k-1)|d_2</math>. Since <math>d_2|1296</math>, we must also have <math>(k-1)|1296</math>. Note that we cannot have <math>6|(k-1)</math>, because this will result in <math>k</math> being neither a multiple of <math>2</math> nor <math>3</math>. | + | Observe that <cmath>(d_1-d_2) |d_1 d_2 \implies (k-1)d_2 | k\cdot (d_2)^2 \implies (k-1) | k d_2.</cmath> Because <math>\gcd(k,k-1)=1</math>, it follows that <math>(k-1)|d_2</math>. Since <math>d_2|1296</math>, we must also have <math>(k-1)|1296</math>. Note that we cannot have <math>6|(k-1)</math>, because this will result in <math>k</math> being neither a multiple of <math>2</math> nor <math>3</math>. Thus, we need only to check <math>(k-1)|16</math> and <math>(k-1)|81.</math> Note that <math>k</math> must be of the form <math>2^a\cdot 3^b</math> for non-negative integers <math>a</math> and <math>b,</math> so our desired answer is <math>2+3+4+9=18</math>. |
− | |||
− | |||
− | Thus, we need only to check <math>(k-1)|16</math> and <math>(k-1)|81.</math> Note that <math>k</math> must be of the form <math>2^a\cdot 3^b</math> for non-negative integers <math>a</math> and <math>b,</math> so our desired answer is <math>2+3+4+9=18</math>. |
Latest revision as of 15:03, 1 April 2021
Problem
Two distinct divisors of are mutual if their difference divides their product. For instance, is mutual as Suppose a mutual pair exists where for a positive integer What is the sum of all possible
Solution
Observe that Because , it follows that . Since , we must also have . Note that we cannot have , because this will result in being neither a multiple of nor . Thus, we need only to check and Note that must be of the form for non-negative integers and so our desired answer is .