Maths Olympiad Prep

Library / /423 of 520

Geometry Difficulty 7.4 National olympiad, round 2 Prove it

Given an integer n2n \geqslant 2. Suppose there is a point PP inside a convex cyclic 2n2n-gon A1A2nA_1 \ldots A_{2n} satisfying PA1A2=PA2A3==PA2nA1,\angle PA_1A_2 = \angle PA_2A_3 = \ldots = \angle PA_{2n}A_1,prove that i=1nA2i1A2i=i=1nA2iA2i+1, \prod_{i=1}^{n} \left|A_{2i - 1}A_{2i} \right| = \prod_{i=1}^{n} \left|A_{2i}A_{2i+1} \right|,where A2n+1=A1A_{2n + 1} = A_1.

Solution

1. Inversion and Isogonal Conjugate:
- Perform an inversion through point P P . This inversion maps the cyclic 2n 2n -gon A1A2A2n A_1A_2 \ldots A_{2n} to another cyclic 2n 2n -gon.
- Let Q Q be the isogonal conjugate of P P with respect to the 2n 2n -gon A1A2A2n A_1A_2 \ldots A_{2n} .

2. Distance Notations:
- Let PAi=pi |PA_i| = p_i and QAi=qi |QA_i| = q_i .
- Let AiAi+1=mi A_iA_{i+1} = m_i .

3. Similarity of Triangles:
- Since PA1A2=PA2A3==PA2nA1 \angle PA_1A_2 = \angle PA_2A_3 = \ldots = \angle PA_{2n}A_1 , triangles PAi+1Ai PA_{i+1}A_i and QAi+1Ai+2 QA_{i+1}A_{i+2} are similar.
- This similarity gives us the ratio:
m2im2i+1=q2i+1p2i1=q2ip2i \frac{m_{2i}}{m_{2i+1}} = \frac{q_{2i+1}}{p_{2i-1}} = \frac{q_{2i}}{p_{2i}}
- We can write this as:
m2im2i+1=q2i+1p2i1q2ip2i \frac{m_{2i}}{m_{2i+1}} = \sqrt{\frac{q_{2i+1}}{p_{2i-1}} \cdot \frac{q_{2i}}{p_{2i}}}

4. Product of Ratios:
- Multiply all the ratios for i=1,2,,n i = 1, 2, \ldots, n :
i=1nm2ii=0n1m2i+1=i=12nqii=12npi \frac{\prod_{i=1}^{n} m_{2i}}{\prod_{i=0}^{n-1} m_{2i+1}} = \sqrt{\frac{\prod_{i=1}^{2n} q_i}{\prod_{i=1}^{2n} p_i}}

5. Symmetry Argument:
- By symmetry, we also have:
i=1nm2ii=0n1m2i+1=i=12npii=12nqi \frac{\prod_{i=1}^{n} m_{2i}}{\prod_{i=0}^{n-1} m_{2i+1}} = \sqrt{\frac{\prod_{i=1}^{2n} p_i}{\prod_{i=1}^{2n} q_i}}

6. Equality of Products:
- Equating the two expressions, we get:
i=12nqii=12npi=i=12npii=12nqi=1 \sqrt{\frac{\prod_{i=1}^{2n} q_i}{\prod_{i=1}^{2n} p_i}} = \sqrt{\frac{\prod_{i=1}^{2n} p_i}{\prod_{i=1}^{2n} q_i}} = 1
- This implies:
i=1nm2ii=0n1m2i+1=1 \frac{\prod_{i=1}^{n} m_{2i}}{\prod_{i=0}^{n-1} m_{2i+1}} = 1

7. Conclusion:
- Therefore, we have:
i=1nm2i=i=0n1m2i+1 \prod_{i=1}^{n} m_{2i} = \prod_{i=0}^{n-1} m_{2i+1}

The final answer is i=1nA2i1A2i=i=1nA2iA2i+1 \boxed{ \prod_{i=1}^{n} \left|A_{2i - 1}A_{2i} \right| = \prod_{i=1}^{n} \left|A_{2i}A_{2i+1} \right| }

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: NuminaMath-1.5, licensed Apache-2.0. Statement and solution reproduced as published; topic and difficulty added by this site.