The chalkboard hadn't been cleaned. (Corrected once.)

What is the minimum value of q q such that there are always three elements x m x_m , x n x_n , x p x_p of the set A = { x 1 , x 2 , , x q 1 , x q } { 1 ; 2 ; ; 1233 ; 1234 } \mathbb A = \{x_1, x_2, \cdots, x_{q - 1}, x_q\} \in \{1; 2; \cdots; 1233; 1234\} such that x n 2 2 x p x m < x p 2 + x m 2 < x n 2 + 2 x p x m x_n^2 - 2x_px_m < x_p^2 + x_m^2 < x_n^2 + 2x_px_m (with every possible combination of the set A \mathbb A )?


The answer is 16.

This section requires Javascript.
You are seeing this because something didn't load right. We suggest you, (a) try refreshing the page, (b) enabling javascript if it is disabled on your browser and, finally, (c) loading the non-javascript version of this page . We're sorry about the hassle.

1 solution

Mark Hennings
Jan 31, 2019

The given condition on x n , x p , x m x_n,x_p,x_m is that x n 2 < ( x p + x m ) 2 x_n^2 < (x_p+x_m)^2 and ( x p x m ) 2 < x n 2 (x_p-x_m)^2 < x_n^2 , so that x n < x p + x m x_n < x_p + x_m and x p x m < x n |x_p-x_m| < x_n , so that x n < x p + x m x_n < x_p + x_m , x p < x n + x m x_p < x_n + x_m and x m < x p + x n x_m < x_p + x_n . Thus we want to find subsets of { 1 , 2 , 3 , . . . , 1234 } \{1,2,3,...,1234\} such that no triplet of elements of the subset forms the side lengths of a proper triangle. Three numbers a < b < c a < b < c form the sides of a proper triangle precisely when c < a + b c < a + b .

Thus a collection of { x 1 , x 2 , . . . , x q } \{x_1,x_2,...,x_q\} of numbers, with x 1 < x 2 < . . . < x q x_1 < x_2 < ... < x_q , will be such that no triplet of its elements forms the side lengths of a proper triangle provided that x k x i + x j x_k \ge x_i + x_j whenever i < j < k i < j < k . This requires precisely that x k x k 1 + x k 2 x_k \ge x_{k-1} + x_{k-2} for all 3 k q 3 \le k \le q .

We need to find how many positive integers x 1 < x 2 < . . . < x q x_1 < x_2 < ... < x_q can be chosen so that x k x k 1 + x k 2 x_k \ge x_{k-1} + x_{k-2} for all 3 k q 3 \le k \le q . Note that x 1 1 = F 2 x_1 \ge 1 = F_2 and x 2 2 = F 3 x_2 \ge 2 = F_3 , where F n F_n is the n n th Fibonacci number (so F 0 = 0 F_0=0 , F 1 = 1 F_1=1 , F 2 = 1 F_2=1 , and so on). If it is true that x k F k + 1 x_k \ge F_{k+1} for 1 k u 1 \le k \le u , then x u + 1 x u + x u 1 F u + 1 + F u = F u + 2 x_{u+1} \ge x_u + x_{u-1} \ge F_{u+1} + F_u = F_{u+2} . Thus we deduce that x u F u + 1 x_u \ge F_{u+1} for all 1 u q 1 \le u \le q , and so F q + 1 x q 1234 F_{q+1} \; \le \; x_q \; \le \; 1234 Since F 16 = 987 F_{16} = 987 and F 17 = 1597 F_{17} = 1597 , we deduce that q + 1 16 q+1 \le 16 , and hence q 15 q \le 15 .

Thus, if a subset of { 1 , 2 , 3 , . . . , 1234 } \{1,2,3,...,1234\} of size q q contains no triplet that forms the sides of a proper triangle, then q 15 q \le 15 . We can find a set of size 15 15 with this property, namely { F n : 2 n 16 } = { 1 , 2 , 3 , 5 , 8 , 13 , 21 , 34 , 55 , 89 , 144 , 233 , 377 , 610 , 987 } \{F_n\,:\, 2 \le n \le 16\} \; = \; \{1,2,3,5,8,13,21,34,55,89,144,233,377,610,987\} Any set with 16 \boxed{16} or more elements must contain a triplet that forms the sides of a proper triangle.

Great solution (although I have read it). When this problem was written on the chalkboard, no one in the class solved it. It was the last problem from a math competition occurred in my hometown last year, and unsurprisingly, no one was able to solve it. It was a challenge!

Thành Đạt Lê - 2 years, 4 months ago

0 pending reports

×

Problem Loading...

Note Loading...

Set Loading...