Дано:
- Из точки А проведены касательные AB и AC к окружности с центром O.
- B и C — точки касания.
Доказательство:
- Рассмотрим треугольники AOB и AOC.
- OB = OC (радиусы окружности).
- AO — общая гипотенуза для обоих треугольников.
- Так как AB и AC — касательные, то радиусы OB и OC перпендикулярны касательным в точках касания, следовательно, ∠ABO = ∠ACO = 90°.
- Треугольники AOB и AOC являются прямоугольными.
- По теореме Пифагора в прямоугольном треугольнике:
- В треугольнике AOB: AB2 + OB2 = AO2 => AB2 = AO2 - OB2
- В треугольнике AOC: AC2 + OC2 = AO2 => AC2 = AO2 - OC2
- Так как OB = OC (радиусы), то AO2 - OB2 = AO2 - OC2.
- Следовательно, AB2 = AC2, а значит AB = AC.
- Альтернативное доказательство (по признаку равенства прямоугольных треугольников):
- AO — общая гипотенуза.
- OB = OC — равные катеты.
- Следовательно, треугольник AOB равен треугольнику AOC по гипотенузе и катету.
- Из равенства треугольников следует равенство соответствующих сторон: AB = AC.
Что и требовалось доказать.