Maths Olympiad Prep

Library / /514 of 520

Geometry Difficulty 8.3 Shortlist Prove it

In AEF\triangle AEF, let BB and DD be on segments AEAE and AFAF respectively, and let EDED and FBFB intersect at CC. Define K,L,M,NK,L,M,N on segments AB,BC,CD,DAAB,BC,CD,DA such that AKKB=ADBC\frac{AK}{KB}=\frac{AD}{BC} and its cyclic equivalents. Let the incircle of AEF\triangle AEF touch AE,AFAE,AF at S,TS,T respectively; let the incircle of CEF\triangle CEF touch CE,CFCE,CF at U,VU,V respectively.
Prove that K,L,M,NK,L,M,N concyclic implies S,T,U,VS,T,U,V concyclic.

Solution

1. **Claim 1: Let G G be the intersection of the angle bisector of DEA \angle DEA and AD AD , then LNEG LN \parallel EG .

Proof:**
- Consider the Miquel Point of ABCD ABCD . By the properties of the Miquel Point, we have:
BKKA=BCDA=PBPA \frac{BK}{KA} = \frac{BC}{DA} = \frac{PB}{PA}
Hence, PK PK is the angle bisector of BPA \angle BPA , and the cyclic variants hold by symmetry.
- Therefore, P P is also the center of spiral similarity sending MK MK to DA DA , hence P,E,M,K P, E, M, K are concyclic. Similarly, P,L,N,F P, L, N, F are concyclic.
- Now, we can chase the angles:
LNG=FPL=FPC+12CPL=EDA+12CEB=EGA \angle LNG = \angle FPL = \angle FPC + \frac{1}{2} \angle CPL = \angle EDA + \frac{1}{2} \angle CEB = \angle EGA
Thus, LNEG LN \parallel EG . \blacksquare

2. **Claim 2: K,L,M,N K, L, M, N concyclic implies ABCD ABCD is a circumscribed quadrilateral.

Proof:**
- We have:
MNL=DNLDNM=DGEDNM \angle MNL = \angle DNL - \angle DNM = \angle DGE - \angle DNM
and
MKL=BKMBKL=BHFBKL \angle MKL = \angle BKM - \angle BKL = \angle BHF - \angle BKL
Since they are equal:
BKLDNM=BHFDGE=12BFD+BAD12DEABAD=12(CDACBA)(1) \angle BKL - \angle DNM = \angle BHF - \angle DGE = \frac{1}{2} \angle BFD + \angle BAD - \frac{1}{2} \angle DEA - \angle BAD = \frac{1}{2} (\angle CDA - \angle CBA) \quad (1)
Rearranging gives:
DNM+12MDN=BKL+12LBK \angle DNM + \frac{1}{2} \angle MDN = \angle BKL + \frac{1}{2} \angle LBK
Let B1 B_1 be the intersection of the angle bisector of LBK \angle LBK and LK LK . Define D1 D_1 similarly. Then from (1) we have:
MD1D=BB1L \angle MD_1D = \angle BB_1L
On the other hand, we have:
BLBK=NAAK=DNDM=CMCL=k \frac{BL}{BK} = \frac{NA}{AK} = \frac{DN}{DM} = \frac{CM}{CL} = k
for some k k . Suppose on the contrary that k>1 k > 1 , then DN>DM DN > DM and BL>BK BL > BK , hence MD1D>90>BB1L \angle MD_1D > 90^\circ > \angle BB_1L , contradiction. Similarly, k<1 k < 1 is impossible. This implies k=1 k = 1 so DN=DM DN = DM , CM=CL CM = CL , NA=NK NA = NK , and BL=BK BL = BK so we are done. \blacksquare

3. **Claim 3: If ABCD ABCD is circumscribed then the incircle of CEF \triangle CEF and AEF \triangle AEF .

Proof:**
- This is just length chasing. It suffices to show:
AEAF=ECEF AE - AF = EC - EF
Indeed, AEAF=EB+BADADF=EB+BCCDDF AE - AF = EB + BA - DA - DF = EB + BC - CD - DF , hence it suffices to show:
EB+BCEC=CD+DFCF(2) EB + BC - EC = CD + DF - CF \quad (2)
Notice that L L is the touching point of the E E -excircle and BC BC , hence the left-hand side of (2) equals CL CL while the right-hand side of (2) equals CM CM . Obviously, they are equal so we are done. \blacksquare

4. Final Step:

- Now let Z Z be the intersection of UV UV and EF EF . Then (E,F;J,Z)=1 (E, F; J, Z) = -1 . Therefore, T,S,Z T, S, Z are collinear. As a result:
ZT×ZS=ZJ2=ZU×ZV ZT \times ZS = ZJ^2 = ZU \times ZV
hence S,T,U,V S, T, U, V are concyclic as desired. \blacksquare

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.