Let $I$ be the incircle and $O$ a circumcenter of triangle $ABC$ such that $\angle ACB=30^{\circ}$. On sides $AC$ and $BC$ there are points $E$ and $D$, respectively, such that $EA=AB=BD$. Prove that $DE=IO$ and $DE \perp IO$
Problem
Source: Regional Olympiad - Federation of Bosnia and Herzegovina 2011
Tags: geometry, circumcircle