т.к. ∠BAC + ∠BOC = α + 180° - α = 180°, то около ABOC можно описать окружность, но это та же окружность, которая описана около треугольника АВС и на ней лежит точка О. Что и требовалось доказать
1) (в треугольнике против большей стороны лежит больший угол, обратно против большего угла лежит большая сторона— это по этой теореме)1: В прямоугольном треугольнике гипотенуза больше катета. 2: Если два угла треугольника равны, то треугольник равнобедренный (признак равнобедренного треугольника). 2) 1. Сумма двух острых углов прямоугольного треугольника равна 90 градусов. 2. Катет, лежащий против угла в 30 градусов равен половине гипотенузы. 3. Если катет прямоугольного треугольника равен половине гипотенузы, то угол, лежащий против этого катета равен 30 градусов.
∠ABC + ∠ACB = 180° - α
∠IBC + ∠ICB = (180° - α)/2 = 90° - α/2 (т.к. центр вписанной окружности лежит в точке пересечения биссектрис)
∠BIC = 180° - (∠IBC + ∠ICB) = 180° - 90° + α/2 = 90° + α/2
∠BKC = 180° - ∠BIC = 180° - 90° - α/2 = 90° - α/2 (сумма противоположных углов четырехугольника вписанного в окружность равна 180°)
∠BOC - центральный углу ∠BKC => ∠BOC = 2*∠BKC = 2*(90° - α/2) = 180° - α
т.к. ∠BAC + ∠BOC = α + 180° - α = 180°, то около ABOC можно описать окружность, но это та же окружность, которая описана около треугольника АВС и на ней лежит точка О. Что и требовалось доказать
ответ: доказано.