Выполните построение циркулем и линейкой: данный отрезок AB и точка C вне него, нужно построить треугольник ABC с углом A заданного размера α; обоснуйте корректность построения и укажите случаи, когда решение отсутствует или неединственно
Постановка задачи, как я её понимаю: точки AAA и BBB заданы (отрезок ABABAB на плоскости), задана точка CCC вне этого отрезка; требуется построить (циркулем и линейкой) треугольник ABCABCABC такой, чтобы угол при вершине AAA имел меру α\alphaα. (Иными словами нужно добиться ∠BAC=α\angle BAC=\alpha∠BAC=α.) Построение. 1. Скопировать угол α\alphaα в точку AAA. Стандартный способ (если угол α\alphaα задан как угол с вершиной OOO и лучами OPOPOP и OQOQOQ): - Проведите окружность радиуса rrr с центром OOO; она пересечёт стороны угла в точках P1P_1P1 и Q1Q_1Q1. - Измерьте циркулем расстояние ∣P1Q1∣|P_1Q_1|∣P1Q1∣. - Проведите окружность радиуса rrr с центром AAA; она пересечёт луч ABABAB в точке DDD. - От точки DDD отложите на этой окружности отрез длины ∣P1Q1∣|P_1Q_1|∣P1Q1∣ (центром циркуля в DDD и радиусом ∣P1Q1∣|P_1Q_1|∣P1Q1∣) — пересечение этой окружности с окружностью центра AAA даст точку EEE. - Проведите луч AEAEAE. Тогда ∠(AB,AE)=α\angle(AB,AE)=\alpha∠(AB,AE)=α. (Аналогично можно скопировать угол симметрично относительно ABABAB, получив второй возможный луч.) 2. Получите один или два луча из точки AAA (на двух сторонах прямой ABABAB) таких, что углы с ABABAB равны α\alphaα. Обозначим эти лучи r1r_1r1 и, при необходимости, r2r_2r2. 3. Проверка и окончание: - Если точка CCC лежит на одном из полученных лучей (то есть C∈r1C\in r_1C∈r1 или C∈r2C\in r_2C∈r2), то треугольник ABCABCABC уже удовлетворяет требованию ∠BAC=α\angle BAC=\alpha∠BAC=α и построение выполнено. - Если CCC не лежит ни на одном из лучей, то построить требуемый треугольник невозможно (при фиксированных точках AAA и BBB направление ACACAC, обеспечивающее угол α\alphaα, строго фиксировано и совпадает с одним из этих лучей). Обоснование корректности. - Копирование угла циркулем и линейкой даёт луч AEAEAE с требуемой мерой ∠(AB,AE)=α\angle(AB,AE)=\alpha∠(AB,AE)=α. Если CCC лежит на этом луче, то по определению ∠BAC=α\angle BAC=\alpha∠BAC=α. Обратного способа нет: луч из AAA с заданной мерой угла относительно ABABAB единственен на каждой стороне прямой ABABAB, значит других положений CCC при тех же фиксированных A,BA,BA,B не существует. Случаи отсутствия и множественности решений. - Решение отсутствует, если ни один из двух лучей (вправо или влево от ABABAB) не проходит через точку CCC. Тогда невозможно при фиксированных A,BA,BA,B получить ∠BAC=α\angle BAC=\alpha∠BAC=α. - Решение единственно в обычном случае: если CCC лежит на ровно одном из лучей, то треугольник ABCABCABC единственен. - Возможна формальная «многообразность» при вырожденных значениях: если α=0∘\alpha=0^\circα=0∘ или α=180∘\alpha=180^\circα=180∘ — треугольник вырожден (нет невырожденного треугольника). Если по какой‑то причине C=AC=AC=A, также треугольник вырожден. В остальных допустимых случаях максимум два направления угла (по обе стороны от ABABAB), но для фиксированной точки CCC как правило либо 0, либо 1 подходящее направление. Короткая итоговая формула условия существования: треугольник с требуемым углом при AAA существует тогда и только тогда, когда ∠BAC=α,
\angle BAC=\alpha, ∠BAC=α,
то есть когда точка CCC лежит на скопированном из α\alphaα луче из AAA.
Построение.
1. Скопировать угол α\alphaα в точку AAA. Стандартный способ (если угол α\alphaα задан как угол с вершиной OOO и лучами OPOPOP и OQOQOQ):
- Проведите окружность радиуса rrr с центром OOO; она пересечёт стороны угла в точках P1P_1P1 и Q1Q_1Q1 .
- Измерьте циркулем расстояние ∣P1Q1∣|P_1Q_1|∣P1 Q1 ∣.
- Проведите окружность радиуса rrr с центром AAA; она пересечёт луч ABABAB в точке DDD.
- От точки DDD отложите на этой окружности отрез длины ∣P1Q1∣|P_1Q_1|∣P1 Q1 ∣ (центром циркуля в DDD и радиусом ∣P1Q1∣|P_1Q_1|∣P1 Q1 ∣) — пересечение этой окружности с окружностью центра AAA даст точку EEE.
- Проведите луч AEAEAE. Тогда ∠(AB,AE)=α\angle(AB,AE)=\alpha∠(AB,AE)=α.
(Аналогично можно скопировать угол симметрично относительно ABABAB, получив второй возможный луч.)
2. Получите один или два луча из точки AAA (на двух сторонах прямой ABABAB) таких, что углы с ABABAB равны α\alphaα. Обозначим эти лучи r1r_1r1 и, при необходимости, r2r_2r2 .
3. Проверка и окончание:
- Если точка CCC лежит на одном из полученных лучей (то есть C∈r1C\in r_1C∈r1 или C∈r2C\in r_2C∈r2 ), то треугольник ABCABCABC уже удовлетворяет требованию ∠BAC=α\angle BAC=\alpha∠BAC=α и построение выполнено.
- Если CCC не лежит ни на одном из лучей, то построить требуемый треугольник невозможно (при фиксированных точках AAA и BBB направление ACACAC, обеспечивающее угол α\alphaα, строго фиксировано и совпадает с одним из этих лучей).
Обоснование корректности.
- Копирование угла циркулем и линейкой даёт луч AEAEAE с требуемой мерой ∠(AB,AE)=α\angle(AB,AE)=\alpha∠(AB,AE)=α. Если CCC лежит на этом луче, то по определению ∠BAC=α\angle BAC=\alpha∠BAC=α. Обратного способа нет: луч из AAA с заданной мерой угла относительно ABABAB единственен на каждой стороне прямой ABABAB, значит других положений CCC при тех же фиксированных A,BA,BA,B не существует.
Случаи отсутствия и множественности решений.
- Решение отсутствует, если ни один из двух лучей (вправо или влево от ABABAB) не проходит через точку CCC. Тогда невозможно при фиксированных A,BA,BA,B получить ∠BAC=α\angle BAC=\alpha∠BAC=α.
- Решение единственно в обычном случае: если CCC лежит на ровно одном из лучей, то треугольник ABCABCABC единственен.
- Возможна формальная «многообразность» при вырожденных значениях: если α=0∘\alpha=0^\circα=0∘ или α=180∘\alpha=180^\circα=180∘ — треугольник вырожден (нет невырожденного треугольника). Если по какой‑то причине C=AC=AC=A, также треугольник вырожден. В остальных допустимых случаях максимум два направления угла (по обе стороны от ABABAB), но для фиксированной точки CCC как правило либо 0, либо 1 подходящее направление.
Короткая итоговая формула условия существования: треугольник с требуемым углом при AAA существует тогда и только тогда, когда
∠BAC=α, \angle BAC=\alpha,
∠BAC=α, то есть когда точка CCC лежит на скопированном из α\alphaα луче из AAA.