ABCD は円に内接するので ∠ECF=∠DCB=∠DAB=∠MAD\angle ECF=\angle DCB=\angle DAB=\angle MAD∠ECF=∠DCB=∠DAB=∠MAD。円 DEM の接弦定理から ∠CEF=∠EMD=∠AMD\angle CEF=\angle EMD=\angle AMD∠CEF=∠EMD=∠AMD。従って △CEF∼△AMD\triangle CEF\sim\triangle AMD△CEF∼△AMD であり、EFCE=MDAM\frac{EF}{CE}=\frac{MD}{AM}CEEF=AMMD。