Maths Olympiad Prep

Track / Stage 3 / 52 of 260 #532 of 2444

Problem 532

AMC 10/12, early questions
Combinatorics Difficulty 3.5 Prove it Japan Junior Mathematical Olympiad · Japan

It is known that there are exactly 2958 pairs (m,n)(m, n) of positive integers not exceeding 100 for which the inequalities m<2n<2mm < \sqrt{2n} < 2m are valid. How many pairs (m,n)(m, n) of positive integers not exceeding 100 are there for which 2n<m\sqrt{2n} < m is satisfied?

This one wants a proof. Work it on paper, then read the official solution and mark yourself. Be honest about it: the record is only any use to you if it is.

Next problem →

Official solution

Since 2\sqrt{2} is irrational, neither m=2nm = \sqrt{2} n nor 2m=2n2m = \sqrt{2} n can occur for a pair (m,n)(m, n) of positive integers. Therefore, the pairs (m,n)(m, n) of positive integers not exceeding 100 split into the following three types depending on the values of 2n\sqrt{2} n, mm and 2m2m:

* Type (1): satisfies 2n<m\sqrt{2} n < m,
* Type (2): satisfies m<2n<2mm < \sqrt{2} n < 2m,
* Type (3): satisfies 2m<2n2m < \sqrt{2} n.

The condition 2m<2n2m < \sqrt{2} n can be restated as 2m<n\sqrt{2} m < n. Therefore, the fact that a pair (a,b)(a, b) is of type (1) is equivalent to the fact that the pair (b,a)(b, a) is of type (3). Consequently, the number of pairs belonging to type (1) is the same as the number of pairs belonging to (3).

There are altogether 1002=10000100^2 = 10000 pairs (m,n)(m, n) of positive integers not exceeding 100, and it is given that there are 2958 pairs belonging to type (2). Therefore, the number of pairs belonging to type (1) is
1000029582=3521. \frac{10000 - 2958}{2} = 3521.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty, ordering) added by this project.