三角形ABC,点D,E,F分别是AB,BC,CA中点,BF,CD交O,用向量法求证点A,O,E共线