a, Xét `triangle ABD` vuông tại `A` và `triangle EBD` vuông tại `E` ta có:

`hat{ABD} = hat{EBD}` `(`tia phân `hat{ABC})`

`BD` là cạnh chung 

`=> triangle ABD = triangle EBD` `(`cạnh huyền `-` góc nhọn`)`

`=> DA = DE` `(`hai cạnh tương ứng`)`

b, Xét `triangle ADK` vuông tại `A` và `triangle EDC` vuông tại `E` ta có:

`AD = DE` `(`cmt`)`

`AK = EC` `(`gt`)`

`=> triangle ADK = triangle EDC` `(`cạnh góc vuông `-` cạnh góc vuông`)`

`=> hat{ADK} = hat{EDC}`

`=> K, D, E` thẳng hàng