Краткое пояснение: Для доказательства того, что прямая BC является касательной к окружности с центром A и радиусом AB, нужно показать, что угол ABC равен 90 градусов. Это можно сделать, применив теорему, обратную теореме Пифагора.
Доказательство:
- Проверим, выполняется ли равенство Пифагора для сторон треугольника ABC:
- AC2 = (2a)2 = 4a2
- AB2 + BC2 = a2 + (a√3)2 = a2 + 3a2 = 4a2
- Так как AC2 = AB2 + BC2, то по теореме, обратной теореме Пифагора, треугольник ABC является прямоугольным с прямым углом при вершине B.
- Это означает, что AB является перпендикуляром к BC.
- Поскольку AB — радиус окружности с центром в точке A, и этот радиус перпендикулярен прямой BC в точке B, то прямая BC является касательной к данной окружности.
Доказано.