Maths Olympiad Prep

Library / /489 of 520

Geometry Difficulty 7.7 National olympiad, round 2 Prove it

The ABCDABCD is a cyclic quadrilateral with no parallel sides inscribed in circle (O,R)(O, R). Let EE be the intersection of two diagonals and the angle bisector of AEBAEB cut the lines AB,BC,CD,DAAB, BC, CD, DA at M,N,P,QM, N, P, Q respectively .
a) Prove that the circles (AQM),(BMN),(CNP),(DPQ)(AQM), (BMN), (CNP), (DPQ) are passing through a point. Call that point KK.
b) Denote min{AC,BD}=mmin \,\{AC, BD\} = m. Prove that OK2R24R2m2OK \le \dfrac{2R^2}{\sqrt{4R^2-m^2}}.

Solution

### Part (a)

1. Angle Chasing and Cyclic Quadrilaterals:
- We start by noting that ABCDABCD is a cyclic quadrilateral, meaning that its opposite angles sum to 180180^\circ.
- Let EE be the intersection of the diagonals ACAC and BDBD.
- The angle bisector of AEB\angle AEB intersects AB,BC,CD,DAAB, BC, CD, DA at M,N,P,QM, N, P, Q respectively.

2. Miquel Point:
- We need to show that the circles (AQM),(BMN),(CNP),(DPQ)(AQM), (BMN), (CNP), (DPQ) pass through a common point KK.
- By definition, the Miquel point of a quadrilateral is the common point of the four circles passing through the vertices and the intersection points of the sides.

3. Angle Chasing:
- We use angle chasing to show that the angles subtended by the arcs in these circles are equal.
- Specifically, we need to show that the angles KAM\angle KAM, KDP\angle KDP, KBM\angle KBM, and KCP\angle KCP are related in such a way that KK lies on all four circles.

4. **Proving the Existence of KK:**
- By the properties of cyclic quadrilaterals and the angle bisectors, we can show that:
KAMKDPandKBMKCP(mod π) \angle KAM \equiv \angle KDP \quad \text{and} \quad \angle KBM \equiv \angle KCP \quad (\text{mod} \ \pi)
- This implies that KK is the Miquel point of the quadrilateral ADPMADPM and BCPMBCPM.

5. Conclusion:
- Therefore, the circles (AQM),(BMN),(CNP),(DPQ)(AQM), (BMN), (CNP), (DPQ) all pass through the common point KK.

### Part (b)

1. **Distance from OO to KK:**
- We need to prove that OK2R24R2m2OK \le \frac{2R^2}{\sqrt{4R^2 - m^2}}, where m=min{AC,BD}m = \min\{AC, BD\}.

2. Using Power of a Point:
- Since KK is the Miquel point, we use the power of a point theorem:
OEOK=R2 \overline{OE} \cdot \overline{OK} = R^2
- This implies:
OK=R2OE OK = \frac{R^2}{OE}

3. **Maximizing OEOE:**
- The maximum distance from OO to the diagonals ACAC or BDBD is given by:
OEmax(d(O,AC),d(O,BD)) OE \le \max(d(O, AC), d(O, BD))
- Since m=min{AC,BD}m = \min\{AC, BD\}, we have:
OE4R2m22 OE \le \frac{\sqrt{4R^2 - m^2}}{2}

4. Final Inequality:
- Substituting this into the expression for OKOK, we get:
OKR24R2m22=2R24R2m2 OK \le \frac{R^2}{\frac{\sqrt{4R^2 - m^2}}{2}} = \frac{2R^2}{\sqrt{4R^2 - m^2}}

5. Conclusion:
- Therefore, we have shown that:
OK2R24R2m2 OK \le \frac{2R^2}{\sqrt{4R^2 - m^2}}

The final answer is 2R24R2m2\frac{2R^2}{\sqrt{4R^2 - m^2}}

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.