Cho tam giác ABC, trực tâm H. Gọi O là giao điểm của ba đường trung trực. Chứng minh rằng khoảng cách từ O đến BC bằng nửa độ dài AH.