Maths Olympiad Prep

Library / HMMT February /907 of 1302

HMMT February

Algebra Difficulty 5.5 AIME, harder Find the answer

Let SS be the set of ordered pairs (a,b)(a, b) of positive integers such that gcd⁡(a,\operatorname{gcd}(a, b)=1.Compute. Compute ∑(a,b)∈S⌊3002a+3b⌋\sum_{(a, b) \in S}\left\lfloor\frac{300}{2 a+3 b}\right\rfloor$

A number or a short expression. Fractions can be typed as 3/2, and spacing doesn't matter.

Solution

The key claim is the following. Claim: The sum in the problem is equal to the number of solutions of 2x+3y≤3002 x+3 y \leq 300 where x,yx, y are positive integers. Proof. The sum in the problem is the same as counting the number of triples (a,b,d)(a, b, d) of positive integers such that gcd⁡(a,\operatorname{gcd}(a, b)=1and and d(2 a+3 b) ≤\leq 300.Now,givensuch. Now, given such (a, b, d),webijectittothepair, we biject it to the pair (x, y)describedintheclaimby described in the claim by x=d aand and x=d b.Thistransformationcanbereversedby. This transformation can be reversed by d=gcd⁡(x,d=\operatorname{gcd}(x, y),, a=x / d,and, and b=y / d, implying that it is indeed a bijection, so the sum is indeed equal to the number of such⁡(x,\operatorname{such}(x, y). Hence, we wish to count the number of positive integer solutions to 2x+3y≤3002 x+3 y \leq 300. One way to do this is via casework on yy, which we know to be an integer less than 100: - If yy is even, then y=2ky=2 k for 1≤k≤491 \leq k \leq 49. Fixing kk, there are exactly 300−6k2=150−3k\frac{300-6 k}{2}=150-3 k values of xx which satisfy the inequality, hence the number of solutions in this case is ∑k=149(150−3k)=150⋅492=3675\sum_{k=1}^{49}(150-3 k)=\frac{150 \cdot 49}{2}=3675 - If yy is odd, then y=2k−1y=2 k-1 for 1≤k≤501 \leq k \leq 50. Fixing yy, there are exactly 302−6k2=151−3k\frac{302-6 k}{2}=151-3 k values of xx which satisfy the inequality, hence the number of solutions in this case is ∑k=150(151−3k)=149⋅502=3725\sum_{k=1}^{50}(151-3 k)=\frac{149 \cdot 50}{2}=3725 The final answer is 3675+3725=74003675+3725=7400.

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

Source: Omni-MATH, licensed Apache-2.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.