这里有一道证明题不会,有分的.如图,已知矩形ABCD的边AB经过圆心O,点E,F分别是边AB,CD与圆O的交点,AE=3