MathNet 2010 — Part 04 Question 103

In right triangle $ABC$ with $\angle C=90^\circ$, the bisectors $AA_1,BB_1$ meet at $I$. If $O$ is the midpoint of $A_1B_1$, prove that $OI\perp AB$.