Cho tam giác ABC cân tại A (A^< 90°), đường phân giác AD. Kẻ đường cao BE, gọi H là giao điểm của BE và AD.
a) Chứng minh CH ⊥ AB.
b) Gọi F là giao điểm của CH và AB. Chứng minh AD là trung trực của EF.
c) Kẻ EI ⊥HC, FJ ⊥ HB với I∈HC, J∈HB. Chứng minh các đường thẳng EI, FJ,AD cùng đi qua một điểm, kí hiệu điểm đó là O.
d) Chứng minh AC - AF > OF - OC.