12.9 Let O be the circumcenter of △ABC, and K be the center of another circle, the two circles being tangent at T. TE is the common tangent. Since AB, AC are tangent to ⊙K, and AB=AC, it can be deduced that O, K, T all lie on the angle bisector of ∠A. OK∩PQ=I, which is clearly the midpoint of PQ. OI⊥PQ, ∠BTP=∠ETP−∠ETB=∠BPT−∠BAT=∠PTA, and B, T, P, I are concyclic, ∠PBI=∠PTI=∠BTP=∠BIP, it is easy to see that PQ∥BC, so ∠PBI=∠BIP=∠IBC, that is, IB bisects ∠ABC, IA bisects ∠BAC, thus, I is the incenter.
For this problem, (1) the condition AB=AC is redundant (2) if “⊙K is internally tangent to ⊙O” is changed to “⊙K′ is externally tangent to ⊙O”, then the midpoint of segment PQ is the excenter of △ABC; (3) the internal common tangent of ⊙K and ⊙K′ is tangent to BC. Refer to Shan Huan's "Methods for Solving International Mathematical Competition Problems", where (3) is a discovery by Ye Zhonghao.