9. Расстоянием от точки до прямой называется: а) длина отрезка, проведённого из данной точки к данной прямой; б) длина перпендикуляра, проведённого из данной точки к прямой; в) расстояние от данной точки до какой-нибудь точки данной прямой; г) длина отрезка, соединяющего данную точку с какой-нибудь точкой данной прямой.