应该求证AEDF为菱形
圆O是ABC外接圆,圆心o在三角形高AD上
则AD为∠A平分线
△ABC为等腰三角形,AB=AC,D为BC中点
得DF∥AB,DE∥AC
AEDF为平行四边形
DE=1/2AC
DF=1/2AB
AE=ED=DF=AF
AEDF为菱形
应该求证AEDF为菱形
圆O是ABC外接圆,圆心o在三角形高AD上
则AD为∠A平分线
△ABC为等腰三角形,AB=AC,D为BC中点
得DF∥AB,DE∥AC
AEDF为平行四边形
DE=1/2AC
DF=1/2AB
AE=ED=DF=AF
AEDF为菱形