Локус (математика)

Чтобы узнать о других значениях, см. Локус (значения) .

Каждая кривая в этом примере представляет собой локус , определенный как раковистая точка P и линия l . В этом примере P находится на расстоянии 8 см от l .

В геометрии локус набор (множественное число: loci ) (латинское слово, обозначающее «место», «положение») — это всех точек ( обычно линия , отрезок прямой , кривая или поверхность ), расположение которых удовлетворяет или является определяется одним или несколькими указанными условиями.

Множество точек, удовлетворяющих некоторому свойству, часто называют геометрическим местом точки, удовлетворяющей этому свойству. Использование единственного числа в этой формулировке является свидетельством того, что до конца XIX века математики не рассматривали бесконечные множества . Вместо того, чтобы рассматривать линии и кривые как наборы точек, они рассматривали их как места, где точка может находиться или перемещаться.

История и философия

До начала 20 века геометрическая фигура (например, кривая) не рассматривалась как бесконечное множество точек; скорее, его рассматривали как объект, на котором может располагаться точка или по которому она движется. Таким образом, круг на евклидовой плоскости определялся как место точки, находящейся на заданном расстоянии от фиксированной точки, центра круга. В современной математике подобные концепции чаще переформулируются, описывая формы как множества; например, говорят, что круг — это набор точек, находящихся на заданном расстоянии от центра.

В отличие от теоретико-множественной точки зрения, старая формулировка избегает рассмотрения бесконечных коллекций, поскольку избегание фактической бесконечности было важной философской позицией ранних математиков.

Когда теория множеств стала универсальной основой, на которой строится вся математика, термин локус стал довольно старомодным. Тем не менее, слово до сих пор широко используется, в основном для краткой формулировки, например:

• Критический локус — множество критических точек функции дифференцируемой .
• Нулевой локус или исчезающий локус — набор точек, в которых функция обращается в нуль, поскольку она принимает нулевое значение .
• Особое место — множество особых точек алгебраического многообразия .
• Локус связности — подмножество набора параметров семейства рациональных функций , для которого связно множество Жюлиа функции.

Совсем недавно такие методы, как теория схем и использование теории категорий вместо теории множеств для обоснования математики, вернулись к понятиям, больше похожим на первоначальное определение локуса как объекта самого по себе, а не как множества. очков.

Примеры из плоской геометрии

Примеры из плоской геометрии включают:

• Множество точек, равноудаленных от двух точек, представляет собой серединный перпендикуляр к отрезку, соединяющему две точки.
• Множество точек, равноудаленных от двух пересекающихся прямых, представляет собой объединение двух их биссектрис .
• Все конические сечения являются локусами:
  • Круг : набор точек на постоянном расстоянии (радиусе ) от фиксированной точки ( центра ).
  • Парабола : набор точек, равноудаленных от фиксированной точки (фокуса ) и прямой ( директрисы ).
  • Гипербола : совокупность точек, для каждой из которых абсолютное значение разности расстояний до двух данных фокусов является постоянной величиной.
  • Эллипс : множество точек, для каждой из которых сумма расстояний до двух данных фокусов является постоянной.

Другие примеры локусов появляются в различных областях математики. Например, в сложной динамике представляет множество Мандельброта собой подмножество комплексной плоскости , которое можно охарактеризовать как локус связности семейства полиномиальных отображений.

Доказательство локуса

Чтобы доказать, что геометрическая форма является правильным местом для данного набора условий, Доказательство обычно делят на два этапа: доказательство того, что все точки, удовлетворяющие условиям, находятся на заданной форме, и доказательство того, что все точки данной формы удовлетворяют условиям.

Примеры

(расстояние PA ) = 3.(расстояние PB )

Первый пример

Найдите геометрическое положение точки P , имеющей заданное отношение расстояний k = d ₁ / d ₂ до двух заданных точек.

В этом примере k = 3, A (−1, 0) и B (0, 2) выбраны в качестве неподвижных точек.

P ( x , y ) — точка геометрического положения

$\Leftrightarrow |PA|=3|PB|$

$\Leftrightarrow |PA|^{2}=9|PB|^{2}$

$\Leftrightarrow (x+1)^{2}+(y-0)^{2}=9(x-0)^{2}+9(y-2)^{2}$

$\Leftrightarrow 8(x^{2}+y^{2})-2x-36y+35=0$

$\Leftrightarrow \left(x-{\frac {1}{8}}\right)^{2}+\left(y-{\frac {9}{4}}\right)^{2}={\frac {45}{64}}.$

Это уравнение представляет собой круг с центром (1/8, 9/4) и радиусом ${\tfrac {3}{8}}{\sqrt {5}}$. Это круг Аполлония, этими значениями k , A и B. определяемый

Второй пример

Геометрическое положение точки C

Треугольник ABC имеет фиксированную сторону [ AB ] длины c . Определить геометрическое положение третьей вершины C такое, что медианы ​ от A и C ортогональны ​ .

Выберем ортонормированную систему координат такую, что A (− c /2, 0), B ( c /2, 0). C ( x , y ) — переменная третья вершина. Центр [ BC ] — это M ((2 x + c )/4, y /2). Медиана от C имеет наклон y / x . Медианный AM имеет наклон 2 y /(2 x + 3 c ).

Локус – это круг

C ( x , y ) — точка геометрического положения

$\Leftrightarrow$ медианы от A и C ортогональны

$\Leftrightarrow {\frac {y}{x}}\cdot {\frac {2y}{2x+3c}}=-1$

$\Leftrightarrow 2y^{2}+2x^{2}+3cx=0$

$\Leftrightarrow x^{2}+y^{2}+(3c/2)x=0$

$\Leftrightarrow (x+3c/4)^{2}+y^{2}=9c^{2}/16.$

Геометрическим узлом вершины C является окружность с центром (−3 c /4, 0) и радиусом 3 c /4.

Третий пример

Точка пересечения связанных линий k и l описывает окружность

Локус также может быть определен двумя связанными кривыми, зависящими от одного общего параметра . Если параметр изменяется, точки пересечения связанных кривых описывают локус.

На рисунке точки K и L являются неподвижными точками на данной прямой m . Линия k является переменной линией, проходящей K. через Прямая l, через L перпендикулярна , k проходящая . Угол $\alpha$между k и m является параметром. k и l — связанные линии, зависящие от общего параметра. Переменная точка пересечения S k l и . описывает окружность Этот круг является местом пересечения двух связанных линий.

Четвертый пример

Геометрическое положение точек не обязательно должно быть одномерным (как круг, линия и т. д.). Например, Геометрическое место неравенства 2 x + 3 y – 6 < 0 – это часть плоскости, которая находится ниже линии уравнения 2 x + 3 y – 6 = 0 .

См. также

• Алгебраическое разнообразие
• Изгиб
• Линия (геометрия)
• Обозначение построителя множеств
• Форма (геометрия)