Для доказательства MN = BC объединим оба утверждения:
- Сторона AB является диаметром окружности, проходящей через точку N.
- Сторона AC является диаметром окружности, проходящей через точку M.
Из первого утверждения следует, что угол BNA прямой, так как теорема о центральном угле говорит, что угол, подпираемый хордой, равен половине собственного дуги.
Аналогично, из второго утверждения следует, что угол CMA прямой.
Таким образом, мы имеем прямоугольные треугольники BNA и CMA, где стороны BN и AM являются их гипотенузами, а стороны BC и MN — соответствующими катетами.
Из правила Пифагора для треугольника BNA получаем: BN² = BA² + AN²,
а для треугольника CMA: AM² = AC² + CM².
Заметим, что сторона BC является гипотенузой прямоугольного треугольника ABC, и, следовательно, BC² = BA² + AC².
Теперь, добавив эти уравнения, имеем: BN² + AM² = BC² + AN² + CM².
Учитывая, что угол BNA прямой и угол CMA прямой, получаем: BN² + AM² = BC² + AN² + CM² = AN² + CM² + BC².
Заметим, что BN = NC и AM = MB, так как они являются радиусами окружностей, вписанных в треугольник ABC.
Следовательно, уравнение приобретает вид: BN² + AM² = NC² + MB² + BC².
Поскольку BN = NC и AM = MB, получаем: 2BN² = 2MB²,
что влечет: BN = MB.
Из этого следует: BN² + AM² = MB² + MB² + BC²,
что равно: BN² + AM² = 2MB² + BC².
Так как BN = MB, имеем: 2BN² = 2BN² + BC²,
что означает: BC² = BN².
Таким образом, мы доказали, что MN = BC.
