如图 圆o是三角形abc的外接圆,角b等于2角a,ef=fc求证cf是圆o的切线