В геометрии два геометрических объекта перпендикулярны , если их пересечение образует прямые углы ( углы шириной 90 градусов или π/2 радиан) в точке пересечения, называемой стопой . Условие перпендикулярности можно представить графически с помощью символа перпендикуляра , ⟂. Перпендикулярные пересечения могут происходить между двумя линиями (или двумя отрезками линий), между линией и плоскостью и между двумя плоскостями.
Перпендикулярность — это частный случай более общей математической концепции ортогональности ; перпендикулярность — это ортогональность классических геометрических объектов. Таким образом, в высшей математике слово «перпендикулярный» иногда используется для описания гораздо более сложных геометрических условий ортогональности, таких как между поверхностью и ее нормальным вектором .
Говорят, что линия перпендикулярна другой линии, если две линии пересекаются под прямым углом. [2] Явно, первая линия перпендикулярна второй линии, если (1) две линии встречаются; и (2) в точке пересечения прямой угол с одной стороны первой линии разрезается второй линией на два равных угла . Можно показать, что перпендикулярность симметрична , то есть если первая линия перпендикулярна второй линии, то вторая линия также перпендикулярна первой. По этой причине мы можем говорить о двух линиях как о перпендикулярных (друг другу), не указывая порядок. Отличный пример перпендикулярности можно увидеть в любом компасе, обратите внимание на стороны света: Север, Восток, Юг, Запад (NESW). Линия NS перпендикулярна линии WE, а углы NE, ES, SW и WN составляют 90° друг к другу.
Перпендикулярность легко распространяется на сегменты и лучи . Например, отрезок прямой перпендикулярен отрезку прямой , если при продолжении каждого из них в обоих направлениях с образованием бесконечной линии эти две полученные линии перпендикулярны в указанном выше смысле. В символах означает, что отрезок AB перпендикулярен отрезку CD. [3]
Говорят, что прямая перпендикулярна плоскости, если она перпендикулярна каждой прямой в плоскости, которую она пересекает. Это определение зависит от определения перпендикулярности между прямыми.
Две плоскости в пространстве называются перпендикулярными, если двугранный угол, под которым они пересекаются, является прямым углом.
Слово « стопа» часто используется в связи с перпендикулярами. Это использование проиллюстрировано на верхней диаграмме выше и в ее подписи. Диаграмма может быть в любой ориентации. Стопа не обязательно находится внизу.
Точнее, пусть A — точка, а m — прямая. Если B — точка пересечения m и единственной прямой, проходящей через A и перпендикулярной m , то B называется основанием этого перпендикуляра, проходящего через A.
Чтобы провести перпендикуляр к линии AB через точку P с помощью циркуля и линейки , выполните следующие действия (см. рисунок слева):
Чтобы доказать, что PQ перпендикулярен AB, используйте теорему о конгруэнтности SSS для QPA' и QPB', чтобы заключить, что углы OPA' и OPB' равны. Затем используйте теорему о конгруэнтности SAS для треугольников OPA' и OPB', чтобы заключить, что углы POA и POB равны.
Чтобы построить перпендикуляр к линии g в точке P или через нее, используя теорему Фалеса , смотрите анимацию справа.
Теорема Пифагора может быть использована в качестве основы методов построения прямых углов. Например, путем подсчета звеньев можно сделать три куска цепи с длинами в соотношении 3:4:5. Их можно выложить так, чтобы получился треугольник, у которого будет прямой угол напротив его самой длинной стороны. Этот метод полезен для разметки садов и полей, где размеры большие, а большая точность не требуется. Цепи можно использовать многократно, когда это необходимо.
Если две прямые ( a и b ) перпендикулярны третьей прямой ( c ), то все углы, образованные вдоль третьей прямой, являются прямыми. Следовательно, в евклидовой геометрии любые две прямые, которые обе перпендикулярны третьей прямой, параллельны друг другу из-за постулата параллельности . И наоборот, если одна прямая перпендикулярна второй прямой, то она также перпендикулярна любой прямой, параллельной этой второй прямой.
На рисунке справа все углы, закрашенные оранжевым, конгруэнтны друг другу, и все углы, закрашенные зеленым, конгруэнтны друг другу, поскольку вертикальные углы конгруэнтны, а накрест лежащие внутренние углы, образованные секущей параллельной линией, конгруэнтны. Поэтому, если линии a и b параллельны, любой из следующих выводов приводит ко всем остальным:
В геометрии перпендикулярное расстояние между двумя объектами — это расстояние от одного до другого, измеренное вдоль линии , перпендикулярной одному или обоим объектам.
Расстояние от точки до прямой — это расстояние до ближайшей точки на этой прямой. То есть до точки, в которой отрезок от нее до данной точки перпендикулярен прямой.
Аналогично, расстояние от точки до кривой измеряется отрезком прямой, перпендикулярным касательной к кривой в ближайшей точке кривой.
Расстояние от точки до плоскости измеряется как длина от точки вдоль отрезка, перпендикулярного плоскости, то есть перпендикулярного всем линиям на плоскости, проходящим через ближайшую к данной точке точку на плоскости.
Другие примеры включают:
Перпендикулярная регрессия подгоняет линию к точкам данных, минимизируя сумму квадратов перпендикулярных расстояний от точек данных до линии. Существуют и другие геометрические методы подгонки кривой, использующие перпендикулярное расстояние для измерения качества подгонки, как в методе наименьших квадратов .
Понятие перпендикулярного расстояния можно обобщить следующим образом:
В двумерной плоскости прямые углы могут быть образованы двумя пересекающимися прямыми, если произведение их наклонов равно −1. Таким образом, для двух линейных функций и графики функций будут перпендикулярны, если
Скалярное произведение векторов также можно использовать для получения того же результата: Сначала сдвиньте координаты так, чтобы начало координат оказалось в месте пересечения линий. Затем определите два смещения вдоль каждой линии, для Теперь воспользуйтесь тем фактом, что скалярное произведение обращается в нуль для перпендикулярных векторов:
Оба доказательства справедливы для горизонтальных и вертикальных линий в той мере, в которой мы можем позволить одному наклону быть и принять предел, что если один наклон стремится к нулю, другой стремится к бесконечности.
Каждый диаметр окружности перпендикулярен касательной к этой окружности в точке пересечения диаметра с окружностью.
Отрезок прямой, проходящий через центр окружности и делящий хорду пополам , перпендикулярен хорде.
Если пересечение любых двух перпендикулярных хорд делит одну хорду на длины a и b , а другую — на длины c и d , то a 2 + b 2 + c 2 + d 2 равно квадрату диаметра. [4]
Сумма квадратов длин любых двух перпендикулярных хорд, пересекающихся в данной точке, такая же, как и сумма квадратов длин любых других двух перпендикулярных хорд, пересекающихся в той же точке, и определяется как 8 r 2 – 4 p 2 (где r – радиус окружности, а p – расстояние от центральной точки до точки пересечения). [5]
Теорема Фалеса утверждает, что две прямые, проходящие через одну и ту же точку окружности, но через противоположные концы диаметра, перпендикулярны. Это эквивалентно утверждению, что любой диаметр окружности стягивает прямой угол в любой точке окружности, за исключением двух концов диаметра.
Большая и малая оси эллипса перпендикулярны друг другу и касательным линиям к эллипсу в точках пересечения осей с эллипсом.
Большая ось эллипса перпендикулярна директрисе и каждой прямой ширине бедра .
В параболе ось симметрии перпендикулярна каждой из прямых линий, директрисе и касательной в точке, где ось пересекает параболу.
Из точки на касательной к вершине параболы другая касательная к параболе перпендикулярна линии, проходящей через эту точку и фокус параболы .
Ортоптическое свойство параболы заключается в том, что если две касательные к параболе перпендикулярны друг другу, то они пересекаются по директрисе. И наоборот, две касательные, пересекающиеся по директрисе, перпендикулярны. Это означает, что, если смотреть из любой точки на ее директрисе, любая парабола образует прямой угол.
Поперечная ось гиперболы перпендикулярна сопряженной оси и каждой направляющей .
Произведение перпендикулярных расстояний от точки P на гиперболе или на сопряженной ей гиперболе до асимптот является константой, не зависящей от местоположения точки P.
Прямоугольная гипербола имеет асимптоты , перпендикулярные друг другу. Она имеет эксцентриситет, равный
Катеты прямоугольного треугольника перпендикулярны друг другу.
Высоты треугольника перпендикулярны соответствующим основаниям . Перпендикулярные биссектрисы сторон также играют важную роль в геометрии треугольника.
Линия Эйлера равнобедренного треугольника перпендикулярна основанию треугольника.
Теорема Дро-Фарни о прямой касается свойства двух перпендикулярных прямых, пересекающихся в ортоцентре треугольника .
Теорема Харкорта касается взаимосвязи отрезков прямой, проходящих через вершину и перпендикулярных любой прямой, касательной к вписанной окружности треугольника .
В квадрате или другом прямоугольнике все пары смежных сторон перпендикулярны. Прямая трапеция — это трапеция , у которой две пары смежных сторон перпендикулярны.
Каждая из четырех высот четырехугольника является перпендикуляром к стороне, проходящим через середину противолежащей стороны.
Ортодиагональный четырёхугольник — это четырёхугольник, диагонали которого перпендикулярны. К ним относятся квадрат , ромб и воздушный змей . По теореме Брахмагупты , в ортодиагональном четырёхугольнике, который также является вписанным , прямая, проходящая через середину одной стороны и через точку пересечения диагоналей, перпендикулярна противоположной стороне.
По теореме ван Обеля , если на сторонах четырехугольника снаружи построены квадраты, то отрезки прямых, соединяющие центры противоположных квадратов, перпендикулярны и равны по длине.
До трех линий в трехмерном пространстве могут быть попарно перпендикулярны, как показано на примере осей x, y и z трехмерной декартовой системы координат .