We use the notation ∠CAB=2α,∠ABC=2β and ∠BCA=2γ. Note that α+β+γ=21(∠CAB+∠ABC+∠BCA)=21⋅180∘=90∘.
We first prove that K,A and E are collinear. Since K lies on the angle bisector of ∠ABC and the external angle bisector of ∠CAB, we find that ∠BKA=180∘−∠KAB−∠ABK=180∘−(90∘+α)−β=90∘−α−β=γ. On the other hand, we know that ∠BCK=90∘+γ>90∘ is obtuse. Since E is the circumcenter of △BKC, E must lie on the opposite side of BK from C, and by the central angle theorem, we know that ∠KEB=2⋅(180∘−∠BCK)=2⋅(90∘−γ)=180∘−2γ. Since E is the circumcenter of △BKC, we also know that △BEK is isosceles with vertex angle E. Thus, ∠BKE=21(180∘−∠KEB)=21⋅2γ=γ. We conclude that ∠BKA=γ=∠BKE, which implies that K,A and E are collinear.
Due to this collinearity, we find that ∠AEB=∠KEB=180∘−2γ=180∘−∠BCA, so ACBE is a cyclic quadrilateral. In particular, it follows that ∠AEC=∠ABC=∠ABD. Since also ∠CAE=90∘+α=∠KAB=∠DAB, we find by (AA) that △AEC∼△ABD.
The last two observations we need are that ∣EC∣=∣EK∣ because △CEK is also isosceles with vertex angle E, and that BK is a bisector of △ABD. Now it follows that
1−∣KE∣∣KA∣=∣KE∣∣KE∣−∣KA∣=∣KE∣∣AE∣=∣CE∣∣AE∣=∣DB∣∣AB∣=∣DK∣∣AK∣
where we have used, respectively: the difference of fractions, that K, A and E are collinear, that ∣EC∣=∣EK∣, that △AEC∼△ABD, and the angle bisector theorem on BK in △ABD. The desired result now follows easily by moving ∣KE∣∣KA∣ to the other side and dividing by ∣KA∣.