Что такое треугольник: строгое определение

В геометрии треугольником называется плоская фигура, образованная тремя точками, не лежащими на одной прямой, и тремя отрезками, попарно соединяющими эти точки. Эти точки называются вершинами треугольника, а отрезки — сторонами треугольника. Это фундаментальное определение является отправной точкой для любого доказательства.

Таким образом, ключевыми условиями являются: наличие ровно трёх вершин (точек), ровно трёх сторон (отрезков) и условие неколлинеарности вершин (они не должны лежать на одной прямой).

Как доказать, что фигура — треугольник: пошаговый алгоритм

Чтобы доказать, что заданная фигура соответствует понятию треугольника, необходимо последовательно проверить несколько критериев.

1. Проверка количества элементов

Убедитесь, что фигура состоит из:

  • Трёх вершин (обозначаются обычно заглавными латинскими буквами, например, A, B, C).
  • Трёх сторон (отрезков AB, BC, CA). Если «стороны» являются кривыми линиями или ломаными, фигура треугольником не является.

2. Проверка основного условия: неколлинеарность точек

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

  • Геометрически/визуально: На чертеже видно, что точки не выстраиваются в линию.
  • Через вычисление площади: Если координаты вершин известны (A(x₁, y₁), B(x₂, y₂), C(x₃, y₃)), можно вычислить площадь по формуле S = ½|(x₂ - x₁)(y₃ - y₁) - (x₃ - x₁)(y₂ - y₁)|. Если площадь S ≠ 0, точки неколлинеарны и образуют треугольник. Если S = 0, точки лежат на одной прямой.
  • Через угловой коэффициент: Проверить, что угловые коэффициенты прямых AB и BC разные (k_AB ≠ k_BC).

3. Проверка «замкнутости» фигуры

Три отрезка должны образовывать замкнутый контур. Это условие обычно выполняется автоматически, если мы последовательно соединяем точки A→B, B→C, C→A.

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

Иногда доказательство требует уточнения, о каком именно треугольнике идёт речь.

Вырожденный треугольник — это не треугольник

Если три точки лежат на одной прямой, фигура называется вырожденным треугольником. С формальной точки зрения в школьной и большинстве разделов классической геометрии такая фигура треугольником не считается, так как не образует внутренней области. Поэтому доказательство должно исключать этот случай.

Доказательство для конкретного типа треугольника

Часто требуется доказать не просто принадлежность к треугольникам, а к определённому классу:

  • Прямоугольный треугольник: Доказать, что квадрат длины одной стороны равен сумме квадратов длин двух других (теорема Пифагора).
  • Равнобедренный треугольник: Доказать равенство длин двух сторон.
  • Равносторонний треугольник: Доказать равенство длин всех трёх сторон.

В этих случаях сначала доказывается, что фигура — треугольник (по базовому определению), а затем проверяются дополнительные свойства.

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

Даны точки: A(0, 0), B(3, 0), C(0, 4). Докажем, что ABC — треугольник.

  1. Есть три вершины: A, B, C.
  2. Есть три стороны: AB, BC, CA.
  3. Проверим неколлинеарность через площадь:
    S = ½|(3-0)(4-0) - (0-0)(0-0)| = ½|12 - 0| = 6.
    Площадь S = 6 ≠ 0, следовательно, точки не лежат на одной прямой.

Все условия выполнены, значит, ABC — треугольник (более того, прямоугольный, так как 3² + 4² = 5², где 5 — длина гипотенузы BC).

Почему это важно?

Умение доказать, что фигура является треугольником, — это основа для применения всего огромного аппарата геометрии: теорем о сумме углов, неравенства треугольника, признаков равенства и подобия, формул для вычисления площади, нахождения медиан, биссектрис и высот. Без чёткого установления факта, что мы имеем дело именно с треугольником, дальнейшие построения и расчёты будут некорректны.

Таким образом, доказательство всегда сводится к проверке соответствия фигуры строгому определению, где ключевым моментом является условие неколлинеарности трёх точек.

Источники