a) Using the properties of inscribed angles we get KM⊥BD, KN⊥AC, ∠ABD=∠ACD⇒∠AMK=∠ABD=∠ACD=∠KND. Thus ∠KMN=π−∠AMK−∠BMN=π−∠KND−∠MNC=∠KNM, hence □KMN is isosceles and KM=KN, which implies that KMLN is rhombus and ∠NKL=∠NLK (fig. 8). Since by analogy we have that ∠AMK=∠KND, ∠DKN=∠NLC, then ∠KLD=∠DKN+∠NKL=∠NLC+∠LNK=∠CLK, which proves part a).
b) Since KM=KN, then DB=2KM=2KN=AC and ∠ABC+∠DAB=π. We have DA⊥BC, or ∠ABC=∠DAB. But since ∠DAC=∠DBC, then ∠CAB=∠DAB−∠DAC=∠ABC−∠DBC=∠ABD=∠ACD, and AB⊥BC.