свойство и признак касательной

Прямая, имеющая с только одну общую точку, называется касательной к графику.
Y=f(x0)+f'(x0)*(x-x0)-уравнение касательной в точке х0.

1
Касательная к окружности перпендикулярна к радиусу, проведенному в точку касания.
2
Отрезки касательных к окружности, проведенных из одной точки, равны и составляют равные углы с прямой, проходящей через эту точку и центр окружности.
3
Если из точки, лежащей вне окружности, проведены касательная и секущая, то квадрат длины касательной равен произведению секущей на ее внешнюю часть
4
Угол, образованный касательной к окружности и секущей, проведенной через точку касания, равен половине дуги, заключенной между его сторонами.

или что то другое нужно.