В прямоугольном треугольнике один из углов равен (\alpha), а катет, прилежащий к данному углу, равен (a). Для того чтобы выразить биссектрису прямого угла через (a) и (\alpha), можно воспользоваться теоремой о биссектрисе в прямоугольном треугольнике.
Рассмотрим прямоугольный треугольник (ABC) с прямым углом в вершине (C). Пусть угол (A) равен (\alpha), а катет (AC), прилежащий к углу (\alpha), равен (a). Тогда катет (BC) будет противолежащим углу (\alpha).
Из тригонометрии знаем, что:
[ \tan(\alpha) = \frac{BC}{AC} ]
Так как (AC = a), то:
[ BC = a \cdot \tan(\alpha) ]
Теперь найдём гипотенузу (AB) треугольника (ABC) по теореме Пифагора:
[ AB = \sqrt{AC^2 + BC^2} = \sqrt{a^2 + (a \cdot \tan(\alpha))^2} = \sqrt{a^2 (1 + \tan^2(\alpha))} = a \sqrt{1 + \tan^2(\alpha)} ]
Используя основное тригонометрическое тождество, знаем, что:
[ 1 + \tan^2(\alpha) = \sec^2(\alpha) ]
Следовательно:
[ AB = a \sec(\alpha) ]
Теперь рассмотрим биссектрису угла (C) (прямого угла). В прямоугольном треугольнике биссектриса прямого угла делит его на два равных угла по (45^\circ).
Для нахождения длины биссектрисы прямого угла в прямоугольном треугольнике можно воспользоваться формулой:
[ l = \frac{2 \cdot a \cdot b}{a + b} \cdot \cos\left(\frac{\gamma}{2}\right) ]
Где (\gamma) — угол при вершине (C), который равен (90^\circ).
Так как (\cos\left(\frac{90^\circ}{2}\right) = \cos(45^\circ) = \frac{\sqrt{2}}{2}), длина биссектрисы прямого угла будет:
[ l = \frac{2 \cdot AC \cdot BC}{AC + BC} \cdot \frac{\sqrt{2}}{2} ]
Подставляем значения (AC = a) и (BC = a \cdot \tan(\alpha)):
[ l = \frac{2 \cdot a \cdot (a \cdot \tan(\alpha))}{a + a \cdot \tan(\alpha)} \cdot \frac{\sqrt{2}}{2} = \frac{2a^2 \tan(\alpha)}{a(1 + \tan(\alpha))} \cdot \frac{\sqrt{2}}{2} ]
Сокращаем (a):
[ l = \frac{2a \tan(\alpha)}{1 + \tan(\alpha)} \cdot \frac{\sqrt{2}}{2} = \frac{a \tan(\alpha) \sqrt{2}}{1 + \tan(\alpha)} ]
Таким образом, длина биссектрисы прямого угла в прямоугольном треугольнике выражается через (a) и (\alpha) следующим образом:
[ l = \frac{a \tan(\alpha) \sqrt{2}}{1 + \tan(\alpha)} ]