a) Ta có:
Gọi O là tâm đường tròn ngoại tiếp tam giác đều ABC, cạnh a
=> bán kính đường tròn ngoại tiếp là:
Ta có:
Tương tự ta có:
Từ (1), (2) và (3) suy ra:
Tam giác
Suy ra
=>
Vậy
b)
Ta có:
Tương tự ta có:
Vì
⇒
⇒
Để
(với H là hình chiếu vuông góc của O trên d)