Для начала заметим, что треугольник BDM подобен треугольнику O1DK по двум углам, так как у них соответственно равны углы в вершине D и прямые углы при M и K.
Так как треугольники BDM и O1DK подобны, то отношение их сторон равно отношению их высот к гипотенузе: BM/DO = DK/DO1.
Для начала заметим, что треугольник BDM подобен треугольнику O1DK по двум углам, так как у них соответственно равны углы в вершине D и прямые углы при M и K.
Так как треугольники BDM и O1DK подобны, то отношение их сторон равно отношению их высот к гипотенузе:
BM/DO = DK/DO1.
Таким образом, мы доказали, что BM/DO = DO1/DK.