In a cyclic hexagon , and . Let be the intersection of and and let be the intersection of and . Assume that and both lie on the side of where does not lie. Let be the midpoint of . Let and be the centers of the inscribed circles of and , respectively. Prove that .
Problem 1490
Official solution
It is useful for this task to analyze what happens when you slide points. You can, for example, slide line segment EF without affecting . Therefore, can move independently of . Apparently, always moves along a line through D that is perpendicular to KD. The angle is apparently independent of the position of line segment EF. Since we are dealing with a circle, this suggests that might be equal to a certain inscribed angle. Then would also be equal to an inscribed angle, and these two inscribed angles together would be . In this way, you can get ideas to ultimately arrive at the following proof.
The configuration is fixed by the given order of points through on the circle and by the given positions of points and on line . Therefore, we do not need to distinguish between different configurations. (The points and can be swapped on line , but this is not relevant.)
First, note that is the center of the circle, since , line is a diameter, and is the midpoint of . We will now prove that . We know that is a bisector, so . Furthermore, , since both lengths are equal to the radius of the circle. Since also , we find (SAS). Therefore, .
Since is also a bisector, . Thus, .
Analogously, we derive that , which implies that . Therefore, . Furthermore, note that (SSS), so . Now we can conclude that .