Maths Olympiad Prep

Library / /20 of 53

Geometry Difficulty 5.9 AIME, harder Prove it China

Find the smallest constant a>1a > 1, such that for any point PP inside a square ABCDABCD there exist two triangles among PAB\triangle PAB, PBC\triangle PBC, PCD\triangle PCD, PDA\triangle PDA, with the ratio between their areas belonging to the interval [a1,a][a^{-1}, a]. (Posed by Li Weigu)

Solution

amin=1+52a_{\min} = \frac{1+\sqrt{5}}{2}.

Write φ=1+52\varphi = \frac{1+\sqrt{5}}{2}. We may assume that each edge has length 2\sqrt{2}. For any point PP inside the square ABCDABCD, let S1,S2,S3,S4S_1, S_2, S_3, S_4 denote the area of PAB\triangle PAB, PBC\triangle PBC, PCD\triangle PCD, PDA\triangle PDA respectively; we can also assume that S1S2S3S4S_1 \ge S_2 \ge S_3 \ge S_4.

Let λ=S1S2\lambda = \frac{S_1}{S_2}, μ=S2S4\mu = \frac{S_2}{S_4}. If λ,μ>φ\lambda, \mu > \varphi, as
S1+S3=S2+S4=1, S_1 + S_3 = S_2 + S_4 = 1,
we have S21S2=μ\frac{S_2}{1-S_2} = \mu, S2=μ1+μS_2 = \frac{\mu}{1+\mu}. So
Figure 1
S1=λS2=λμ1+μ=λ1+1μ>φ1+1φ=φ21+φ=1, S_1 = \lambda S_2 = \frac{\lambda \mu}{1+\mu} = \frac{\lambda}{1+\frac{1}{\mu}} > \frac{\varphi}{1+\frac{1}{\varphi}} = \frac{\varphi^2}{1+\varphi} = 1,
and we reach a contradiction. Hence, min{λ,μ}φ\min\{\lambda, \mu\} \le \varphi, which implies that aminφa_{\min} \le \varphi.

On the other hand, for any a(1,φ)a \in (1, \varphi), we take any t(a,1+52)t \in (a, \frac{1+\sqrt{5}}{2}) such that b=t21+t>89b = \frac{t^2}{1+t} > \frac{8}{9}. Inside the square ABCDABCD we can choose a point PP so that S1=bS_1 = b, S2=btS_2 = \frac{b}{t}, S3=bt2S_3 = \frac{b}{t^2}, S4=1bS_4 = 1-b. Then we have
S1S2=S2S3=t(a,1+52), \frac{S_1}{S_2} = \frac{S_2}{S_3} = t \in (a, \frac{1+\sqrt{5}}{2}),
S3S4=bt2(1b)>b4(1b)>2>a. \frac{S_3}{S_4} = \frac{b}{t^2(1-b)} > \frac{b}{4(1-b)} > 2 > a.
Thus, for any i,j{1,2,3,4}i, j \in \{1, 2, 3, 4\}, we have SiSj[a1,a]\frac{S_i}{S_j} \notin [a^{-1}, a].

Hence amin=φa_{\min} = \varphi.

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.