Cho tam giác ABCAB≤BC có các góc đều nhọn, đường phân giác AD. Các đường cao BE, CF cắt nhau ở H, đường phân giác AD. Vẽ tia Dx sao cho CDx^=BAC^ (tia Dx và A cùng phía đối với BC) tia Dx cắt AC ở K. Chứng minh: tam giác ABE đồng dạng với ACF.Từ đó suy ra: AE.AC = AF. AB.