Let be a convex hexagon all of whose sides are tangent to a circle with center . Suppose that the circumcircle of triangle is concentric with . Let be the foot of the perpendicular from to . Suppose that the perpendicular from to intersects the line at a point . Let be the foot of the perpendicular from to . Prove that .
, 2011
Solutions — 2
Solution 1
Since and the circumcircle of triangle are concentric, the tangents from , , and to have equal lengths; that means that , and . Moreover, we have .

Consider the rotation around point mapping to ; let and be the images of the points and , respectively, under this rotation. Then one has and ; moreover, the triangles and are congruent. Since , the lines and intersect at some point . We intend to prove that ; this would imply , therefore , which proves the problem statement.
Analogously, consider the rotation around mapping to ; let be the image of under this rotation. Then the triangles and are congruent. We have and , so the points and are symmetrical with respect to the angle bisector of . So, from we get .
From these two relations we obtain
Adding these equalities and taking into account that we obtain
which means exactly that .
Solution 2
Let us denote the points of tangency of , and to by , and , respectively. As in the previous solution, we mention that .
The reflection in the line maps to , therefore to and thus also to . Hence, both lines and are perpendicular to , therefore they are parallel. On the other hand, the lines and are not parallel, since otherwise the hexagon is symmetric with respect to the line and the lines defining the point coincide, which contradicts the conditions of the problem. Therefore we can consider the intersection point of and .

Next, we recall a well-known fact that the points are collinear. Actually, is the pole of the line is the pole of , and ; so all these points belong to the polar line of .
Now, we put into the origin, and identify each point (say ) with the vector . So, from now on all the products of points refer to the scalar products of the corresponding vectors.
Since and , we have . Next, the condition can be written as . Adding these two equalities we get
By symmetry, we have . Subtracting this from the previous equation, we obtain and rewrite it in vector form as
Finally, projecting the vectors and onto the lines and respectively, we can rewrite this equality in terms of segment lengths as , thus .