Локус (математика) - Википедия - Locus (mathematics)

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

В геометрия, а локус (множественное число: места) (Латинское слово «место», «место») - это набор всех точек (обычно линия, а отрезок, а изгиб или поверхность ), местонахождение которого удовлетворяет или определяется одним или несколькими указанными условиями.^[1][2]

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

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

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

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

Один раз теория множеств стала универсальной основой, на которой построена вся математика,^[6] термин locus стал довольно старомодным.^[7] Тем не менее, это слово по-прежнему широко используется, в основном для краткой формулировки, например:

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

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

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

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

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

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

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

Чтобы доказать, что геометрическая форма является правильным местом для данного набора условий, обычно доказательство делится на два этапа:^[10]

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

Примеры

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

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

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

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

п(Икс, у) является точкой геометрического

${ Displaystyle Leftrightarrow | PA | = 3 | PB |}$

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

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

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

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

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

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

Географическое положение точки C

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

Выберите ортонормированный система координат такой, что А(−c/2, 0), B(c/2, 0). C(Икс, у) - переменная третья вершина. Центр [до н.э] является M((2Икс + c)/4, у/ 2). Медиана от C имеет наклон у/Икс. Медиана ЯВЛЯЮСЬ имеет склон 2у/(2Икс + 3c).

Место - круг

C(Икс, у) является точкой геометрического

${ displaystyle Leftrightarrow}$ медианы от А и C ортогональны

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

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

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

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

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

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

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

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

На рисунке точки K и L фиксированные точки на данной прямой м. Линия k переменная линия через K. Линия л через L является перпендикуляр к k. Угол ${ displaystyle alpha}$ между k и м это параметр.k и л являются связанными строками в зависимости от общего параметра. Переменная точка пересечения S из k и л описывает круг. Этот круг является геометрическим местом точки пересечения двух связанных линий.

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

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

Смотрите также

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

Рекомендации