1. **Claim 1: Let G be the intersection of the angle bisector of ∠DEA and AD, then LN∥EG.
Proof:**
- Consider the Miquel Point of ABCD. By the properties of the Miquel Point, we have:
KABK=DABC=PAPB
Hence, PK is the angle bisector of ∠BPA, and the cyclic variants hold by symmetry.
- Therefore, P is also the center of spiral similarity sending MK to DA, hence P,E,M,K are concyclic. Similarly, P,L,N,F are concyclic.
- Now, we can chase the angles:
∠LNG=∠FPL=∠FPC+21∠CPL=∠EDA+21∠CEB=∠EGA
Thus, LN∥EG. ■
2. **Claim 2: K,L,M,N concyclic implies ABCD is a circumscribed quadrilateral.
Proof:**
- We have:
∠MNL=∠DNL−∠DNM=∠DGE−∠DNM
and
∠MKL=∠BKM−∠BKL=∠BHF−∠BKL
Since they are equal:
∠BKL−∠DNM=∠BHF−∠DGE=21∠BFD+∠BAD−21∠DEA−∠BAD=21(∠CDA−∠CBA)(1)
Rearranging gives:
∠DNM+21∠MDN=∠BKL+21∠LBK
Let B1 be the intersection of the angle bisector of ∠LBK and LK. Define D1 similarly. Then from (1) we have:
∠MD1D=∠BB1L
On the other hand, we have:
BKBL=AKNA=DMDN=CLCM=k
for some k. Suppose on the contrary that k>1, then DN>DM and BL>BK, hence ∠MD1D>90∘>∠BB1L, contradiction. Similarly, k<1 is impossible. This implies k=1 so DN=DM, CM=CL, NA=NK, and BL=BK so we are done. ■
3. **Claim 3: If ABCD is circumscribed then the incircle of △CEF and △AEF.
Proof:**
- This is just length chasing. It suffices to show:
AE−AF=EC−EF
Indeed, AE−AF=EB+BA−DA−DF=EB+BC−CD−DF, hence it suffices to show:
EB+BC−EC=CD+DF−CF(2)
Notice that L is the touching point of the E-excircle and BC, hence the left-hand side of (2) equals CL while the right-hand side of (2) equals CM. Obviously, they are equal so we are done. ■
4. Final Step:
- Now let Z be the intersection of UV and EF. Then (E,F;J,Z)=−1. Therefore, T,S,Z are collinear. As a result:
ZT×ZS=ZJ2=ZU×ZV
hence S,T,U,V are concyclic as desired. ■