1. Окружность с центром А и радиусом АВ проходит через точку В.
2. Так как угол АВС прямой (90°), то сторона ВС перпендикулярна радиусу АВ в точке В.
3. По определению касательной, прямая, перпендикулярная радиусу окружности в точке его пересечения с окружностью, является касательной. Доказано.