Геометрические преобразования
Системы координат и векторы
Для дальнейшего изложения нам понадобятся некоторые сведения из аналитической геометрии и линейной алгебры. Не ставя перед собой задачу подробного рассмотрения всех этих вопросов, приведем (или напомним) те основные понятия и операции, которые используются в алгоритмах компьютерной графики.
Две взаимно перпендикулярные пересекающиеся прямые с заданным масштабом образуют декартову прямоугольную систему координат на плоскости. Точка пересечения O называется началом координат, прямые называются осями координат. Одну из осей называют осью OX, или осью абсцисс, другую - осью OY, или осью ординат. Эти оси также называют координатными осями.
Возьмем произвольную точку на плоскости с заданной системой координат. Пусть и - проекции этой точки на оси абсцисс и ординат соответственно, причем длина отрезка равна , а длина равна . Тогда пара чисел называется декартовыми координатами точки на плоскости ( абсциссой и ординатой точки).
Три взаимно перпендикулярные пересекающиеся прямые с заданным масштабом образуют декартову прямоугольную систему координат в пространстве. Так же как и в случае плоскости, точка пересечения O называется началом координат, прямые называются осями координат. Одну из осей называют осью OX, или осью абсцисс, другую - осью OY, или осью ординат, третью - осью OZ, или осью аппликат.
Пусть , и - проекции произвольной точки в пространстве на оси абсцисс, ординат и аппликат соответственно, причем длина отрезка равна , длина равна , а длина равна . Тогда тройка чисел называется декартовыми координатами точки в пространстве ( абсциссой, ординатой и аппликатой точки).
Пусть на плоскости задана декартова система координат. Возьмем две точки с координатами и соответственно. Тогда, используя теорему Пифагора, можно получить, что расстояние между этими двумя точками выражается формулой
Расстояние между двумя точками в пространстве с координатами и выражается аналогичной формулой:
Отрезок на плоскости и в пространстве задается с помощью двух точек, указывающих его границы. Геометрическим вектором, или просто вектором в пространстве, будем называть отрезок, у которого указано, какая из его граничных точек является началом, а какая - концом (т.е. указано направление вектора). Начало вектора называют точкой его приложения. Вектор называется нулевым, если его начало и конец совпадают. Векторы называются коллинеарными, если они лежат на параллельных прямых. Векторы считаются равными, если они коллинеарны, имеют одинаковую длину и одинаковое направление. Таким образом, все векторы, получающиеся параллельным переносом из одного и того же вектора, равны мeжду собой. Любая точка на плоскости и в пространстве может рассматриваться как вектор, начало которого совпадает с началом координат ( радиус-вектор ), а каждый вектор, перенесенный в начало координат, задает своим концом единственную точку пространства. Поэтому любой вектор может быть представлен совокупностью своих координат в декартовой системе.
Линейными операциями над векторами принято называть операции сложения векторов и операцию умножения вектора на число.
Суммой двух векторов и называется вектор, идущий из начала вектора в конец вектора , при условии, что вектор приложен к концу вектора .
Перечислим основные свойства операции сложения векторов:
- .
- .
- Существует нулевой вектор , такой, что для любого вектора .
- Для каждого вектора существует противоположный ему вектор , такой, что .
Разностью двух векторов и называется такой вектор , который в сумме с вектором дает вектор .
Произведением вектора на число называется вектор , коллинеарный вектору , имеющий длину и направление, совпадающее с направлением вектора при и противоположное направлению при . Геометрический смысл умножения вектора на число состоит в том, что длина вектора увеличивается в раз.
Операция умножения вектора на число обладает следующими свойствами:
- (распределительное свойство числового сомножителя относительно суммы векторов);
- (распределительное свойство векторного сомножителя относительно суммы чисел);
- (сочетательное свойство числовых сомножителей);
- если вектор коллинеарен ненулевому вектору , то существует вещественное число , такое, что .