MathDB
A "cyclic" (maybe projective) problem

Source: Problem 2, Brazilian Olympic Revenge 2005

June 1, 2005
projective geometrygeometry solvedgeometry

Problem Statement

Let Γ\Gamma be a circumference, and A,B,C,DA,B,C,D points of Γ\Gamma (in this order). rr is the tangent to Γ\Gamma at point A. ss is the tangent to Γ\Gamma at point D. Let E=rBC,F=sBCE=r \cap BC,F=s \cap BC. Let X=rs,Y=AFDE,Z=ABCDX=r \cap s,Y=AF \cap DE,Z=AB \cap CD Show that the points X,Y,ZX,Y,Z are collinear. Note: assume the existence of all above points.