Hoặc
c) Chứng minh: Tam giác BEC đều.
Từ (b) ta có: AE = CK
⇒ BE = BA + AE = BK + CK = BC
Do đó, tam giác BCE cân tại B
Mà EBC^=ABC^=90°−ACB^=90°−30°=60°
Do đó, tam giác BCE đều