Maths Olympiad Prep

Library / /10 of 27

Geometry Difficulty 5.6 AIME, harder Prove it Brazil

Prove that, for all convex pentagons P1P2P3P4P5P_1P_2P_3P_4P_5 with area 11, there are indices ii and jj (assume P6=P1P_6 = P_1 and P7=P2P_7 = P_2) such that:
area PiPi+1Pi+25510area PjPj+1Pj+2 \text{area } \triangle P_i P_{i+1} P_{i+2} \le \frac{5 - \sqrt{5}}{10} \le \text{area } \triangle P_j P_{j+1} P_{j+2}

Solution

Let's prove that there exists a triangle PjPj+1Pj+2P_j P_{j+1} P_{j+2} with area less than or equal to α=5510\alpha = \frac{5-\sqrt{5}}{10}. Suppose that all triangles PjPj+1Pj+2P_j P_{j+1} P_{j+2} have area greater than α\alpha.

Figure 1

Let diagonals P1P4P_1P_4 and P3P5P_3P_5 meet at QQ. Since QP3P5Q \in P_3P_5, area P1P2Qmax(area P1P2P5,area P1P2P3)<α\text{area } P_1P_2Q \le \max(\text{area } P_1P_2P_5, \text{area } P_1P_2P_3) < \alpha, so area P1P2P4=1area P1P4P5area P2P3P4>12α\text{area } P_1P_2P_4 = 1 - \text{area } P_1P_4P_5 - \text{area } P_2P_3P_4 > 1 - 2\alpha. Thus
P1QP1P4=area P1P2Qarea P1P2P4<α12α \frac{P_1Q}{P_1P_4} = \frac{\text{area } P_1P_2Q}{\text{area } P_1P_2P_4} < \frac{\alpha}{1 - 2\alpha}
We also have P1QP4Q=area P1P3P5area P3P4P5\frac{P_1Q}{P_4Q} = \frac{\text{area } P_1P_3P_5}{\text{area } P_3P_4P_5}. Since area P3P4P5<α\text{area } P_3P_4P_5 < \alpha and area P1P3P5>12α\text{area } P_1P_3P_5 > 1 - 2\alpha,
P1QP4Q>12αα    P1QP1P4>12α1α \frac{P_1Q}{P_4Q} > \frac{1 - 2\alpha}{\alpha} \iff \frac{P_1Q}{P_1P_4} > \frac{1 - 2\alpha}{1 - \alpha}
Therefore
12α1α<P1QP1P4<α12α    5α25α+1<0    5510<α<5+510, \frac{1-2\alpha}{1-\alpha} < \frac{P_1Q}{P_1P_4} < \frac{\alpha}{1-2\alpha} \implies 5\alpha^2 - 5\alpha + 1 < 0 \iff \frac{5-\sqrt{5}}{10} < \alpha < \frac{5+\sqrt{5}}{10},
contradiction.

The proof of the other inequality is analogous.

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.