Расстояние от точки до прямой

Расстояние от точки до прямой равно длине перпендикуляра, опущенного из точки на прямую.