Дано: Квадрат ABEF и прямоугольный треугольник ABC, где CE и CF – биссектрисы углов ACB и ABC.
Требуется: Доказать, что XY = √(BY × AX), где XY – отрезок XZ
Доказательство:
1. Для начала заметим, что треугольники AXY и YBC подобны, так как у них углы XAY и YCB являются основными.
2. Поэтому отношение сторон этих треугольников равно:
AX/XY = XY/YB = YB/BC
3. Мы знаем, что AX = AB – BX и YB = BC – CY, поэтому можем записать равенства:
(AB – BX)/XY = XY/(BC – CY)
4. Перемножим оба равенства:
(AB – BX) * XY = XY * (BC – CY)
5. Поскольку AB = BY и BC = AX (из свойств биссектрис), получаем:
(BY – BX) * XY = XY * (AX – CY)
6. Разделим обе части равенства на XY:
BY – BX = AX – CY
7. Добавим CY к обеим частям:
BY = AX
8. Так как BY = AX, отсюда следует, что XY = √(BY × AX), что и требовалось доказать.
Таким образом, мы доказали, что XY = √(BY × AX).
