В задаче о геометрическом построении требуется через данные три точки построить окружность, касающуюся данной прямой. Приведите несколько стратегий построения и обсудите, при каких расположениях точек решение существует, уникально или не существует
Надо сразу оговориться: требование «окружность проходит через три заданные точки» само по себе притрёхнесопадающих,неколлинеарныхточкахпри трёх несопадающих, неколлинеарных точкахпритрёхнесопадающих,неколлинеарныхточках определяет окружность однозначно — это её описанная окружность. Требование «и при этом касаться данной прямой» накладывает дополнительное обычнонесовместимоеобычно несовместимоеобычнонесовместимое условие. Ниже приведу несколько подходов к построению икпроверкесуществованияи к проверке существованияикпроверкесуществования, а затем разберу все существенные частные расположения точек и вывожу условия существования/единственности.
Прямой самыйпростойсамый простойсамыйпростой способ — «построить и проверить» Постройте описанную окружность OABC ABC ABC для трёх точек A,B,C еслиточкиколлинеарны,описаннойокружностинет—решенийнетесли точки коллинеарны, описанной окружности нет — решений нетеслиточкиколлинеарны,описаннойокружностинет—решенийнет.Найдите центр O и радиус R.Постройте расстояние от центра до прямой l: d = distO,lO, lO,l.Если d = R, то окружность существует и единственна этотасамаяописаннаяокружность,онакасательнакlэто та самая описанная окружность, она касательна к lэтотасамаяописаннаяокружность,онакасательнакl. Если d ≠ R, то решения нет никакаядругаяокружностьчерезA,B,Cнесуществуетникакая другая окружность через A,B,C не существуетникакаядругаяокружностьчерезA,B,Cнесуществует.
Итого: для трёх различных и неколлинеарных точек либо ровно одно решение еслиописаннаяокружностьслучайнокасательнакlесли описанная окружность случайно касательна к lеслиописаннаяокружностьслучайнокасательнакl, либо никаких решений.
Локусный подход центркакпересечениеусловийцентр как пересечение условийцентркакпересечениеусловий
Центр искомой окружности O должен удовлетворять трём равенствам: OA = OB = OC = R и одновременно расстояние от O до прямой l равно R.Из первых двух равенств центр лежит на средней перпендикулярной к AB; из двух любых равенств — на пересечении средних перпендикулярных, то есть центр фиксируется однозначно принепараллельности/неколлинеарностипри непараллельности / неколлинеарностипринепараллельности/неколлинеарности. После нахождения этого пересечения остаётся проверка равенства distO,lO,lO,l=OA.Этот способ эквивалентен способу 1, но удобен для рассуждений о локусах: равенство distO,lO,lO,l=OA означает, что O лежит на параболе с фокусом в A и директрисой l; для двух точек A и B центр O должен одновременно лежать на перпендикулярной к AB и на параболе — пересечение даёт 0,1 или 2 решений этоужеситуация«черездветочкиикасательная»—см.нижеэто уже ситуация «через две точки и касательная» — см. нижеэтоужеситуация«черездветочкиикасательная»—см.ниже.
Координатный / алгебраический способ решениеуравненийрешение уравненийрешениеуравнений
Возьмём неизвестный центр h,kh,kh,k и радиус r. Для трёх точек xi,yixi, yixi,yi получаем три уравнения h−xih−xih−xi^2+k−yik−yik−yi^2 = r^2 i=1,2,3i=1,2,3i=1,2,3. Уравнение касания задаётся как |ah+bk+c|/√a2+b2a^2+b^2a2+b2 = r еслипрямаяl:ax+by+c=0если прямая l: ax+by+c=0еслипрямаяl:ax+by+c=0. Вычитаем пары уравнений, чтобы исключить r^2 — получим линейную систему для h,k; совместность этой системы с уравнением касания даёт условие существования. Это даёт явную проверку и в случае положительного результата — координаты центра и радиуса; если несовместно — решений нет. Этот метод удобен если нужны численные/аналитические критерии.
В задаче «окружность через две точки и касательная» удобен приём инверсии с центром в произвольной точке на прямой l: круги, касающиеся l в этой точке, под инверсией превращаются в прямые и наоборот; это позволяет свести проблему к построению прямой через два образа точек. Практически это даёт способ найти возможные точки касания и затем восстановить окружности. На чисто синтетическом уровне этот приём даёт второе семейство конструкций и объясняет число решений см.пунктпродветочкисм. пункт про две точкисм.пунктпродветочки.Отражение и гомотетия: при некоторых частных положениях например,когдаоднаизточеклежитнаlнапример, когда одна из точек лежит на lнапример,когдаоднаизточеклежитнаl простые отражения и перпендикуляры дают конструкцию центра.
Вариантная задача «через две точки и касательная к прямой» важныйродительскийслучайважный родительский случайважныйродительскийслучай
Потому что одно «через три точки» обычно либо да/нет, полезно разобрать ситуацию с двумя точками:
Условие для центра O: OA = OB = distO,lO,lO,l. Центр лежит на серединной перпендикулярной к AB и одновременно на параболе с фокусом в A илиBили BилиB и директрисой l. Пересечение прямой и параболы даёт в общем до двух точек -> до двух окружностей. Итого: для двух точек и прямой обычно 0,1 или 2 решений.Геометрически стандартный приём считающийся«построимым»вусловияхЕвклидовойгеометриисчитающийся «построимым» в условиях Евклидовой геометриисчитающийся«построимым»вусловияхЕвклидовойгеометрии: ищем точку T касания на прямой l. Условие: существует окружность, касающаяся l в T и проходящая через A,B. Тогда при инверсии с центром T илиприиспользованиисвойствакасательной:радиусвточкекасанияперпендикуляренlили при использовании свойства касательной: радиус в точке касания перпендикулярен lилиприиспользованиисвойствакасательной:радиусвточкекасанияперпендикуляренl можно свести задачу к построению прямой/окружности через преобразованные точки; это даёт конструкцию для T обычнобудетдвавозможныхвариантаT,следовательнодвеокружностиобычно будет два возможных варианта T, следовательно две окружностиобычнобудетдвавозможныхвариантаT,следовательнодвеокружности. Конкретная конструкция: центр O должен лежать на перпендикулярной к l в T и на серединной перпендикулярной к AB — пересечение даёт O, затем проверяем, что OA = distO,lO,lO,l. Задача сводится к нахождению T так, чтобы серединная перпендикулярная к AB пересекала перпендикуляр к l в расстоянии, равном OA; это даёт квадратичное уравнение => максимум два решения.
Особые частные случаи и итог по существованию/единственности
Три неколлинеарные точки A,B,C: описанная окружность существует и единственна; она будет касаться прямой l только в том редкомредкомредком случае, когда distOcirc,lO_circ, lOcirc,l = R_circ. В этом случае решение единственно; иначе решений нет.Три коллинеарные точки: нет окружности, проходящей через них кромевырожденногобесконечногорадиусакроме вырожденного бесконечного радиусакромевырожденногобесконечногорадиуса, значит решений нет.Если одна из точек лежит на l, скажем C ∈ l, и требуется, чтобы окружность через A,B,C касалась l: тогда касание должно происходить в C иначеокружностьпересекалабыlвдвухточкахиначе окружность пересекала бы l в двух точкахиначеокружностьпересекалабыlвдвухточках. Центр должен лежать на перпендикуляре к l в C и одновременно быть описанным центром треугольника ABC. Это даёт либо одно решение еслиописанныйцентрдействительнолежитнаэтойперпендикулярнойесли описанный центр действительно лежит на этой перпендикулярнойеслиописанныйцентрдействительнолежитнаэтойперпендикулярной, либо никаких. То есть наличие точки на l даёт жёсткое условие согласования.Если две разные заданные точки лежат на l, то никакая окружность может касаться l и одновременно проходить через эти две разные точки касательнаяпересекаетпрямуюровноводнуточкекасательная пересекает прямую ровно в одну точкекасательнаяпересекаетпрямуюровноводнуточке, значит решений нет единственныйчастныйслучай—еслиобеточкисовпадают—тогдаэтосводитсяк«черезоднуточкуикасательная»,см.нижеединственный частный случай — если обе точки совпадают — тогда это сводится к «через одну точку и касательная», см. нижеединственныйчастныйслучай—еслиобеточкисовпадают—тогдаэтосводитсяк«черезоднуточкуикасательная»,см.ниже.Если дана только задача «через одну точку и касательная», тогда бесконечно много окружностей любойцентрнаперпендикулярекlчерезэтуточкузадаётокружностьсрадиусомравнымрасстояниюдоэтойпрямойлюбой центр на перпендикуляре к l через эту точку задаёт окружность с радиусом равным расстоянию до этой прямойлюбойцентрнаперпендикулярекlчерезэтуточкузадаётокружностьсрадиусомравнымрасстояниюдоэтойпрямой, но если дополнительно фиксированы ещё условия вторая/третьяточкавторая/третья точкавторая/третьяточка число решений уменьшается.
Кратко о числах решений:
Через три заданные неплохо расположенные точки — либо 0, либо 1 решение обычно0,редко1обычно 0, редко 1обычно0,редко1.Через две заданные точки и касательная — 0, 1 или 2 решений обычномаксимум2обычно максимум 2обычномаксимум2.Через одну заданную точку и касательная — бесконечно много еслитолькоэтоусловиеесли только это условиееслитолькоэтоусловие, но при добавлении дополнительных ограничений число решений уменьшается.
Если вам дали ровно три точки: первым делом постройте описанную окружность; ответ либо она есликасательнаесли касательнаесликасательна, либо решения нет.Если вам дали менее трёх точек типичныйпрактическийвариант—дветочки+прямаятипичный практический вариант — две точки + прямаятипичныйпрактическийвариант—дветочки+прямая: используйте локусный метод перпендикулярнаякAB+параболаперпендикулярная к AB + параболаперпендикулярнаякAB+парабола или инверсию/геометрические приёмы, ожидайте до двух решений.Для специальных расположений точкинапрямой,совпаденияточки на прямой, совпаденияточкинапрямой,совпадения разберите отдельно — чаще всего это либо однозначно неразрешимо, либо сводится к простому пересечению перпендикулярных/серединных.
Если хотите, могу:
привести конкретную пошаговую построение компас+линейкакомпас+линейкакомпас+линейка для случая «две точки A,B и прямая l» включаяконструкциювсехдвухвозможныхокружностейвключая конструкцию всех двух возможных окружностейвключаяконструкциювсехдвухвозможныхокружностей, либоподробно выписать алгебраическое условие совместности для трёх точек в координатах и показать пример с числовыми данными.
Надо сразу оговориться: требование «окружность проходит через три заданные точки» само по себе притрёхнесопадающих,неколлинеарныхточкахпри трёх несопадающих, неколлинеарных точкахпритрёхнесопадающих,неколлинеарныхточках определяет окружность однозначно — это её описанная окружность. Требование «и при этом касаться данной прямой» накладывает дополнительное обычнонесовместимоеобычно несовместимоеобычнонесовместимое условие. Ниже приведу несколько подходов к построению икпроверкесуществованияи к проверке существованияикпроверкесуществования, а затем разберу все существенные частные расположения точек и вывожу условия существования/единственности.
Прямой самыйпростойсамый простойсамыйпростой способ — «построить и проверить»Постройте описанную окружность OABC ABC ABC для трёх точек A,B,C еслиточкиколлинеарны,описаннойокружностинет—решенийнетесли точки коллинеарны, описанной окружности нет — решений нетеслиточкиколлинеарны,описаннойокружностинет—решенийнет.Найдите центр O и радиус R.Постройте расстояние от центра до прямой l: d = distO,lO, lO,l.Если d = R, то окружность существует и единственна этотасамаяописаннаяокружность,онакасательнакlэто та самая описанная окружность, она касательна к lэтотасамаяописаннаяокружность,онакасательнакl. Если d ≠ R, то решения нет никакаядругаяокружностьчерезA,B,Cнесуществуетникакая другая окружность через A,B,C не существуетникакаядругаяокружностьчерезA,B,Cнесуществует.
Итого: для трёх различных и неколлинеарных точек либо ровно одно решение еслиописаннаяокружностьслучайнокасательнакlесли описанная окружность случайно касательна к lеслиописаннаяокружностьслучайнокасательнакl, либо никаких решений.
Локусный подход центркакпересечениеусловийцентр как пересечение условийцентркакпересечениеусловий
Центр искомой окружности O должен удовлетворять трём равенствам: OA = OB = OC = R и одновременно расстояние от O до прямой l равно R.Из первых двух равенств центр лежит на средней перпендикулярной к AB; из двух любых равенств — на пересечении средних перпендикулярных, то есть центр фиксируется однозначно принепараллельности/неколлинеарностипри непараллельности / неколлинеарностипринепараллельности/неколлинеарности. После нахождения этого пересечения остаётся проверка равенства distO,lO,lO,l=OA.Этот способ эквивалентен способу 1, но удобен для рассуждений о локусах: равенство distO,lO,lO,l=OA означает, что O лежит на параболе с фокусом в A и директрисой l; для двух точек A и B центр O должен одновременно лежать на перпендикулярной к AB и на параболе — пересечение даёт 0,1 или 2 решений этоужеситуация«черездветочкиикасательная»—см.нижеэто уже ситуация «через две точки и касательная» — см. нижеэтоужеситуация«черездветочкиикасательная»—см.ниже.Координатный / алгебраический способ решениеуравненийрешение уравненийрешениеуравнений
Возьмём неизвестный центр h,kh,kh,k и радиус r. Для трёх точек xi,yixi, yixi,yi получаем три уравнения h−xih−xih−xi^2+k−yik−yik−yi^2 = r^2 i=1,2,3i=1,2,3i=1,2,3. Уравнение касания задаётся как |ah+bk+c|/√a2+b2a^2+b^2a2+b2 = r еслипрямаяl:ax+by+c=0если прямая l: ax+by+c=0еслипрямаяl:ax+by+c=0. Вычитаем пары уравнений, чтобы исключить r^2 — получим линейную систему для h,k; совместность этой системы с уравнением касания даёт условие существования. Это даёт явную проверку и в случае положительного результата — координаты центра и радиуса; если несовместно — решений нет. Этот метод удобен если нужны численные/аналитические критерии.Инверсии / преобразования альтернативныегеометрическиеприёмыальтернативные геометрические приёмыальтернативныегеометрическиеприёмы
В задаче «окружность через две точки и касательная» удобен приём инверсии с центром в произвольной точке на прямой l: круги, касающиеся l в этой точке, под инверсией превращаются в прямые и наоборот; это позволяет свести проблему к построению прямой через два образа точек. Практически это даёт способ найти возможные точки касания и затем восстановить окружности. На чисто синтетическом уровне этот приём даёт второе семейство конструкций и объясняет число решений см.пунктпродветочкисм. пункт про две точкисм.пунктпродветочки.Отражение и гомотетия: при некоторых частных положениях например,когдаоднаизточеклежитнаlнапример, когда одна из точек лежит на lнапример,когдаоднаизточеклежитнаl простые отражения и перпендикуляры дают конструкцию центра.Вариантная задача «через две точки и касательная к прямой» важныйродительскийслучайважный родительский случайважныйродительскийслучай Потому что одно «через три точки» обычно либо да/нет, полезно разобрать ситуацию с двумя точками:
Условие для центра O: OA = OB = distO,lO,lO,l. Центр лежит на серединной перпендикулярной к AB и одновременно на параболе с фокусом в A илиBили BилиB и директрисой l. Пересечение прямой и параболы даёт в общем до двух точек -> до двух окружностей. Итого: для двух точек и прямой обычно 0,1 или 2 решений.Геометрически стандартный приём считающийся«построимым»вусловияхЕвклидовойгеометриисчитающийся «построимым» в условиях Евклидовой геометриисчитающийся«построимым»вусловияхЕвклидовойгеометрии: ищем точку T касания на прямой l. Условие: существует окружность, касающаяся l в T и проходящая через A,B. Тогда при инверсии с центром T илиприиспользованиисвойствакасательной:радиусвточкекасанияперпендикуляренlили при использовании свойства касательной: радиус в точке касания перпендикулярен lилиприиспользованиисвойствакасательной:радиусвточкекасанияперпендикуляренl можно свести задачу к построению прямой/окружности через преобразованные точки; это даёт конструкцию для T обычнобудетдвавозможныхвариантаT,следовательнодвеокружностиобычно будет два возможных варианта T, следовательно две окружностиобычнобудетдвавозможныхвариантаT,следовательнодвеокружности. Конкретная конструкция: центр O должен лежать на перпендикулярной к l в T и на серединной перпендикулярной к AB — пересечение даёт O, затем проверяем, что OA = distO,lO,lO,l. Задача сводится к нахождению T так, чтобы серединная перпендикулярная к AB пересекала перпендикуляр к l в расстоянии, равном OA; это даёт квадратичное уравнение => максимум два решения.Особые частные случаи и итог по существованию/единственности
Три неколлинеарные точки A,B,C: описанная окружность существует и единственна; она будет касаться прямой l только в том редкомредкомредком случае, когда distOcirc,lO_circ, lOc irc,l = R_circ. В этом случае решение единственно; иначе решений нет.Три коллинеарные точки: нет окружности, проходящей через них кромевырожденногобесконечногорадиусакроме вырожденного бесконечного радиусакромевырожденногобесконечногорадиуса, значит решений нет.Если одна из точек лежит на l, скажем C ∈ l, и требуется, чтобы окружность через A,B,C касалась l: тогда касание должно происходить в C иначеокружностьпересекалабыlвдвухточкахиначе окружность пересекала бы l в двух точкахиначеокружностьпересекалабыlвдвухточках. Центр должен лежать на перпендикуляре к l в C и одновременно быть описанным центром треугольника ABC. Это даёт либо одно решение еслиописанныйцентрдействительнолежитнаэтойперпендикулярнойесли описанный центр действительно лежит на этой перпендикулярнойеслиописанныйцентрдействительнолежитнаэтойперпендикулярной, либо никаких. То есть наличие точки на l даёт жёсткое условие согласования.Если две разные заданные точки лежат на l, то никакая окружность может касаться l и одновременно проходить через эти две разные точки касательнаяпересекаетпрямуюровноводнуточкекасательная пересекает прямую ровно в одну точкекасательнаяпересекаетпрямуюровноводнуточке, значит решений нет единственныйчастныйслучай—еслиобеточкисовпадают—тогдаэтосводитсяк«черезоднуточкуикасательная»,см.нижеединственный частный случай — если обе точки совпадают — тогда это сводится к «через одну точку и касательная», см. нижеединственныйчастныйслучай—еслиобеточкисовпадают—тогдаэтосводитсяк«черезоднуточкуикасательная»,см.ниже.Если дана только задача «через одну точку и касательная», тогда бесконечно много окружностей любойцентрнаперпендикулярекlчерезэтуточкузадаётокружностьсрадиусомравнымрасстояниюдоэтойпрямойлюбой центр на перпендикуляре к l через эту точку задаёт окружность с радиусом равным расстоянию до этой прямойлюбойцентрнаперпендикулярекlчерезэтуточкузадаётокружностьсрадиусомравнымрасстояниюдоэтойпрямой, но если дополнительно фиксированы ещё условия вторая/третьяточкавторая/третья точкавторая/третьяточка число решений уменьшается.Кратко о числах решений:
Через три заданные неплохо расположенные точки — либо 0, либо 1 решение обычно0,редко1обычно 0, редко 1обычно0,редко1.Через две заданные точки и касательная — 0, 1 или 2 решений обычномаксимум2обычно максимум 2обычномаксимум2.Через одну заданную точку и касательная — бесконечно много еслитолькоэтоусловиеесли только это условиееслитолькоэтоусловие, но при добавлении дополнительных ограничений число решений уменьшается.Резюме практическиерекомендациипрактические рекомендациипрактическиерекомендации
Если вам дали ровно три точки: первым делом постройте описанную окружность; ответ либо она есликасательнаесли касательнаесликасательна, либо решения нет.Если вам дали менее трёх точек типичныйпрактическийвариант—дветочки+прямаятипичный практический вариант — две точки + прямаятипичныйпрактическийвариант—дветочки+прямая: используйте локусный метод перпендикулярнаякAB+параболаперпендикулярная к AB + параболаперпендикулярнаякAB+парабола или инверсию/геометрические приёмы, ожидайте до двух решений.Для специальных расположений точкинапрямой,совпаденияточки на прямой, совпаденияточкинапрямой,совпадения разберите отдельно — чаще всего это либо однозначно неразрешимо, либо сводится к простому пересечению перпендикулярных/серединных.Если хотите, могу:
привести конкретную пошаговую построение компас+линейкакомпас+линейкакомпас+линейка для случая «две точки A,B и прямая l» включаяконструкциювсехдвухвозможныхокружностейвключая конструкцию всех двух возможных окружностейвключаяконструкциювсехдвухвозможныхокружностей, либоподробно выписать алгебраическое условие совместности для трёх точек в координатах и показать пример с числовыми данными.