如图.设AF＝a﹙向量﹚AC＝a',  AE＝b,  AB＝b'   R是EF中点.

有：ab'＝a'b.aa'＝0.bb'＝0

AR＝﹙a+b﹚/2 BC＝b'-a'

AR•BC＝﹙a+b﹚•﹙b'-a'﹚＝-aa'+bb'＝0.  ∴AR⊥BC 即RA延长交BC于M,

⊿EPR≌⊿FQR﹙AAS﹚  ∴EP=FQ ,