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

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