Cho tứ diện đều ABCD cạnh a. Gọi O là tâm đường tròn ngoại tiếp tam giác BCD. Chứng minh hai đường thẳng OA và CD vuông góc với nhau.