GeometryDifficulty 7.4National olympiad, round 2Prove it
Given an integer n⩾2. Suppose there is a point P inside a convex cyclic 2n-gon A1…A2n satisfying ∠PA1A2=∠PA2A3=…=∠PA2nA1,prove that i=1∏n∣A2i−1A2i∣=i=1∏n∣A2iA2i+1∣,where A2n+1=A1.
Solution
1. Inversion and Isogonal Conjugate: - Perform an inversion through point P. This inversion maps the cyclic 2n-gon A1A2…A2n to another cyclic 2n-gon. - Let Q be the isogonal conjugate of P with respect to the 2n-gon A1A2…A2n.
2. Distance Notations: - Let ∣PAi∣=pi and ∣QAi∣=qi. - Let AiAi+1=mi.
3. Similarity of Triangles: - Since ∠PA1A2=∠PA2A3=…=∠PA2nA1, triangles PAi+1Ai and QAi+1Ai+2 are similar. - This similarity gives us the ratio: m2i+1m2i=p2i−1q2i+1=p2iq2i - We can write this as: m2i+1m2i=p2i−1q2i+1⋅p2iq2i
4. Product of Ratios: - Multiply all the ratios for i=1,2,…,n: ∏i=0n−1m2i+1∏i=1nm2i=∏i=12npi∏i=12nqi
5. Symmetry Argument: - By symmetry, we also have: ∏i=0n−1m2i+1∏i=1nm2i=∏i=12nqi∏i=12npi
6. Equality of Products: - Equating the two expressions, we get: ∏i=12npi∏i=12nqi=∏i=12nqi∏i=12npi=1 - This implies: ∏i=0n−1m2i+1∏i=1nm2i=1
7. Conclusion: - Therefore, we have: i=1∏nm2i=i=0∏n−1m2i+1
The final answer is i=1∏n∣A2i−1A2i∣=i=1∏n∣A2iA2i+1∣
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.