80. § 9. Перпендикуляр до прямої