根据切线定理可知EG²=ED*EC
设EF与圆交于MN,(N点在AC弧上)
∠ECB=1/2(BM弧度数+MD弧度数)
∠EFD=1/2(AN弧度数+MD弧度数)
由于AB平行于EF,而MN又在EF上,所以MN平行于AB,AN的弧长=BM的弧长,同一圆中弧长相等的弧所对的圆周角相等.所以∠ECB=∠EFD
又∠CEF=FED
所以三角形CEF与三角形FED相似
EF/EC=ED/EF,EF²=ED*EC
所以EF=EG
根据切线定理可知EG²=ED*EC
设EF与圆交于MN,(N点在AC弧上)
∠ECB=1/2(BM弧度数+MD弧度数)
∠EFD=1/2(AN弧度数+MD弧度数)
由于AB平行于EF,而MN又在EF上,所以MN平行于AB,AN的弧长=BM的弧长,同一圆中弧长相等的弧所对的圆周角相等.所以∠ECB=∠EFD
又∠CEF=FED
所以三角形CEF与三角形FED相似
EF/EC=ED/EF,EF²=ED*EC
所以EF=EG