Cho $ABCD$ lồi với $AC=BD$. Gọi $O_1,O_2,O_3,O_4$ là tâm của các tam giác đều nằm ngoài $ABCD$ cạnh $AB,BC,CD,DA$. Chứng minh $O_1O_3 \perp O_2O_4$