Дано: BC = AD и ∠BCA = ∠CAD.
Доказательство:
Из условия имеем BC = AD. (Дано)
Также, из условия ∠BCA = ∠CAD. (Дано)
Предположим, что ∠ABC ≠ ∠CDA.
Рассмотрим два случая:
а) Если ∠ABC > ∠CDA:
- Тогда угол BCA < угол CAD (так как BCA и CAD дополнительные углы по отношению к ABC и CDA соответственно).
- Но, согласно утверждению (2), угол BCA = углу CAD.
- Это противоречит предположению, что ∠ABC > ∠CDA. Следовательно, это предположение неверно.
б) Если ∠ABC < ∠CDA:
- Тогда угол CDA < угол BCA (аналогичные рассуждения, как в случае а)).
- Но, согласно утверждению (2), угол BCA = углу CAD.
- Это противоречит предположению, что ∠ABC < ∠CDA. Следовательно, и это предположение неверно.
Из пунктов 4а и 4б следует, что предположение ∠ABC ≠ ∠CDA является неверным.
Следовательно, ∠ABC = ∠CDA. (Доказано)
Таким образом, доказано, что ∠ABC = ∠CDA, используя данные BC = AD и ∠BCA = ∠CAD.
