Let $ABC$ be an isosceles triangle ($AC = BC$) with $\angle C = 20^\circ$. The bisectors of angles $A$ and $B$ meet the opposite sides at points $A_1$ and $B_1$ respectively. Prove that the triangle $A_1OB_1$ (where $O$ is the circumcenter of $ABC$) is regular.
Problem
Source: Sharygin First Round 2013, Problem 2
Tags: geometry, circumcircle, geometry proposed