bc的垂直平分线分别交bc和ab于点de,点f在de的延长线上,且af=ce