Maths Olympiad Prep

Library / /5 of 7

Geometry Difficulty 5.1 AIME, harder Prove it Japan

For 0x,y10 \le x, y \le 1, let
f(x,y)=xy21x2x2y1y2 f(x, y) = x y^2 \sqrt{1-x^2} - x^2 y \sqrt{1-y^2}

Find the minimum constant cc for which the following condition holds.
For any integer n>1n > 1 and any real numbers a1,a2,,ana_1, a_2, \dots, a_n such that 0a1<a2<<an10 \le a_1 < a_2 < \dots < a_n \le 1,
f(a1,a2)+f(a2,a3)++f(an1,an)<c f(a_1, a_2) + f(a_2, a_3) + \dots + f(a_{n-1}, a_n) < c

Solution

Draw a semicircle whose radius is 11, and let AA and BB be the two ends of the arc. Take two points CC and DD on arc ABAB so that AA, CC, DD and BB are on the arc in this order.
Let 2a=AC2a = AC, 2b=AD2b = AD, CAB=α\angle CAB = \alpha, DAB=β\angle DAB = \beta. Then a=cosαa = \cos \alpha, b=cosβb = \cos \beta and area of the triangle ACDACD is
12(2a)(2b)sin(αβ)=2ab(sinαcosβcosαsinβ)=2ab(b1a2a1b2)=2f(a,b). \begin{aligned} \frac{1}{2}(2a)(2b) \sin(\alpha - \beta) &= 2ab(\sin \alpha \cos \beta - \cos \alpha \sin \beta) \\ &= 2ab(b\sqrt{1-a^2} - a\sqrt{1-b^2}) = 2f(a, b). \end{aligned}
Therefore, by taking points A1,A2,,AnA_1, A_2, \dots, A_n on the arc ABAB with AAi=2aiAA_i = 2a_i and considering the sum of the area of triangles AAiAi+1AA_iA_{i+1}, we conclude that the left side of the given inequality does not exceed π/4\pi/4, the half of the area of the semicircle.

Next, we shall prove that cc cannot be smaller than π/4\pi/4. Take any positive integer nn. Take points A=A0,A1,A2,,A2n1,A2n=BA = A_0, A_1, A_2, \dots, A_{2^n-1}, A_{2^n} = B on the arc ABAB in this order so that these points divide the arc equally. Let AAi=2aiAA_i = 2a_i (i=1,2,,2ni = 1, 2, \dots, 2^n). Denote by SnS_n the part of the semicircle not covered by polygon A0A1A2nA_0A_1 \cdots A_{2^n}. SnS_n consists of 2n2^n congruent figures (a fan minus a triangle). Denote each of them by PnP_n. We can easily show that 2Pn+1<12Pn2|P_{n+1}| < \frac{1}{2}|P_n|, so Sn+1<12Sn|S_{n+1}| < \frac{1}{2}|S_n|, hence Sn<12n1S1|S_n| < \frac{1}{2^{n-1}}|S_1|. This inequality shows that, if cc is less than π/4\pi/4, we can take nn large enough so that the area of the part which is not covered by polygon A0A1A2nA_0A_1 \cdots A_{2^n} be less than π/4c\pi/4 - c, which yields cc inappropriate. Therefore the minimum value of cc is π/4\pi/4.

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 and solution reproduced as published; topic and difficulty added by this site.