Назад до розділу • Головний зміст
Умова:
Доведіть, що відстань від точки до прямої , заданої загальним рівнянням , обчислюється за формулою:
Покроковий розв’язок:
1. Геометричний зміст відстані
Відстанню від точки до прямої є довжина перпендикуляра , опущеного з точки на пряму :
де — основа перпендикуляра ().
Оскільки точка лежить на прямій , її координати задовольняють рівняння прямої:
2. Використання нормального вектора прямої
Ненульовий вектор є вектором нормалі до прямої , тобто .
Оскільки відрізок , вектор є колінеарним до вектора . Отже, існує таке дійсне число , що:
У координатній формі це означає:
3. Обчислення довжини відрізка
Виразимо довжину вектора через коефіцієнт :
4. Зв’язок коефіцієнта із рівнянням прямої
Підставимо координати точки у ліву частину рівняння прямої, врахувавши рівності та :
Оскільки , отримуємо:
Звідси знайдемо модуль коефіцієнта :
5. Виведення шуканої формули
Підставимо отриманий вираз для у формулу відстані :
Формулу доведено.
Відповідь:
Доведено.