Maths Olympiad Prep

Library / /6 of 25

Combinatorics Difficulty 3.5 AMC 10/12 Prove it 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?

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.

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: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.