Y by Adventure10
Circle
with radius
touches the line
in point
. Let
be a dimeter of circle and
an arbitrary point of circle distinct from points
and
. Let
be a foot of perpendicular from point
to line
. Let
be a point on extension of line
, over point
, such that
. Let tangents on circle from point
intersect line
in points
and
. Prove that length of
does not depend from 




















