Cho tứ giác `ABCD`. Dựng ra phía ngoài tứ giác các hình vuông `ABEF`, `BCGH`, `CDPQ`, `ADRS`. Gọi `O_1`, `O_2`, `O_3`, `O_4` là tâm các hình vuông trên. CMR: `O_1O3 = O_2O_4` và `O_1O_3⊥O_2O_4`.