Постройте инциркуль угла с радиусом, заданным числом r, и касающийся данной прямой вне вершины угла; обсудите случаи, когда построение однозначно и когда решений несколько, и приведите пошаговую конструкцию
Коротко: центр инциркуля (окружности радиуса rrr, касающейся обеих сторон угла) лежит на биссектрисе угла; расстояние от вершины до центра на внутренней биссектрисе равно x=rsinα\displaystyle x=\frac{r}{\sin\alpha}x=sinαr, где полуградус угла равен α\alphaα. Аналогично на внешней биссектрисе центр возможен на расстоянии x′=rcosα\displaystyle x'=\frac{r}{\cos\alpha}x′=cosαr. Требование касания данной прямой lll даёт уравнение dist(C,l)=r\operatorname{dist}(C,l)=rdist(C,l)=r. Поэтому решений не более двух (внутренний и/или внешний центры); может быть 0, 1 или 2 решений. Пояснение и пошаговая конструкция (все построения циркулем и линейкой): 1. Обозначения. Пусть вершина угла — OOO, стороны — лучи OAOAOA и OBOBOB, задана прямая lll (не проходящая через OOO), задано число (отрезок) rrr. 2. Построение биссектрисы(и): - Постройте внутреннюю биссектрису bbb угла AOBAOBAOB обычным способом циркулем. По желанию постройте и внешнюю биссектрису b′b'b′. 3. Построение возможных центров, эквивалентное построению точек, равноудалённых от обеих сторон на расстояние rrr: - Постройте две прямые, параллельные OAOAOA на расстоянии rrr (по обеим сторонам от OAOAOA при необходимости); аналогично две прямые, параллельные OBOBOB на расстоянии rrr. (Как строить параллельную на расстоянии rrr: выберите точку PPP на исходной прямой, через PPP проведите перпендикуляр, отложите на нём отрезок длины rrr в нужную сторону, через полученную точку проведите линию, параллельную исходной.) - Внутренний центр CinC_{\text{in}}Cin — это пересечение двух параллельных прямых, отложенных внутрь угла от OAOAOA и OBOBOB. (Это эквивалентно точке на внутренней биссектрисе, удовлетворяющей OCinsinα=r\,OC_{\text{in}}\sin\alpha=rOCinsinα=r, т.е. OCin=r/sinαOC_{\text{in}}=r/\sin\alphaOCin=r/sinα.) - Внешний центр CoutC_{\text{out}}Cout — пересечение соответствующих параллелей, отложенных наружу (даёт точку на внешней биссектрисе, где OCoutcosα=rOC_{\text{out}}\cos\alpha=rOCoutcosα=r, т.е. OCout=r/cosαOC_{\text{out}}=r/\cos\alphaOCout=r/cosα.) 4. Условие касания данной прямой lll: - Постройте две прямые, параллельные lll, на расстоянии rrr от неё (по обе стороны). - Точка центра CCC должна лежать на одной из этих параллелей. Поэтому из кандидатов CinC_{\text{in}}Cin и CoutC_{\text{out}}Cout оставьте те, которые лежат на хотя бы одной из параллелей к lll. Каждая совпадающая точка даёт решение (центр) — проводим окружность радиуса rrr с этим центром; она будет касаться обеих сторон угла и прямой lll. 5. Выводы о количестве решений: - Внутренний кандидат даёт решение тогда и только тогда, когда dist(Cin,l)=r\operatorname{dist}(C_{\text{in}},l)=rdist(Cin,l)=r (эквивалентно — когда CinC_{\text{in}}Cin лежит на одной из параллелей к lll). Это либо да (один внутренний круг), либо нет. - Аналогично для внешнего кандидата CoutC_{\text{out}}Cout. - Следовательно, в общем случае возможно 0 (ни один кандидат не лежит на параллели к lll), 1 (только один из Cin,CoutC_{\text{in}},C_{\text{out}}Cin,Cout лежит на параллели) или 2 решения (оба лежат). Число решений не превышает 2. Замечания: - Если требуется, чтобы окружность касалась именно лучей (а не продолжений сторон), то допустимо только внутреннее решение CinC_{\text{in}}Cin; тогда ответ — либо единственное решение (если dist(Cin,l)=r\operatorname{dist}(C_{\text{in}},l)=rdist(Cin,l)=r), либо его нет. - Формулы для расстояний от вершины до центров: внутренний OCin=rsinαOC_{\text{in}}=\dfrac{r}{\sin\alpha}OCin=sinαr, внешний OCout=rcosαOC_{\text{out}}=\dfrac{r}{\cos\alpha}OCout=cosαr, где весь угол равен 2α2\alpha2α. Это полная конструкция и разбор случаев.
Пояснение и пошаговая конструкция (все построения циркулем и линейкой):
1. Обозначения. Пусть вершина угла — OOO, стороны — лучи OAOAOA и OBOBOB, задана прямая lll (не проходящая через OOO), задано число (отрезок) rrr.
2. Построение биссектрисы(и):
- Постройте внутреннюю биссектрису bbb угла AOBAOBAOB обычным способом циркулем. По желанию постройте и внешнюю биссектрису b′b'b′.
3. Построение возможных центров, эквивалентное построению точек, равноудалённых от обеих сторон на расстояние rrr:
- Постройте две прямые, параллельные OAOAOA на расстоянии rrr (по обеим сторонам от OAOAOA при необходимости); аналогично две прямые, параллельные OBOBOB на расстоянии rrr.
(Как строить параллельную на расстоянии rrr: выберите точку PPP на исходной прямой, через PPP проведите перпендикуляр, отложите на нём отрезок длины rrr в нужную сторону, через полученную точку проведите линию, параллельную исходной.)
- Внутренний центр CinC_{\text{in}}Cin — это пересечение двух параллельных прямых, отложенных внутрь угла от OAOAOA и OBOBOB. (Это эквивалентно точке на внутренней биссектрисе, удовлетворяющей OCinsinα=r\,OC_{\text{in}}\sin\alpha=rOCin sinα=r, т.е. OCin=r/sinαOC_{\text{in}}=r/\sin\alphaOCin =r/sinα.)
- Внешний центр CoutC_{\text{out}}Cout — пересечение соответствующих параллелей, отложенных наружу (даёт точку на внешней биссектрисе, где OCoutcosα=rOC_{\text{out}}\cos\alpha=rOCout cosα=r, т.е. OCout=r/cosαOC_{\text{out}}=r/\cos\alphaOCout =r/cosα.)
4. Условие касания данной прямой lll:
- Постройте две прямые, параллельные lll, на расстоянии rrr от неё (по обе стороны).
- Точка центра CCC должна лежать на одной из этих параллелей. Поэтому из кандидатов CinC_{\text{in}}Cin и CoutC_{\text{out}}Cout оставьте те, которые лежат на хотя бы одной из параллелей к lll. Каждая совпадающая точка даёт решение (центр) — проводим окружность радиуса rrr с этим центром; она будет касаться обеих сторон угла и прямой lll.
5. Выводы о количестве решений:
- Внутренний кандидат даёт решение тогда и только тогда, когда dist(Cin,l)=r\operatorname{dist}(C_{\text{in}},l)=rdist(Cin ,l)=r (эквивалентно — когда CinC_{\text{in}}Cin лежит на одной из параллелей к lll). Это либо да (один внутренний круг), либо нет.
- Аналогично для внешнего кандидата CoutC_{\text{out}}Cout .
- Следовательно, в общем случае возможно 0 (ни один кандидат не лежит на параллели к lll), 1 (только один из Cin,CoutC_{\text{in}},C_{\text{out}}Cin ,Cout лежит на параллели) или 2 решения (оба лежат). Число решений не превышает 2.
Замечания:
- Если требуется, чтобы окружность касалась именно лучей (а не продолжений сторон), то допустимо только внутреннее решение CinC_{\text{in}}Cin ; тогда ответ — либо единственное решение (если dist(Cin,l)=r\operatorname{dist}(C_{\text{in}},l)=rdist(Cin ,l)=r), либо его нет.
- Формулы для расстояний от вершины до центров: внутренний OCin=rsinαOC_{\text{in}}=\dfrac{r}{\sin\alpha}OCin =sinαr , внешний OCout=rcosαOC_{\text{out}}=\dfrac{r}{\cos\alpha}OCout =cosαr , где весь угол равен 2α2\alpha2α.
Это полная конструкция и разбор случаев.