Secant-Tangent Product Theorem
If a tangent segment and a secant segment are drawn to a circle from an exterior point, then the square of the measure of the tangent segment is equal to the product of the measures of the secant segment and its external secant segment.
In this diagram, note that BF*CF = DF*DF - regardless of where your move the points on the circle.