Prove: With A as the inversion center and r (where r is any real number) as the inversion radius, the inversion of Figure 4 results in Figure 5.
Among them, ⊙T1 and ⊙T2 become two parallel lines T1′ and T2′, ⊙T becomes a circle ⊙T′ tangent to the two parallel lines, the tangent line MN inverts to a line parallel to the line Tt′, and point D′ is outside ⊙T′.
To prove that A is the incenter of △BCD, it is sufficient to show that the distances from point A to BC, CD, and BD are equal, and that A is inside △BCD, i.e., the circumradii of △AB′C′, △AB′D′, and △AC′D′ are equal.
By the Law of Sines, it is sufficient to prove that
∠AB′C′=∠AD′C′, ∠AC′B′=∠AD′B′.
Let M′N′ intersect B′C′ at point P. By the power of a point theorem, we have
(2AM+AN)2−AD2=AM⋅AN,
i.e., □
41(AM′⋅AN′AM′+AN′)2−(AD′1)2=AM′⋅AN′1.
Thus, (2AM′⋅AN′AM′−AN′)2=(AD′1)2.
Then AD′=AM′−AN′2AM′⋅AN′=APAM′⋅AN′.
Therefore, AD′⋅AP=AM′⋅AN′.
Hence, AP⋅D′P=AM′⋅AN′+AP2
=M′P⋅N′P=B′P⋅C′P.
Thus, PB′AP=PD′PC′, i.e.,
tan∠AB′C′=tan∠AD′C′.
Since ∠AB′C′ and ∠AD′C′∈(0,2π), then
∠AB′C′=∠AD′C′.
Similarly, ∠AC′B′=∠AD′B′.