Problem

Source: 2018 China Southeast MO Grade 10 P6

Tags: geometry



In the isosceles triangle $ABC$ with $AB=AC$, the center of $\odot O$ is the midpoint of the side $BC$, and $AB,AC$ are tangent to the circle at points $E,F$ respectively. Point $G$ is on $\odot O$ with $\angle AGE = 90^{\circ}$. A tangent line of $\odot O$ passes through $G$, and meets $AC$ at $K$. Prove that line $BK$ bisects $EF$.