Треугольник ABC с длинами сторон AB = 4 см, BC = 3 см, AC = 5 см является прямоугольным, так как удовлетворяет теореме Пифагора: (AB^2 + BC^2 = AC^2) (то есть (4^2 + 3^2 = 5^2), (16 + 9 = 25)).
Центр окружности находится в точке C, и радиус окружности равен BC, то есть 3 см. Чтобы доказать, что отрезок AB является касательной к окружности, проведенной из точки A к окружности с центром в точке C, необходимо показать, что AB перпендикулярен радиусу окружности в точке касания.
Если предположить, что AB касается окружности в точке D, то радиус CD окружности будет перпендикулярен касательной AB в точке D. Так как точка C является и вершиной прямоугольного треугольника ABC и центром окружности, то CD является как радиусом окружности, так и одной из сторон треугольника (CD = BC = 3 см).
Так как BC (или CD) перпендикулярно AB (по условию прямоугольного треугольника), и BC является радиусом окружности, то AB действительно является касательной к окружности, проведенной из точки A к окружности с центром в точке C. Таким образом, AB перпендикулярен радиусу окружности в точке касания, что и требовалось доказать.