Центр вписанной окружности лежит на биссектрисе угла. Биссектриса - геом. место точек, равноудаленных от сторон угла. Если окружность касается сторон угла, ее центр удален от сторон угла на радиус, следовательно лежит на биссектрисе угла.
Радиус, проведенный в точку касания, перпендикулярен касательной. Расстояние от точки до прямой измеряется длиной перпендикуляра.
Если требуется док-во через треугольники, то проводим радиусы в точки касания, образованные треугольники равны по общей гипотенузе и катетам, острые углы равны.
Радиус, проведенный в точку касания, перпендикулярен касательной. Расстояние от точки до прямой измеряется длиной перпендикуляра.
Если требуется док-во через треугольники, то проводим радиусы в точки касания, образованные треугольники равны по общей гипотенузе и катетам, острые углы равны.