Cho tam giác ABC vuông tại A; đường phân giác BE. Kẻ EH vuông góc với BC (H thuộc BC). Gọi K là giao điểm của AB và HE

Xét ΔAEK vuông tại A và ΔHEC vuông tại H có:

      AE = EH (chứng minh trên)

      

⇒ ΔAEK = ΔHEC (cạnh góc vuông – góc nhọn kề)

⇒ EK = EC (hai cạnh tương ứng)