如图,在三角形ABC中,角BAC=90度,BC的垂直平分线交于BC于点E,交CA的延长线于点D,交AB于点F.

问题描述:

如图,在三角形ABC中,角BAC=90度,BC的垂直平分线交于BC于点E,交CA的延长线于点D,交AB于点F.
求证:AE平方=EF×ED

用三角形相似来证明