Рассмотрим треугольники ∆ACD и ∆CBD.
Следовательно, ∆ACD ~ ∆CBD по двум углам.
Рассмотрим треугольники ∆ACD и ∆ABC.
Следовательно, ∆ACD ~ ∆ABC по двум углам.
Из этого следует, что ∆ACD ~ ∆CBD ~ ∆ABC.
Из подобия ∆ACD ~ ∆ABC следует:
\[\frac{AC}{AB} = \frac{AD}{AC}\]\[AC^2 = AB \cdot AD\]\[b^2 = b_c \cdot c\]Из подобия ∆CBD ~ ∆ABC следует:
\[\frac{BC}{AB} = \frac{BD}{BC}\]\[BC^2 = AB \cdot BD\]\[a^2 = a_c \cdot c\]Из подобия ∆ACD ~ ∆CBD следует:
\[\frac{CD}{BD} = \frac{AD}{CD}\]\[CD^2 = AD \cdot BD\]\[h_c^2 = a_c \cdot b_c\]