MathDB
fixed point and midpoint wanted

Source: Slovenia TST 1998 p5

February 15, 2020
midpointFixed pointgeometry

Problem Statement

On a line pp which does not meet a circle KK with center OO, point PP is taken such that OPpOP \perp p. Let XPX \ne P be an arbitrary point on pp. The tangents from XX to KK touch it at AA and BB. Denote by CC and DD the orthogonal projections of PP on AXAX and BXBX respectively. (a) Prove that the intersection point YY of ABAB and OPOP is independent of the location of XX. (b) Lines CDCD and OPOP meet at ZZ. Prove that ZZ is the midpoint of PP.