如图,圆O是等腰三角形ABC的外接圆,

（1）证明：角DCE=角BAE
角AEB=角ACB=角ABC=角CED
AB=AC=CD
=>三角形ABE全等三角形CDE
证毕!
（2）显然AE=EC=6
ED=BE=9
显然,三角形AEF相似于三角形DEC =>AE/DE=EF/EC=>EF=AE/DE*EC=6/9*6=4