Решение:
Дано: \( \triangle ABC \), \( M \rightleftharpoons AB \), \( BM = CM \). \( MK \) — биссектриса \( \triangle AMC \).
Доказать: \( MK \text{ || } BC \).
- Рассмотрим \( \triangle BMC \). Так как \( BM = CM \) (по условию), то \( \triangle BMC \) — равнобедренный. Углы при основании равны: \( \triangle MBC = \triangle MCB \).
- \( MK \) — биссектриса \( \triangle AMC \) (по условию). Это значит, что \( \triangle AMK = \triangle CMK \) и \( \triangle AKM = \triangle CKM \) (по определению биссектрисы).
- Пусть \( \triangle AMK = \triangle CMK \). Тогда \( \triangle AMK = \triangle CMK \) по двум сторонам и углу между ними.
- По свойству биссектрисы равнобедренного треугольника, биссектриса, проведенная из вершины угла при вершине, также является медианой и высотой.
- \( \triangle AMC \) — равнобедренный, если \( AM = MC \).
- Если \( AM = MC \), то \( MK \) — биссектриса, медиана и высота.
- Если \( MK \) — высота, то \( MK \bot AC \).
- В \( \triangle BMC \): \( \triangle MBC = \triangle MCB \).
- \( \triangle B M C \) — равнобедренный, \( BM = CM \).
- \( MK \) — биссектриса \( \triangle AMC \). \( \triangle AMK = \triangle CMK \) (по первому признаку равенства треугольников, если \( AK=KC \)).
- Пусть \( \beta = \triangle MB C \) и \( \beta = \triangle MCB \) (равнобедренный \( \triangle BMC \)).
- Пусть \( \beta_1 = \triangle AMK \) и \( \beta_2 = \triangle CMK \) (биссектриса \( MK \)).
- \( \triangle AMC \) — произвольный.
- Рассмотрим \( \triangle AB C \). \( M \rightleftharpoons AB \). \( BM = CM \).
- \( MK \) — биссектриса \( \triangle AMC \), значит \( \frac{AM}{MC} = \frac{AK}{KC} \) (по теореме о биссектрисе).
- В \( \triangle BMC \) \( BM = CM \) ⇒ \( \triangle BMC \) — равнобедренный. \( \triangle MBC = \triangle MCB \).
- \( \triangle ABC \) — произвольный.
- Рассмотрим \( \triangle AMC \). \( MK \) — биссектриса.
- \( \triangle AM C \) — равнобедренный, если \( AM = MC \).
- Из \( BM = CM \) и \( AB=AM+MB \), \( AC = AK+KC \).
- Пусть \( \triangle AM K \) и \( \triangle CM K \). \( MK \) — биссектриса, \( \triangle AMK = \triangle CMK \) (по первому признаку равенства треугольников, если \( AK = KC \)).
- \( MK \) — биссектриса \( \triangle AMC \), значит \( \frac{AM}{MC} = \frac{AK}{KC} \).
- Так как \( BM = CM \), то \( AM = AB - BM = AB - CM \).
- \( AB - CM = MC \) ⇒ \( AB = 2CM \).
- \( AM = AB - BM \). \( MC = BM \).
- \( MK \) — биссектриса \( \triangle AMC \). \( \frac{AM}{MC} = \frac{AK}{KC} \).
- \( \frac{AB - BM}{BM} = \frac{AK}{KC} \).
- \( \frac{AB}{BM} - 1 = \frac{AK}{KC} \).
- Пусть \( \triangle AMC \) — равнобедренный, \( AM = MC \). Тогда \( MK \) — медиана.
- Если \( AM = MC \), то \( \triangle AMC \) равнобедренный. \( MK \) — биссектриса \( \triangle AMC \) ⇒ \( MK \) — медиана. \( AK = KC \).
- \( BM = CM = AM \). \( AB = AM + BM = 2AM \).
- \( MK \text{ || } BC \) ?
- \( \triangle ABC \). \( M \rightleftharpoons AB \). \( BM = CM \). \( MK \) — биссектриса \( \triangle AMC \).
- \( \triangle BMC \) — равнобедренный. \( \triangle MBC = \triangle MCB \).
- \( \triangle AMC \). \( MK \) — биссектриса. \( \frac{AM}{MC} = \frac{AK}{KC} \).
- Так как \( BM = CM \), то \( MC = BM \). \( \frac{AM}{BM} = \frac{AK}{KC} \).
- \( AM = AB - BM \). \( \frac{AB - BM}{BM} = \frac{AK}{KC} \).
- \( \frac{AB}{BM} - 1 = \frac{AK}{KC} \).
- Чтобы \( MK \text{ || } BC \), нужно, чтобы \( \frac{AM}{AB} = \frac{AK}{AC} \) (по теореме Фалеса).
- Или \( \frac{AM}{MB} = \frac{AK}{KC} \) (по теореме о пропорциональных отрезках).
- У нас есть \( \frac{AM}{MC} = \frac{AK}{KC} \) и \( MC = BM \).
- Подставляем \( MC = BM \) в первое равенство: \( \frac{AM}{BM} = \frac{AK}{KC} \).
- Это и есть условие пропорциональных отрезков, которое означает, что \( MK \text{ || } BC \).
Доказано.