Maths Olympiad Prep

Library / /711 of 860

Number theory Difficulty 5.4 AIME, harder Find the answer

How many positive integers kk are there such that k2013(a+b)=lcm(a,b)\frac{k}{2013}(a+b)=\operatorname{lcm}(a, b) has a solution in positive integers (a,b)(a, b)?

A number or a short expression. Spacing and $ signs are ignored.

Solution

First, we can let h=gcd(a,b)h=\operatorname{gcd}(a, b) so that (a,b)=(hA,hB)(a, b)=(h A, h B) where gcd(A,B)=1\operatorname{gcd}(A, B)=1. Making these substitutions yields k2013(hA+hB)=hAB\frac{k}{2013}(h A+h B)=h A B, so k=2013ABA+Bk=\frac{2013 A B}{A+B}. Because AA and BB are relatively prime, A+BA+B shares no common factors with neither AA nor BB, so in order to have kk be an integer, A+BA+B must divide 2013, and since AA and BB are positive, A+B>1A+B>1. We first show that for different possible values of A+BA+B, the values of kk generated are distinct. In particular, we need to show that 2013ABA+B2013ABA+B\frac{2013 A B}{A+B} \neq \frac{2013 A^{\prime} B^{\prime}}{A^{\prime}+B^{\prime}} whenever A+BA+BA+B \neq A^{\prime}+B^{\prime}. Assume that such an equality exists, and cross-multiplying yields AB(A+B)=AB(A+B)A B\left(A^{\prime}+B^{\prime}\right)=A^{\prime} B^{\prime}(A+B). Since ABA B is relatively prime to A+BA+B, we must have A+BA+B divide A+BA^{\prime}+B^{\prime}. With a similar argument, we can show that A+BA^{\prime}+B^{\prime} must divide A+BA+B, so A+B=A+BA+B=A^{\prime}+B^{\prime}. Now, we need to show that for the same denominator A+BA+B, the values of kk generated are also distinct for some relatively prime non-ordered pair (A,B)(A, B). Let n=A+B=C+Dn=A+B=C+D. Assume that 2013ABn=2013CDn\frac{2013 A B}{n}=\frac{2013 C D}{n}, or equivalently, A(nA)=C(nC)A(n-A)=C(n-C). After some rearrangement, we have (C+A)(CA)=n(CA)(C+A)(C-A)=n(C-A) This implies that either C=AC=A or C=nA=BC=n-A=B. But in either case, (C,D)(C, D) is some permutation of (A,B)(A, B). Our answer can therefore be obtained by summing up the totients of the factors of 2013 (excluding 1) and dividing by 2 since (A,B)(A, B) and (B,A)(B, A) correspond to the same kk value, so our answer is 201312=\frac{2013-1}{2}= 1006.

Want a route through all this instead of an archive? The track puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.

Source: Omni-MATH, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.