In triangle $ABC$, $\angle C = 30^{\circ}$, $O$ and $I$ are the circumcenter and incenter respectively, Points $D \in AC$ and $E \in BC$, such that $AD = BE = AB$. Prove that $OI = DE$ and $OI \bot DE$.
Source: China TST 1988, problem 3
Tags: geometry, circumcircle, incenter, geometry solved
In triangle $ABC$, $\angle C = 30^{\circ}$, $O$ and $I$ are the circumcenter and incenter respectively, Points $D \in AC$ and $E \in BC$, such that $AD = BE = AB$. Prove that $OI = DE$ and $OI \bot DE$.