Cho AB < AC và điểm D thuộc cạnh AC sao cho AD=AB. Gọi E là hình chiếu của điểm D trên đường thẳng BC và F là hình chiếu của điểm A trên đường thẳng DE. So sánh và với
Kẻ AH vuông góc với BC có AFEH là hình chữ nhật
ABD vuông cân =>
Tứ giác ADEB nội tiếp =>
Do đó AHE vuông cân => AH = HE = AF
ABC vuông :
= > < <
Từ < => < < =
Từ < => > = =
Kết luận ≤ ≤