Теорема о перпендикуляре, проведённом из данной точки к данной прямой, утверждает следующее:
Если точки A и B лежат на плоскости и прямая l не проходит через точку A, то существует единственное перпендикулярное отрезок, проведённое из точки A к прямой l, и оно пересекает эту прямую в точке P.
Более формально:
- Для любой точки A( x₁, y₁) и прямой l, заданной уравнением Ax + By + C = 0, можно найти точку P( x₂, y₂) на прямой l, такую что отрезок AP является перпендикуляром к прямой l.
- Такой отрезок AP будет минимальной длины среди всех отрезков, проведённых из точки A к прямой l.
Эта теорема основывается на принципе минимального расстояния и очень важна в геометрии, так как позволяет нам обосновывать многие конструкции и решения.