Cho tam giác ABC vẽ ra phía ngoài tam giác này các tam giác vuông cân tại A là ABE và ACF vẽ AH vuông góc với BC. Đường thẳng AH cắt EF tại O. Chứng minh O là trung điểm của EF