垂径定理;勾股定理;梯形中位线定理.
过O作弦CD的垂线,由垂径定理得到M为CD的中点,再由FC,OM,ED都与CD垂直,可得出三线平行,由平行线等分线段定理得到O为EF的中点,且四边形EFCD为直角梯形,OM为梯形EFCD的中位线,连接OC,在直角三角形OCM中,由CM与OC的长,利用勾股定理求出OM的长,利用梯形的中位线定理求出FC+ED的长,再由梯形的高为CD,利用梯形的面积公式即可求出四边形EFCD的面积.
此题考查了垂径定理,勾股定理,平行线的判定与性质,以及梯形的中位线定理,熟练掌握定理是解本题的关键.
计算题.