Свойства секущей и касательной проведенных из одной точки? в учебнике нет

Вот теорема: е сли из точки к окружности проведены касательная и секущая, то квадрат отрезка касательной от данной точки до точки касания равен произведению длин отрезков секущей от данной точки до точек её пересечения с окружностью.