Problem:
Let be a square and a point on side . The circle inscribed in triangle touches at , and the circle inside quadrilateral , tangent to sides , , , touches at . Prove that lines , , and meet in a point.
Problem:
Let be a square and a point on side . The circle inscribed in triangle touches at , and the circle inside quadrilateral , tangent to sides , , , touches at . Prove that lines , , and meet in a point.
Solution:
Extend lines and to intersect at . Then the circle inside quadrilateral , tangent to , , and , is really the inscribed circle of . (Actually, this is only true if the circle lies inside rather than outside it. However, the fact that is parallel to with readily implies that lies between and , and lies between and , so that the whole quadrilateral lies within , so the circle drawn inside it does too.)
Now let be the intersection point of lines and . Consider the homothety (scaling) about that sends point to point . Since homotheties preserve directions of lines, this map takes line to the line through and parallel to , namely line . Similarly, it takes line to line . And line passes through , the center of the homothety, so it goes to itself.
Thus, our homothety takes lines , , to lines , , , respectively, so it takes to . Consequently, the incircle of is mapped to the incircle of , and the map also matches corresponding tangency points: goes to . But if a homothety about takes to , then , , must be collinear. We now know that lies on lines , , and , which is what we need.