Cho nửa đường tròn (O) đường kính AB. Trên AB lấy H. Qua H kẻ HC vuông góc AB. Gọi D, E là hình chiếu của H lên AC và BC. Gọi K là tâm đường tròn ngoại tiếp tứ giác ADEB. Chứng minh OK = 1/2 DE