Cho tam giác nhọn ABC. Trên nửa mặt phẳng bờ AC không chứa điểm B, lấy điểm D sao cho DA = DC và góc ACD = 1/2 góc ABC, tứ giác ABCD là tứ giác nội tiếp. Trên đường tròn ngoại tiếp tứ giác ABCD, lấy E, F theo thứ tự là các điểm chính giữa của các cung bị chắn CB, BA bởi các góc CAB, BCA. Chứng minh rằng BD và EF là hai đường thẳng vuông góc