Дано, что ∆TGH является прямоугольным треугольником с прямым углом в точке H, и также дано, что точки M и O лежат на его сторонах TM и GH соответственно. Также известно, что TG=O.
Мы должны доказать, что TO=OG.
1. Рассмотрим треугольник TMO. Поскольку TM=MH, а TG=O, то из равенства треугольников TMO и HMO следует, что ∠TOM = ∠OHM.
2. Также, из того факта, что ∆TGH прямоугольный, следует, что ∠THG = 90°.
3. Рассмотрим треугольник OHG. Из факта, что ∆TGH прямоугольный, следует, что ∠HOG = ∠OHG = 90°.
4. Получается, что у нас есть две пары равных углов: ∠TOM = ∠OHM и ∠HOG = ∠OHG. Это говорит нам о том, что треугольники TMO и OHG подобны.
5. По определению подобия треугольников, соответствующие стороны треугольников TMO и OHG пропорциональны. Отсюда следует, что TO/OH = OM/OG.
6. Так как OM=OH и TO=TM, мы можем заменить OM на OH и TO на TM в уравнении из предыдущего шага. Получается, что TO/OH = TM/OG.
7. Поскольку TO/TM = 1, то получается, что 1/OH = 1/OG.
8. Обратное значение 1/OH равно OH, поэтому получаем, что OH = OG.
9. Наконец, OH=OG, что дает нам TO=OG.
Таким образом, мы доказали, что TO=OG, используя факты о прямоугольном треугольнике и подобии треугольников TMO и OHG.