Для начала, построим треугольник ABC и треугольник BCD:
C
|
|
a | b
|
|_____
B c A
Так как треугольник ABC прямоугольный, по теореме Пифагора, квадрат гипотенузы BC равен сумме квадратов катетов AB и AC: BC^2 = AB^2 + AC^2.
Треугольник BCD также прямоугольный, и две стороны равными, поэтому угол BCD является прямым (90 градусов).
Теперь докажем, что AD является биссектрисой угла BAC:
1. Рассмотрим треугольник ABD. По построению он равнобедренный, так как AB = AD. Также угол ABD = угол DAB (так как AB = AD), следовательно, треугольник ABD равнобедренный и углы BDA и BAD равны между собой.
2. Рассмотрим треугольник ACD. По построению он также равнобедренный, так как AC = AD. Также угол ACD = угол DAC (так как AC = AD), следовательно, треугольник ACD равнобедренный и углы CDA и CAD равны между собой.
3. Так как углы BDA и CDA равны, а углы BAD и CAD также равны, то углы BAC и DAC равны, так как они являются смежными с равными углами.
Таким образом, угол BAC делится AD на две равные части, и AD является биссектрисой угла BAC.