Начертим острые углы произвольной величины и обозначим их α и β, соблюдая условие α < β .
Начертим окружность с центром О. От вершин О1 и О2 данных углов как из центра тем же радиусом отметим т. А и В на сторонах угла β, точки С и Т на сторонах угла α. Циркулем измерим дугу АВ и два раза отложим её на первой окружности. Угол СОВ=2β
По общепринятому проведем биссектрисы О1k угла β и О2m угла α. Дугу Вk, равную половине угла β, отложим от т.В на первой окружности (прибавим к уже построенному углу СОВ).
Отложим на той же окружности дугу Сm, равную половине угла α, от т.С в пределах угла СОА. Получившийся угол mОk равен требуемому по условию .2,5 β - 0,5 α (на рисунке он окрашен голубым цветом)
Итак, будем доказывать тот факт, что треугольники равны.
Пусть будет так, что A1B2C2- треугольник, равный треугольнику ABC, с вершиной B2 на луче A1B1 и вершиной C2 в той же полуплоскости как бы относительно прямой A1B1, где будет у нас находиться вершина C1.
Так как A1B2=A1B1, то вершина B2 совпадает с вершиной B1, это очевидно. Так как угол B1A1C2= углу B1A1C1 и тогда угол A1B1C2 = углу A1B1C1, то луч A1C2 будет совпадать с лучом A1C1, а луч B1C2 совпадает с лучом B1C1. Отсюда следует, что вершина C2 совпадает с вершиной C1...
Итак, треугольник A1B1C1 совпадает с треугольником A1B2C2, а как раз и значит,что он равен треугольнику ABC.
Теорема доказана.
Вот в прикреплённом файле есть мои чертежи по доказательству: