Diagram of circle O tangent PB is drawn as its secant PAC we wish to prove the secant/tangent length theorem PA times PC equals PB squared