Problem

Source: Regional Olympiad - Federation of Bosnia and Herzegovina 2011

Tags: rotation, geometry, median



Triangle $AOB$ is rotated in plane around point $O$ for $90^{\circ}$ and it maps in triangle $A_1OB_1$ ($A$ maps to $A_1$, $B$ maps to $B_1$). Prove that median of triangle $OAB_1$ of side $AB_1$ is orthogonal to $A_1B$