Изобразите какой-нибудь прямоугольный треугольник гипотенузой которого является отрезок АВ, а вершина С находится в одном из узлов сетки

Катет, прилежащий к острому углу будет равен с*cosαпроведя из острого угла биссектрису - получим ещё один прямоугольный прямоугольник с тем же катетом. Гипотенузой его будет как раз биссектриса (обозначим её длину как х), а острым углом - угол α, поделённый биссектриссой пополам, т. е. угол α/2 Катет этого треугольника будет равенпроизведению длины гипотенузы (которая равна длине биссектрисы) на косинус α/2 длина катета в обоих треугольниках одинакова, значитс * cosα=х*c os (0,5α)