1 三角形ECF相似于三角形AOB,由条件可知,角ABO和角EFC=90度
而EC不平行于AB,所以角ECF不等于角BAO
得角ECF=角BOA 三角形OEC为等腰三角形,EF垂直平分OC,所以F坐标为(2.5,0)