Locus (математика)

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

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

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

Содержание
  • 1 История и философия
  • 2 Примеры в плоской геометрии
  • 3 Доказательство локуса
  • 4 Примеры
    • 4.1 Первый пример
    • 4.2 Второй пример
    • 4.3 Третий пример
    • 4.4 Четвертый пример
  • 5 См. Также
  • 6 Ссылки
История и философия

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

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

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

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

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

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

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

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

Доказательство геометрического места

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

  • Доказательство того, что все точки, которые удовлетворяют условиям на данной форме.
  • Доказательство того, что все точки данной формы удовлетворяют условиям.
Примеры
(расстояние PA) = 3. (расстояние PB)

Первое пример

Найдите геометрическое место точки P, которая имеет заданное отношение расстояний k = d 1/d2к двум заданным точкам.

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

P (x, y) - точка годографа
⇔ | P A | = 3 | P B | {\ displaystyle \ Leftrightarrow | PA | = 3 | PB |}\ Leftrightarrow | PA | = 3 | PB |
⇔ | P A | 2 = 9 | P B | 2 {\ displaystyle \ Leftrightarrow | PA | ^ {2} = 9 | PB | ^ {2}}{\ displaystyle \ Leftrightarrow | PA | ^ {2} = 9 | PB | ^ {2}}
⇔ (x + 1) 2 + (y - 0) 2 = 9 (x - 0) 2 + 9 (Y - 2) 2 {\ Displaystyle \ Leftrightarrow (x + 1) ^ {2} + (Y-0) ^ {2} = 9 (x-0) ^ {2} +9 (Y-2) ^ { 2}}{\ displaystyle \ Leftrightarrow (x + 1) ^ {2} + (y- 0) ^ {2} = 9 (х-0) ^ {2} +9 (y-2) ^ {2}}
⇔ 8 (x 2 + y 2) - 2 x - 36 y + 35 = 0 {\ displaystyle \ Leftrightarrow 8 (x ^ {2} + y ^ {2}) - 2x-36y + 35 = 0}{\ displaystyle \ Leftrightarrow 8 (x ^ {2} + y ^ {2}) -2x-36y + 35 = 0}
⇔ (x - 1 8) 2 + (y - 9 4) 2 = 45 64. {\ displaystyle \ Leftrightarrow \ left (x - {\ frac {1} {8}} \ right) ^ {2} + \ left (y - {\ frac {9} {4}} \ right) ^ {2} = {\ frac {45} {64}}.}{\ displaystyle \ Leftrightarrow \ left (x - {\ frac {1} {8}} \ right) ^ {2} + \ left (y- { \ frac {9} {4}} \ right) ^ {2} = {\ frac {45} {64}}.}

Это уравнение представляет круг с центром (1/8, 9/4) и радиусом 3 8 5 {\ displaystyle { \ tfrac {3} {8}} {\ sqrt {5}}}{\ displaystyle {\ 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 ((2x + c) / 4, y / 2). Медиана из C имеет наклон y / x. Медиана AM имеет наклон 2y / (2x + 3c).

Географическое место - это круг
C (x, y) - точка геометрического места
⇔ {\ displaystyle \ Leftrightarrow}\ Leftrightarrow медианы из A и C ортогональны
⇔ yx ⋅ 2 y 2 x + 3 c = - 1 {\ displaystyle \ Leftrightarrow {\ frac {y} {x}} \ cdot {\ frac {2y} {2x + 3c}} = - 1}{\ displaystyle \ Leftrightarrow {\ гидроразрыв {y} {x}} \ cdot {\ frac {2y} {2x + 3c}} = - 1}
⇔ 2 y 2 + 2 x 2 + 3 cx = 0 {\ displaystyle \ Leftrightarrow 2y ^ {2} + 2x ^ {2} + 3cx = 0}{\ displaystyle \ Leftrightarrow 2y ^ {2} + 2x ^ {2} + 3cx = 0}
⇔ x 2 + y 2 + (3 c / 2) x Знак равно 0 {\ displaystyle \ Leftrightarrow x ^ {2} + y ^ {2} + (3c / 2) x = 0}{\ displaystyle \ Leftrightarrow x ^ {2} + y ^ {2} + (3c / 2) x = 0}
⇔ (x + 3 c / 4) 2 + y 2 = 9 c 2/16. {\ displaystyle \ Leftrightarrow (x + 3c / 4) ^ {2} + y ^ {2} = 9c ^ {2} / 16.}{\ displaystyle \ Leftrightarrow (x + 3c / 4) ^ {2} + y ^ {2} = 9c ^ {2} / 16.}

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

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

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

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

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

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

Геометрическое место точек не обязательно должно быть одномерным (как круг, линия и т. Д.). Например, геометрическое место неравенства 2x + 3y - 6 < 0 is the portion of the plane that is below the line of equation 2x + 3y – 6 = 0.

См. Также
Ссылки
Последняя правка сделана 2021-05-28 05:21:14
Содержание доступно по лицензии CC BY-SA 3.0 (если не указано иное).
Обратная связь: support@alphapedia.ru
Соглашение
О проекте