$AC < AB$ kabul edelim.
$A$ köşesine ait dış açıortay ile $BC$ doğrusu $N$ de kesişsin.
$BC$ çaplı çember, soruda verildiği gibi, $AN$ ye $T$ de teğet olsun. $MT=BM=MC$ ve $\angle MTN = 90^\circ$ olacaktır.
$AL$ açıortay olduğu için $BL=LC$ ve $LM \perp BC$ olacaktır.
Bu durumda $(KLM)$ çemberinin merkezi $KL$ nin orta noktasıdır. Bu nokta $O$ olsun.
$MKSL$ dikdörtgenini kuralım. $S$, $(KLM)$ çemberi üzerinde ve $M,O,S$ doğrusal olacaktır.
($MS = MC = BM$ olsaydı, $OS$ doğru parçası $(KLM)$ nin yarıçapı, $MS$ de $BC$ çaplı çemberin yarıçapı ve $M, O, S$ doğrusal olduğu için bu iki çember $S$ noktasında teğet olacaktı. Bizden istenen de bu. Yani $KL = MS = \dfrac {BC}2$ olduğunu göstermemiz gerekiyor.)
$AK$ iç açıortayı ile $AN$ dış açıortayı dik kesişeceği için $\angle KAN = 90^\circ$, dolayısıyla $AK \parallel TM$. Benzerliği yazarsak $$\dfrac {AK}{TM} = \dfrac {KN}{MN} \Longrightarrow AK = \dfrac {TM \cdot KN}{MN} = \dfrac {\dfrac {BC}2 \cdot KN}{MN} = \dfrac {BC\cdot KN}{2\cdot MN} \tag {1}$$
İç ve dış açırtay teoremlerinden $$\dfrac{AC}{AB} = \dfrac {CK}{KB} = \dfrac {CN}{NB} = \dfrac {CN}{CN + KB + CK} \Longrightarrow \dfrac {CK}{BK-KC} = \dfrac {CN}{BK+CK} $$ $$\Longrightarrow CN = \dfrac {CK(BK+CK)}{BK-KC} \tag {2}$$
$$KN = CN + CK = \dfrac {CK(BK+CK)}{BK-KC} + CK$$ $$ = CK\left ( \dfrac {BK+CK}{BK-CK} + 1 \right) = \dfrac {2\cdot BK \cdot CK}{BK-CK} \tag {3}$$
$$MN = CN + CM = \dfrac {CK(BK+CK)}{BK-KC} + \dfrac {BK+CK}{2} $$ $$= (BK+CK)\left ( \dfrac {CK}{BK-KC} + \dfrac 12 \right ) = (BK+CK)\left ( \dfrac {BK+CK}{2(BK-KC)} \right ) \tag {4}$$
$(3)$ ve $(4)$ ü oranlarsak $$\dfrac {KN}{MN} = \dfrac {4 \cdot BK\cdot CK}{BC^2} \tag {5}$$ elde ederiz. Bu değeri $(1)$ de yerine yazarsak $$AK = \dfrac {2\cdot BK \cdot CK}{BC} \Longrightarrow AK \cdot \dfrac {BC}2 = BK \cdot CK \tag {6}$$ bulunur. $K$ noktasının $(ABC)$ çemberine göre kuvvetinden $AK \cdot KL = BK \cdot CK$ olduğu için $KL = \dfrac {BC}{2}$ elde edilir.
$KL = MS = \dfrac {BC}2$ olduğu için hem $M$ merkezli çember, hem de $O$ merkezli çember $S$ den geçiyor demektir. $M, O, S$ noktaları da doğrusal olduğu için bu iki çember birbirlerine $S$ noktasında teğet olacaktır.