Chứng minh được tam giác ACD đều => AC = CD = AD
cũng từ đó suy ra được EAD = DCF = 60 độ
Do BE // CD => AED = CDF (đồng vị)
=> tam giác AED đồng dạng tam giác CDF (g.g)
=> AE/CD = AD/CF
=> AE/AC = AC/CF
mà EAC = ACF = 120 độ
=> tam giác EAC đồng dạng tam giác CAF (c.g.c)
=> ACF = AFC
hay ACM = AFC
=> tan giác ACM đồng dạng tam giác AFC (g.g)
=> AC/AM = AF/AC
=> AC^2 = AM.AF
=> AM.AF = AD^2
do đó AD là tiếp tuyến của đường tròn ngoại tiếp tam giác DMF
hay AD tiếp xúc với đường tròn ngoại tiếp tam giác DMF (đpcm)