已知:三角形ABC内接于⊙O,过点A作直线EF,