Maths Olympiad Prep

Library / /469 of 520

Geometry Difficulty 7.5 National olympiad, round 2 Prove it

The polygon MM{} is bicentric. The polygon PP{} has vertices at the points of contact of the sides of MM{} with the inscribed circle. The polygon QQ{} is formed by the external bisectors of the angles of M.M{}. Prove that PP{} and QQ{} are homothetic.

Solution

1. Define the polygons and their properties:
- Let MM be a bicentric polygon, meaning it has both an inscribed circle (incircle) and a circumscribed circle (circumcircle).
- Let PP be the polygon with vertices at the points of contact of the sides of MM with the incircle.
- Let QQ be the polygon formed by the external bisectors of the angles of MM.

2. Establish the relationship between the polygons:
- Denote MM as ABCDABCD, PP as WXYZWXYZ, and QQ as EFGHEFGH.
- Since MM is bicentric, the incircle touches the sides of MM at points W,X,Y,ZW, X, Y, Z.
- The external angle bisectors of MM intersect the circumcircle at points E,F,G,HE, F, G, H.

3. **Prove that PP and QQ are cyclic:**
- Since MM is bicentric, the points of tangency of the incircle with MM form a cyclic polygon PP.
- The external angle bisectors of MM intersect the circumcircle at points E,F,G,HE, F, G, H, forming a cyclic polygon QQ.

4. Show parallelism and angle relationships:
- Consider the angle bisectors and perpendiculars from the incenter II to the sides of MM.
- Since AIWZAI \perp WZ, it follows that WZEHWZ \parallel EH.
- Similarly, WXEFWX \parallel EF.

5. Use cyclic quadrilaterals and angle chasing:
- Since HAI=HDI=GCI=90\angle HAI = \angle HDI = \angle GCI = 90^\circ, quadrilaterals HAIDHAID and GCIDGCID are cyclic.
- For cyclic quadrilaterals, the opposite angles sum to 180180^\circ.
- Given that ZDYZDY is isosceles with bisector DIDI, we have AHI=ADI=IDC=IGC\angle AHI = \angle ADI = \angle IDC = \angle IGC.

6. Establish collinearity and angle relationships:
- The equality of the first and last angles implies that H,I,FH, I, F and G,I,EG, I, E are collinear.
- Let AHI=ADI=IDC=IGC=ϕ\angle AHI = \angle ADI = \angle IDC = \angle IGC = \phi.
- Then ADC=2ϕ\angle ADC = 2\phi and ABC=1802ϕ\angle ABC = 180^\circ - 2\phi.

7. Prove similarity of triangles:
- Since BXIWBXIW is cyclic, BWI=BXI=90\angle BWI = \angle BXI = 90^\circ, and thus XIW=2ϕ\angle XIW = 2\phi.
- Therefore, WYX=ϕ\angle WYX = \phi, implying WYX=CGIWYEG\angle WYX = \angle CGI \Rightarrow WY \parallel EG.
- We conclude that ΔWXYΔEFG\Delta WXY \sim \Delta EFG and ΔWZYΔEHG\Delta WZY \sim \Delta EHG.

8. Determine the center of homothety:
- Both similarities have the center of homothety at the intersection of EWEW with GYGY.
- Since WYWY and EGEG are common sides of the respective similar triangles, PP and QQ are homothetic.

P and Q are homothetic. \boxed{\text{P and Q are homothetic.}}

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.