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