Так как треугольник ADC прямоугольный, то CD является высотой этого треугольника.
Так как у нас есть два подобных треугольника BDC и ADB, то верно следующее соотношение:
BD/DC = BA/AD
BD AD = BA DC
Умножим обе части уравнения на BC:
BD AD BC = BA DC BC
По свойству прямоугольных треугольников AD BC = CD AB, так как они равны проекциям на гипотенузу и гипотенузу.
Подставляем это в предыдущее уравнение:
BD CD AB = BA DC BC
Из предыдущего уравнения следует, что BD CD = BC^2 и AB DC = BC * BA
BC^2 = BD * AB
Таким образом, доказана исходная формула: BC^2 = BD * BA.
Так как треугольник ADC прямоугольный, то CD является высотой этого треугольника.
Так как у нас есть два подобных треугольника BDC и ADB, то верно следующее соотношение:
BD/DC = BA/AD
BD AD = BA DC
Умножим обе части уравнения на BC:
BD AD BC = BA DC BC
По свойству прямоугольных треугольников AD BC = CD AB, так как они равны проекциям на гипотенузу и гипотенузу.
Подставляем это в предыдущее уравнение:
BD CD AB = BA DC BC
Из предыдущего уравнения следует, что BD CD = BC^2 и AB DC = BC * BA
Подставляем это в предыдущее уравнение:
BC^2 = BD * AB
Таким образом, доказана исходная формула: BC^2 = BD * BA.