Let α=∠CAI=∠IAB, β=∠ABI=∠IBC, γ=∠BCI=∠ICA. Then α+β+γ=90∘ and ∠CBD=∠CAD=α=∠DAB=∠DCB, yielding
∠KBD=∠IBD=α+β=90∘−γ,∠DCL=∠DCI=α+γ=90∘−β.
Depending on the location of the point K (Figures 50 and 51), we have either ∠DKB=∠DKI=∠DCI or ∠DKB=180∘−∠IKD=∠DCI; in each case ∠DKB=90∘−β. Analogously, we obtain ∠CLD=90∘−γ. Hence
∠BDK=180∘−(90∘−γ)−(90∘−β)=β+γ=90∘−α,∠LDC=180∘−(90∘−β)−(90∘−γ)=β+γ=90∘−α.
On the other hand, we have ∠BDC=180∘−2α=2(90∘−α), meaning that both DK and DL bisect the angle BDC. Consequently, points D,K and L lie on a line. As the bisector of the vertex angle of the isosceles triangle BCD is also the perpendicular bisector of the line segment BC, symmetry yields ∠DCK=∠KBD=90∘−γ and ∠LBD=∠DCL=90∘−β.
a. If the point K lies between points C and I then
∠DKI=∠DKB=90∘−β=∠LBD=∠LID.
Hence the line DI is tangent to the circumcircle of the triangle IKL (as points D,K,L lie on a line). If the point K lies between points I and D then
∠ILD=∠CLD=90∘−γ=∠DCK=∠DIK.
Analogously to the previous case, the line DI must be tangent to the circumcircle of the triangle IKL.
b. Since ∠DKB=90∘−β=∠LBD and points D,K,L lie on a line, the line DB is tangent to the circumcircle of the triangle BKL. On the other hand, we have ∠DAB=α=∠CBD=∠EBD, implying that DB is also tangent to the circumcircle of the triangle BEA. Using the power of the point D w.r.t. to these circles, we get DB2=DK⋅DL and DB2=DA⋅DE, respectively. Altogether, we obtain DA⋅DE=DK⋅DL. Hence points A,K,L,E are concyclic.