II. (40 points) As shown in Figure 2, in , it is known that is the angle bisector of . Take a point on the line segment such that passes through points and , and intersects and at points and , respectively. The extensions of and intersect the external angle bisector of at points and . Prove:
Problem 884
Official solution
As shown in Figure 4, draw , intersecting line at point and circle at point . Connect , intersecting circle at point .
Since and are the internal and external angle bisectors of , respectively, and , it follows that .
Thus, .
By the power of a point theorem, .
Therefore, .
Also, since and , we have .
Notice that,
From equations (1), (2), and (3), we know