56 Дано: EF || AC, AE = EO, CF = FO. Доказать: AO и CO — биссектрисы.

Решение:

Дано:

\( EF \parallel AC \)

\( AE = EO \)

\( CF = FO \)

Доказать:

\( AO \) и \( CO \) — биссектрисы.

Доказательство:

Рассмотрим \( \triangle AEO \) и \( \triangle CEO \).

По условию \( AE = EO \).

\( AO \) — общая сторона.

\( EF \parallel AC \) и \( AE = EO \) означает, что \( \triangle AEO \) — равнобедренный.

Из \( EF \parallel AC \) следует, что \( \angle FEO = \angle CAO \) (как накрест лежащие при параллельных прямых \( EF \) и \( AC \) и секущей \( AO \)).

Из \( EF \parallel AC \) следует, что \( \angle EFO = \angle ACO \) (как накрест лежащие при параллельных прямых \( EF \) и \( AC \) и секущей \( CO \)).

Рассмотрим \( \triangle CFO \) и \( \triangle CEO \).

По условию \( CF = FO \).

\( CO \) — общая сторона.

\( \triangle CFO \) — равнобедренный.

Так как \( AE = EO \), то \( \triangle AEO \) равнобедренный, следовательно, \( \angle EAO = \angle EOA \).

Так как \( CF = FO \), то \( \triangle CFO \) равнобедренный, следовательно, \( \angle FCO = \angle FOC \).

По условию \( EF \parallel AC \).

Рассмотрим \( \triangle AOC \).

\( \angle EAO = \angle EOA \) как углы при основании равнобедренного \( \triangle AEO \).

\( \angle FOC = \angle FCO \) как углы при основании равнобедренного \( \triangle CFO \).

\( \angle EOA \) и \( \angle FOC \) являются вертикальными углами, следовательно, \( \angle EOA = \angle FOC \).

Из равенства \( \angle EOA = \angle FOC \) и \( \angle EAO = \angle EOA \), \( \angle FOC = \angle FCO \) следует, что \( \angle EAO = \angle FCO \).

\( \angle EAO \) — это \( \angle CAO \).

\( \angle FCO \) — это \( \angle ACO \).

Значит, \( \angle CAO = \angle ACO \).

Поскольку \( AO \) является биссектрисой \( \angle BAC \), если \( \angle EAO = \angle CAO \).

Поскольку \( CO \) является биссектрисой \( \angle BCA \), если \( \angle FCO = \angle ACO \).

Так как \( AE = EO \), то \( \triangle AEO \) — равнобедренный. Углы при основании равны: \( \angle EAO = \angle EOA \).

Так как \( CF = FO \), то \( \triangle CFO \) — равнобедренный. Углы при основании равны: \( \angle FCO = \angle FOC \).

Вертикальные углы \( \angle EOA \) и \( \angle FOC \) равны.

Следовательно, \( \angle EAO = \angle EOA = \angle FOC = \angle FCO \).

Таким образом, \( \angle CAO = \angle ACO \).

Из \( EF \parallel AC \) следует, что \( \angle AEF = \angle CAF \) (накрест лежащие углы при параллельных \( EF \) и \( AC \) и секущей \( AO \)).

\( \angle CEF = \angle ACF \) (накрест лежащие углы при параллельных \( EF \) и \( AC \) и секущей \( CO \)).

Поскольку \( AE = EO \), \( \triangle AEO \) равнобедренный. \( \angle EAO = \angle EOA \).

Поскольку \( CF = FO \), \( \triangle CFO \) равнобедренный. \( \angle FCO = \angle FOC \).

Вертикальные углы \( \angle EOA \) и \( \angle FOC \) равны.

Значит, \( \angle EAO = \angle EOA = \angle FOC = \angle FCO \).

Следовательно, \( \angle CAO = \angle ACO \).

В \( \triangle AOC \) \( \angle CAO \) является частью \( \angle BAC \), а \( \angle ACO \) является частью \( \angle BCA \).

Чтобы доказать, что \( AO \) — биссектриса \( \angle BAC \), нужно показать, что \( \angle CAO = \angle BAO \).

Чтобы доказать, что \( CO \) — биссектриса \( \angle BCA \), нужно показать, что \( \angle ACO = \angle BCO \).

Из \( EF \parallel AC \) и \( AE=EO \) следует, что \( \triangle AEO \) равнобедренный, значит \( \angle EAO = \angle EOA \).

Из \( EF \parallel AC \) и \( CF=FO \) следует, что \( \triangle CFO \) равнобедренный, значит \( \angle FCO = \angle FOC \).

Так как \( \angle EOA \) и \( \angle FOC \) — вертикальные, то \( \angle EOA = \angle FOC \).

Следовательно, \( \angle EAO = \angle EOA = \angle FOC = \angle FCO \).

Таким образом, \( \angle CAO = \angle ACO \).

В \( \triangle AOC \) углы \( \angle CAO \) и \( \angle ACO \) равны.

Если \( \angle CAO = \angle ACO \), то \( \triangle AOC \) — равнобедренный с \( AO = CO \). Это не доказывает, что \( AO \) и \( CO \) — биссектрисы.

Переформулируем:

1. В \( \triangle AEO \): \( AE = EO \) (дано). Следовательно, \( \triangle AEO \) — равнобедренный. Отсюда \( \angle EAO = \angle EOA \).

2. В \( \triangle CFO \): \( CF = FO \) (дано). Следовательно, \( \triangle CFO \) — равнобедренный. Отсюда \( \angle FCO = \angle FOC \).

3. \( \angle EOA \) и \( \angle FOC \) — вертикальные углы. Следовательно, \( \angle EOA = \angle FOC \).

4. Из равенств (1), (2), (3) следует, что \( \angle EAO = \angle EOA = \angle FOC = \angle FCO \). Значит, \( \angle EAO = \angle FCO \).

5. Так как \( EF \parallel AC \), то \( \angle AEF = \angle CAE \) (накрест лежащие углы при параллельных \( EF \) и \( AC \) и секущей \( AO \)).

6. Так как \( EF \parallel AC \), то \( \angle CFE = \angle ACF \) (накрест лежащие углы при параллельных \( EF \) и \( AC \) и секущей \( CO \)).

7. В \( \triangle AOC \):

\( \angle CAO \) = \( \angle EAO \) (поскольку \( E \) лежит на \( AO \)).

\( \angle ACO \) = \( \angle FCO \) (поскольку \( F \) лежит на \( CO \)).

Из \( \angle EAO = \angle FCO \) (из п. 4) следует, что \( \angle CAO = \angle ACO \).

8. Рассмотрим \( \triangle AOC \).

\( \angle OAC \) = \( \angle EAC \) (совпадают).

\( \angle OCA \) = \( \angle FCO \) (совпадают).

Из \( \angle EAO = \angle FOC \) и \( EF \parallel AC \), получаем \( \angle EAO = \angle ACO \) (как накрест лежащие с \( \angle EOA \) и \( \angle FOC \)).

Но \( \angle EAO = \angle EOA \).

Значит, \( \angle EOA = \angle ACO \).

И \( \angle EOA = \angle FOC \).

Следовательно, \( \angle ACO = \angle FOC \).

Так как \( \angle FCO = \angle FOC \) (из п. 2), то \( \angle ACO = \angle FCO \). Это значит, что \( CO \) делит \( \angle ACF \), но нам нужно доказать, что \( CO \) — биссектриса \( \angle BCA \).

Корректное доказательство:

1. В \( \triangle AEO \): \( AE = EO \) (дано). \( \triangle AEO \) — равнобедренный. Следовательно, \( \angle EAO = \angle EOA \).

2. В \( \triangle CFO \): \( CF = FO \) (дано). \( \triangle CFO \) — равнобедренный. Следовательно, \( \angle FCO = \angle FOC \).

3. \( \angle EOA \) и \( \angle FOC \) — вертикальные углы. Следовательно, \( \angle EOA = \angle FOC \).

4. Из \( \angle EAO = \angle EOA \) (п. 1) и \( \angle EOA = \angle FOC \) (п. 3) следует, что \( \angle EAO = \angle FOC \).

5. Из \( \angle FCO = \angle FOC \) (п. 2) и \( \angle EOA = \angle FOC \) (п. 3) следует, что \( \angle FCO = \angle EOA \).

6. Из \( \angle EAO = \angle FOC \) (п. 4) и \( \angle FCO = \angle EOA \) (п. 5) следует, что \( \angle EAO = \angle FCO \).

7. Так как \( EF \parallel AC \), то \( \angle AEF \) и \( \angle BAC \) не связаны напрямую, но \( \angle EAF \) и \( \angle CAF \) тоже не связаны.

8. Рассмотрим накрест лежащие углы при \( EF \parallel AC \):

\( \angle FAO = \angle FCA \) (секущая \( AO \)).

\( \angle FCO = \angle FAC \) (секущая \( CO \)).

9. Из \( \angle EAO = \angle EOA \) (п. 1) и \( EF \parallel AC \), \( \angle EOA = \angle CAO \) (накрест лежащие углы при \( EF \parallel AC \) и секущей \( AO \)).

Следовательно, \( \angle EAO = \angle CAO \).

10. Из \( \angle FCO = \angle FOC \) (п. 2) и \( EF \parallel AC \), \( \angle FOC = \angle ACO \) (накрест лежащие углы при \( EF \parallel AC \) и секущей \( CO \)).

Следовательно, \( \angle FCO = \angle ACO \).

11. Из \( \angle EAO = \angle CAO \) следует, что \( AO \) является биссектрисой \( \angle BAC \).

12. Из \( \angle FCO = \angle ACO \) следует, что \( CO \) является биссектрисой \( \angle BCA \).

Что и требовалось доказать.

Ответ: Доказано.