Cho tam giác ABC, trung điểm cạnh BC tại điểm I. Kẻ đường phân giác của góc cắt cạnh AB tại E. Đường phân giác góc
cắt cạnh AC tại F. Để tứ giác AEIF là hình vuông thì tam giác ABC là Tam giác vuông cân || Tam giác vuông || Tam giác cân || Tam giác đều
Cho tam giác ABC, trung điểm cạnh BC tại điểm I. Kẻ đường phân giác của góc
cắt cạnh AB tại E. Đường phân giác góc
cắt cạnh AC tại F. Để tứ giác AEIF là hình vuông thì tam giác ABC là Tam giác vuông cân || Tam giác vuông || Tam giác cân || Tam giác đều
Hình vẽ minh họa

Để tứ giác AEIF là hình vuông thì
Tương đương với tam giác ABC vuông tại A.
AEIF là hình vuông suy ra AI là phân giác góc BAC
Suy ra tam giác ABC có AI là trung tuyến cũng là phân giác do đó tam giác ABC cân tại A
Vậy tam giác ABC vuông cân tại A
Ngược lại khi tam giác ABC vuông cân tại A ta dễ dàng chứng minh được tam giác ABC và tam giác ACI vuông cân tại I, do đó đường phân giác IE và IF là các đường cao.
Suy ra
Tứ giác AEIF có
Suy ra AEIF là hình chữ nhật
Mà tam giác ABC vuông cân nên AI là phân giác góc BAC, hay AI là phân giác góc EAF
Suy ra AEIF là hình vuông.
Vậy để tứ giác AEIF là hình vuông thì tam giác ABC phải vuông cân tại A.


