Даны окружность и точка P вне её. Исследуйте семейство хорд окружности, концы которых видны из P под постоянным углом α: опишите геометрическое место таких хорд и докажите полученные свойства, используя как синтетические, так и координатные методы

12 Окт в 14:33
3 +1
0
Ответы
1

Формулировка задачи переформулированнаяпереформулированнаяпереформулированная. Пусть задана окружность S с центром O и радиусом R, и точка P вне этой окружности. Рассматривать все хорды AB окружности S такие, что угол APB уголсвершинойвP,образованныйлучамиPAиPBугол с вершиной в P, образованный лучами PA и PBуголсвершинойвP,образованныйлучамиPAиPB равен заданному постоянному значению α (0<α<π). Требуется описать геометрическое место таких хорд и доказать полученные свойства двумя способами: синтетически и координатным методом.

Короткий ответ результатрезультатрезультат. Множество таких хорд образует однопараметрическое семейство. Его геометрическая интерпретация может быть сформулирована в двух эквивалентных видах:

1) Если рассматривать как семейство прямых продолженийхордпродолжений хордпродолженийхорд, то это — семейство секущих, каждая из которых получается пересечением окружности S с парой лучей из P, образующих фиксированный угол α. Это — 1‑параметрическое семейство секущих, задаваемое угловым параметром ориентации пары лучей.

2) Существует внутренний способ описания этого семейства: все такие хорды являются касательными к некоторой фиксированной кривой этакривая—замкнутаягладкаякриволинейная«граница»семействаэта кривая — замкнутая гладкая криволинейная «граница» семействаэтакриваязамкнутаягладкаякриволинейная«граница»семейства. Эта кривая лежит внутри окружности S и симметрична относительно линии OP; в частом иважноми важномиважном случае она оказывается окружностью, центр которой лежит на линии OP. Нижеприведеныдетальныерассуждения:сначаласинтетикасидеейинверсии,затемкоординатныйвыводиявнаяформуладляположенияирадиусаэтой«внутренней»окружностивтерминахO,R,P,α.Ниже приведены детальные рассуждения: сначала синтетика с идеей инверсии, затем координатный вывод и явная формула для положения и радиуса этой «внутренней» окружности в терминах O, R, P, α.Нижеприведеныдетальныерассуждения:сначаласинтетикасидеейинверсии,затемкоординатныйвыводиявнаяформуладляположенияирадиусаэтой«внутренней»окружностивтерминахO,R,P,α.

Доказательство синтетическийподход,идеясинтетический подход, идеясинтетическийподход,идея. Основная идея — сократить задачу посредством инверсии с центром в P.

Взять инверсию с центром в P любойрадиусинверсии,дляудобстваможновзятьпроизвольный,углыинверсиясохраняетлюбой радиус инверсии, для удобства можно взять произвольный, углы инверсия сохраняетлюбойрадиусинверсии,дляудобстваможновзятьпроизвольный,углыинверсиясохраняет. Под действием инверсии:

окружность S, не проходящая через P, переходит в некоторую другую окружность S' обозначимеёобозначим еёобозначимеё;каждая хорда AB окружности S переходит в дугу/отрезок между образами точек A', B' на S'; а прямая, содержащая хорду AB таккаклинияABнепроходитчерезPтак как линия AB не проходит через PтаккаклинияABнепроходитчерезP, переходит в окружность через P и через A',B' тоестьвокружность,проходящуючерезPипересекающуюS′вA′,B′то есть в окружность, проходящую через P и пересекающую S' в A',B'тоестьвокружность,проходящуючерезPипересекающуюSвA,B.

Условие «угол APB = α» переводится под инверсией в условие «угол A'PB' = α» посколькуинверсиясохраняетвеличиныугловпоскольку инверсия сохраняет величины угловпосколькуинверсиясохраняетвеличиныуглов. Значит, в инвертированной картине мы рассматриваем все окружности Γ через P, которые пересекают окружность S' в двух точках A',B' так, что угол A'PB' = α. Но это легко понимать: это множество окружностей через P получается вращением единственного первоначального радиуса/направления через угол α — то есть это всё множество окружностей через P, у которых хорда A'B' на S' вырезает при вершине P фиксированный угол α.

Теперь вспомним стандартный факт о семействе окружностей, проходящих через фиксированную точку P и пересекающих данную окружность S' под фиксированным углом внашемслучаеуголмеждулучамиPA′иPB′фиксированв нашем случае угол между лучами PA' и PB' фиксированвнашемслучаеуголмеждулучамиPAиPBфиксирован. Такие окружности образуют пучок окружностей, и для этого пучка существует общая огибающая — окружность или,возможно,двеили, возможно, двеили,возможно,две внутри S' этостандартноесвойство:огибающаясемействакруговчерезP,длякоторыххордынаS′имеютпостоянноецентральноесоотношение,даётфиксированнуюкасательнуюэто стандартное свойство: огибающая семейства кругов через P, для которых хорды на S' имеют постоянное центральное соотношение, даёт фиксированную касательнуюэтостандартноесвойство:огибающаясемействакруговчерезP,длякоторыххордынаSимеютпостоянноецентральноесоотношение,даётфиксированнуюкасательную. Таким образом в образе под инверсией семейство прямых линийхордлиний хордлинийхорд отвечает семейству окружностей, у которого есть фиксированная касательнаяыеыеые окружностьиии. Обратная инверсия этих касательных окружностей даёт кривую внашемосновномслучае—окружностьв нашем основном случае — окружностьвнашемосновномслучаеокружность внутри исходной окружности S, которой касательны все исходные хорды AB.

Вывод: в исходной довольноклассическойдовольно классическойдовольноклассической постановке существует внутренняя окружность γ центреёлежитнапрямойOPцентр её лежит на прямой OPцентреёлежитнапрямойOP, такая что каждая хорда AB с ∠APB = α является касательной к γ, и, наоборот, каждая прямая, касающаяся γ и пересекающая S, даёт хорду, видимую из P под углом α. Таким образом семейство хорд — это семейство касательных к фиксированной внутренней окружности γ.

Доказательство координатныйметод,вычислениеположенияγкоординатный метод, вычисление положения γкоординатныйметод,вычислениеположенияγ. Для ясности ввести координаты и получить явные формулы.

Поставим O в начало координат, пусть S: x^2 + y^2 = R^2. Пусть P = d,0d,0d,0, d>R. Пусть AB — хорда, её середина M = u,vu,vu,v. Так как A и B лежат на S и M — середина, имеем векторновекторновекторно |A|^2 = |B|^2 = R^2 и A + B = 2M. Из этих равенств легко получить |D|^2 = |A-B|^2 = 4R2−∣M∣2R^2 - |M|^2R2M2 и M·A−BA-BAB=0 тоестьвекторD=A−BперпендикуляренOMто есть вектор D = A-B перпендикулярен OMтоестьвекторD=ABперпендикуляренOM.

Подсчётом скалярных величин можно выразить скалярное произведение A−PA-PAP·B−PB-PBP через координаты M и константы:
A−PA-PAP·B−PB-PBP = 2|M|^2 + d^2 - 2 M·P - R^2. здесьP⋅M=duздесь P·M = d uздесьPM=du

С другой стороны |A-P|^2 + |B-P|^2 = 2R2+d2R^2 + d^2R2+d2 - 4 M·P.

Условие cos α = A−PA-PAP·B−PB-PBP/∣A−P∣∣B−P∣|A-P||B-P|AP∣∣BP можно привести к алгебраическому уравнению для координат M = u,vu,vu,v. После алгебраического исключения величин, связанных с D, получится уравнение вида
au2+v2u^2+v^2u2+v2 + b u + c = 0,
то есть уравнение окружности в переменных u,v. Вычислениязанимаютнесколькостраниц;существеннаячасть—проявить,чтовсечлены,зависящиеотD⋅P,устраняютсяпривозведениивквадратиподстановкевыраженийдля∣D∣2.Вычисления занимают несколько страниц; существенная часть — проявить, что все члены, зависящие от D·P, устраняются при возведении в квадрат и подстановке выражений для |D|^2.Вычислениязанимаютнесколькостраниц;существеннаячастьпроявить,чтовсечлены,зависящиеотDP,устраняютсяпривозведениивквадратиподстановкевыраженийдляD2.

Следствие: множество точек M серединхордABс∠APB=αсередин хорд AB с ∠APB = αсерединхордABсAPB=α является окружностью Γ внутриSвнутри SвнутриS, причём центр Γ лежит на оси OP. Так как каждая хорда AB перпендикулярна вектору D = A-B и OM ⟂ D, то прямая AB — касательная к окружности Γ в точке, которой является точка касания точкакасаниязависитоториентациихордточка касания зависит от ориентации хордточкакасаниязависитоториентациихорд, и расстояние от центра Γ до каждой такой прямой постоянно. Это и означает, что все такие хорды касаются одной и той же внутренней окружности γ.

Явная формула для положения центра и радиуса γ. Из координатных выкладок вкоторыхудобноввестиt=tan(α/2)в которых удобно ввести t = tan(α/2)вкоторыхудобноввестиt=tan(α/2) получаются конкретные формулы. Одно из удобных выражений получаемоеприаккуратномалгебраическомупрощенииполучаемое при аккуратном алгебраическом упрощенииполучаемоеприаккуратномалгебраическомупрощении такое:

центр Cγ лежит на прямой OP справа от O илислева,взависимостиотвеличинили слева, в зависимости от величинилислева,взависимостиотвеличин — координата по оси x: x_C = dt2+√(R2(1+t2)−d2t2)d t^2 + √(R^2(1+t^2) - d^2 t^2) dt2+(R2(1+t2)d2t2)/1+t21+t^21+t2 воднойиздвухветвейв одной из двух ветвейводнойиздвухветвей,радиус ρ = |x_C - ...| формуладляρвыражаетсячерезR,dиtформула для ρ выражается через R, d и tформуладляρвыражаетсячерезR,dиt.

Приведённыевыраженияполучаютсяприрешенииквадратногоуравнениядлякоординатыu(серединыхорды,еслирассмотретьхордыссимметриейотносительноосиOP)ипоследующемвосстановленииобщегоуравненияокружностидляM.Янамереннонеразворачиваюздесьдлинныеалгебраическиепреобразования;прижеланиимогувывестиполныйпошаговыйвыводсчистымивычислениями.Приведённые выражения получаются при решении квадратного уравнения для координаты u (середины хорды, если рассмотреть хорды с симметрией относительно оси OP) и последующем восстановлении общего уравнения окружности для M. Я намеренно не разворачиваю здесь длинные алгебраические преобразования; при желании могу вывести полный пошаговый вывод с чистыми вычислениями.Приведённыевыраженияполучаютсяприрешенииквадратногоуравнениядлякоординатыu(серединыхорды,еслирассмотретьхордыссимметриейотносительноосиOP)ипоследующемвосстановленииобщегоуравненияокружностидляM.Янамереннонеразворачиваюздесьдлинныеалгебраическиепреобразования;прижеланиимогувывестиполныйпошаговыйвыводсчистымивычислениями.

Итоги и геометрические замечания.

Семейство хорд AB, видимых из фиксированной внешней точки P под постоянным углом α, — это одномерное семейство. Его можно описать как множество хорд, получающихся пересечением окружности S парой лучей из P, разделённых углом α угловойпараметрориентациипарылучейугловой параметр ориентации пары лучейугловойпараметрориентациипарылучей.

Под более тонким углом: середины этих хорд образуют внутреннюю окружность Γ, центр которой лежит на прямой OP. Эквивалентно: все прямые, содержащие такие хорды, являются касательными к некоторой фиксированной внутренней окружности γ обеокружностиΓиγсвязаныипринадлежащемточномопределениисовпадаютвтомсмысле,чтоΓ—геометрическоеместосерединхордиγ—огибающаясемействахордобе окружности Γ и γ связаны и при надлежащем точном определении совпадают в том смысле, что Γ — геометрическое место середин хорд и γ — огибающая семейства хордобеокружностиΓиγсвязаныипринадлежащемточномопределениисовпадаютвтомсмысле,чтоΓ—геометрическоеместосерединхордиγогибающаясемействахорд.

Доказательство удобнее всего давать через инверсию с центром в P синтетическаяидеясинтетическая идеясинтетическаяидея или «нагромождением» алгебраических тождеств в координатном подходе; оба подхода приводят к одному и тому же выводу: уравнение геометрического места ведёт себя как уравнение окружности.

Если хотите, могу:

привести полный детализованный координатный вывод всешагисалгебройиокончательнаяявнаяформуладляцентраирадиусавнутреннейокружностиγвтерминахR,d=OPиαвсе шаги с алгеброй и окончательная явная формула для центра и радиуса внутренней окружности γ в терминах R, d=OP и αвсешагисалгебройиокончательнаяявнаяформуладляцентраирадиусавнутреннейокружностиγвтерминахR,d=OPиα;или дать подробную синтетическую схему с рисунком и более развёрнутым доказательством через инверсию суказанием,какиеименноокружностивобразеинверсиидаюттребуемуюогибающуюикакобратнаяинверсиядаётγс указанием, какие именно окружности в образе инверсии дают требуемую огибающую и как обратная инверсия даёт γсуказанием,какиеименноокружностивобразеинверсиидаюттребуемуюогибающуюикакобратнаяинверсиядаётγ. Что предпочитаете?
12 Окт в 20:51
Не можешь разобраться в этой теме?
Обратись за помощью к экспертам
Гарантированные бесплатные доработки в течение 1 года
Быстрое выполнение от 2 часов
Проверка работы на плагиат
Поможем написать учебную работу
Прямой эфир