圆O是ABC外接圆 圆心o在三角形高AD上,EF分别为AB AC中点 求证四边形ABCD是菱形