Что такое трапеция: строгое определение

Прежде чем что-либо доказывать, необходимо чётко понимать, что именно мы доказываем. Согласно общепринятому в современной российской школьной геометрии определению, трапеция — это выпуклый четырёхугольник, у которого ровно две стороны параллельны.

Ключевые элементы определения: 1) выпуклый четырёхугольник; 2) наличие двух и только двух параллельных сторон. Эти параллельные стороны называются основаниями трапеции (часто их обозначают как a и b). Две другие стороны — боковые стороны.

Важно отметить дискуссионный момент: в некоторых учебных системах (например, в ряде американских) параллелограмм считается частным случаем трапеции, так как у него тоже есть две пары параллельных сторон. Однако в традиции, идущей от А.П. Киселёва и принятой в большинстве российских школ, параллелограмм не является трапецией, так как у трапеции параллельны должны быть ровно две стороны. Именно на этом определении мы и будем основываться.

Пошаговый алгоритм доказательства

Доказательство того, что данный четырёхугольник — трапеция, сводится к проверке двух основных условий.

Шаг 1: Убедиться, что фигура — выпуклый четырёхугольник

Это базовое условие. Четырёхугольник — это фигура, состоящая из четырёх точек (вершин) и четырёх отрезков (сторон), их соединяющих. Выпуклость означает, что все его внутренние углы меньше 180°, и любой отрезок, соединяющий две точки четырёхугольника, целиком лежит внутри него. На практике для простых задач это часто подразумевается по умолчанию.

Шаг 2: Доказать параллельность двух противоположных сторон

Это главный и необходимый признак. Нужно доказать, что одна пара противоположных сторон параллельна. Для этого используются известные из курса планиметрии признаки параллельности прямых:

  • Через равенство накрест лежащих углов: Если при пересечении двух прямых секущей накрест лежащие углы равны, то прямые параллельны.
  • Через равенство соответственных углов: Если соответственные углы равны, то прямые параллельны.
  • Через сумму односторонних углов: Если сумма внутренних односторонних углов равна 180°, то прямые параллельны.
  • Через векторы или координаты: В координатной плоскости направляющие векторы параллельных прямых (или векторы, лежащие на этих прямых) должны быть коллинеарны (их координаты пропорциональны).
  • Через свойства других фигур: Например, если стороны являются средними линиями в треугольнике или если они одинаково наклонены к какой-либо оси.

Шаг 3: Убедиться, что две другие стороны НЕ параллельны

Это условие отличает трапецию от параллелограмма (прямоугольника, ромба, квадрата). Достаточно доказать, что для второй пары противоположных сторон не выполняется ни один из перечисленных выше признаков параллельности. Например, показать, что накрест лежащие углы не равны или что направляющие векторы не коллинеарны.

Пример доказательства по координатам

Рассмотрим конкретный пример. Дан четырёхугольник ABCD с вершинами в точках: A(0;0), B(2;4), C(8;4), D(10;0).

  1. Проверяем выпуклость: Расположение точек (визуально или через векторные произведения) показывает, что это выпуклый четырёхугольник.
  2. Проверяем параллельность оснований: Рассмотрим стороны AD и BC.
    • Сторона AD лежит на прямой, проходящей через A(0;0) и D(10;0). Это горизонтальная прямая y=0. Её направляющий вектор — (10;0).
    • Сторона BC лежит на прямой через B(2;4) и C(8;4). Это также горизонтальная прямая y=4. Её направляющий вектор — (6;0).
    • Векторы (10;0) и (6;0) коллинеарны (вторые координаты равны 0, первые пропорциональны). Значит, AD || BC. Эти стороны — основания.
  3. Проверяем непараллельность боковых сторон: Рассмотрим AB и CD.
    • Для AB: направляющий вектор = (2-0; 4-0) = (2;4).
    • Для CD: направляющий вектор = (10-8; 0-4) = (2;-4).
    • Координаты (2;4) и (2;-4) НЕ пропорциональны (отношения 2/2=1, но 4/(-4) = -1). Векторы не коллинеарны, значит, AB не параллельна CD.

Вывод: В четырёхугольнике ABCD ровно одна пара параллельных противоположных сторон (AD и BC), а другая пара не параллельна. Следовательно, ABCD — трапеция.

Частные случаи и важные замечания

  • Равнобедренная трапеция: Если после доказательства общего факта удаётся также доказать равенство боковых сторон (AB = CD) или равенство углов при одном из оснований, то трапеция является равнобедренной. Это дополнительное свойство.
  • Прямоугольная трапеция: Если одна из боковых сторон перпендикулярна основаниям (что легко проверить через скалярное произведение векторов), то трапеция является прямоугольной.
  • Доказательство часто является обратным к доказательству свойств уже известной трапеции. Например, если в задаче дана трапеция, то её основания параллельны по определению. А если нужно доказать, что фигура — трапеция, то мы, наоборот, выводим параллельность сторон из других данных.

Таким образом, процесс доказательства строго алгоритмичен: проверка четырёхугольности и выпуклости → доказательство параллельности одной пары противоположных сторон → проверка непараллельности второй пары. Следование этому плану гарантирует корректное геометрическое рассуждение.