Перпендикуляр, проведенный из данной точки к данной прямой, — это отрезок, соединяющий данную точку с точкой пересечения с прямой, и являющийся перпендикулярным к этой прямой.