Xét tam giác BKE có: KG và BA là các đường cao => ED cũng là đường cao => ED vuông góc với BK.
Vì tam giác ABC vuông cân, AD = AE => DE //BC và góc ABC = 45 độ
=> BC vuông gocsvowis BK (vì DE vuông góc BK, BC // DE)
=> góc CBK = 90 độ => góc ABK = góc CBA - góc CBA = 90 - 45= 45.
Tam giác BKC có BA vừa là đường cao, vừa là phân giác => BKC cân => AC = AK (đpcm)