1. Define the problem setup and key points:
- Let ABC be an acute, non-isosceles triangle with circumcircle (O).
- BE and CF are the altitudes of △ABC, intersecting at H.
- M is the midpoint of AH.
- K is the point on EF such that HK⊥EF.
- A line parallel to BC intersects the minor arcs AB and AC of (O) at P and Q, respectively.
2. Identify the tangents and radical axes:
- Let ℓF and ℓE be the radical axes of (ABC) with points F and E, respectively.
- PB∩ℓF=R is on the tangent to (BPF) at F.
- QC∩ℓE=S is on the tangent to (CQE) at E.
3. **Show that FR∩ES∈MK:**
- Identify other points on ℓF and ℓE:
- If the tangents to (BFEC) at F and E intersect BC at X and Y, then X∈ℓF and Y∈ℓE.
- If the perpendicular bisectors of BF and CE intersect the tangents to (ABC) at B and C at U and V, then U∈ℓF and V∈ℓE.
- By angle chasing, ∠AFE=∠ACB⟹U,V∈EF⟹U,F,K,E,V are collinear.
- X,F,M are collinear since XF⊥ the line through F and the midpoint of BC, and MF is also perpendicular to this line (M is the circumcenter of △AEF).
4. Use the Ratio Lemma:
- If R′=FR∩MK, then by the Ratio Lemma on △FMK and △FUX:
R′KMR′=FKFM⋅URXR÷UFXF
- Similarly, for S′=ES∩MK:
S′KMS′=EKEM⋅VSYS÷EVEY
5. Relate angles and apply the Ratio Lemma:
- Note that ∠UBR=∠VCS and ∠XBR=∠YCS.
- By the Ratio Lemma on △BXU and △CYV:
URXR÷VSYS=BUBX÷CVCY
- Substituting this in, we get:
FKFM⋅BUBX⋅XFUF=EKEM⋅CVCY⋅YEVE
6. Simplify using properties of the triangle:
- Since UB=UF, VC=VE, and FM=EM, this simplifies to:
FKEK=EYCY⋅BXFX
- By the Law of Sines on △CYE and △BXF, the RHS equals:
tan∠Btan∠C=dist(B,AH)dist(C,AH)=FKEK
- This confirms the desired result.
■