Планиметрия

Что такое доказательство теоремы: аксиомы, леммы и примеры

Статья объясняет, что такое доказательство теоремы, как оно строится из аксиом, лемм и теорем, и показывает, как правильно оформлять геометрические доказательства для 7‑го класса.

6 мин чтения
#Планиметрия#что такое доказательство теоремы#что такое доказательство в геометрии#как решать задачи на доказательство по геометрии 7 класс#теория это простыми словами

Что такое доказательство теоремы и теорема: определения

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

Теорема Пифагора
\[c^2=a^2+b^2\]

Коротко

  • Аксиома — утверждение, принимаемое без доказательства.
  • Лемма — вспомогательное утверждение, используемое в доказательстве теоремы.
  • Теорема — утверждение, доказанное из аксиом и лемм.
PDF бесплатно

Забери шпаргалки по всем темам ЕГЭ

Формулы, методы и типовые ошибки — одним файлом в боте.

Забрать шпаргалки

Доказательство в геометрии: аксиомы и методы

Основные аксиомы планметрии: через две точки проходит одна прямая; на прямой отрезке можно отложить отрезок данной длины; все прямые углы равны. На их основе строятся методы доказательства.

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

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

  1. Метод подобия
  2. Шаг 1: Найдите пару равных углов (по параллельности, вертикальным или общим).
  3. Шаг 2: Установите подобие по двум углам и запишите отношение соответствующих сторон.
  4. Шаг 3: Составьте пропорцию и выразите искомый отрезок.
  5. Шаг 4: Для площадей используйте \(\dfrac{S_1}{S_2}=k^2\), где \(k\) — коэффициент подобия.

Коротко

  • Подобие треугольников → стороны пропорциональны, площади как \(k^2\).
  • Биссектриса делит сторону пропорционально прилежащим сторонам.
  • Медиана к гипотенузе прямоугольного треугольника равна её половине и радиусу описанной окружности.

Как решать задачи на доказательство по геометрии в 7 классе

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

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

  1. Решение задачи на доказательство
  2. Шаг 1: Прочитайте условию и запишите то, что требуется доказать.
  3. Шаг 2: Определите, какие аксиомы, леммы или теоремы могут быть полезны.
  4. Шаг 3: При необходимости проведите дополнительные построения (высота, медиана, параллель).
  5. Шаг 4: Выберите метод доказательства (подобие, свойства биссектрисы, метод площадей и т.д.).
  6. Шаг 5: Выполните вычисления, запишите каждое утверждение с обоснованием.
  7. Шаг 6: Сделайте вывод, что требуемое утверждение доказано.

Коротко

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

Теория это простыми словами: аксиомы, теоремы, леммы

Аксиома — основное утверждение, которое принимается как истина без доказательства (например, «через две точки проходит одна прямая»). Лемма — промежуточное утверждение, доказываемое для упрощения доказательства более сложного théorema. Теорема — утверждение, которое доказывается из аксиом, лемм и уже известных теорем. Короллар — следствие из теоремы, получаемое почти без дополнительных рассуждений.

Коротко

  • Аксиома → основа всей системы.
  • Лемма → ступень к теореме.
  • Теорема → результат, требующий доказательства.
  • Колларар → прямой следствие теоремы.

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

Пример 1: Равенство углов при основании равнобедренного треугольника

Дано: треугольник \(ABC\) с \(AB=BC\). Нужно доказать: \(\angle A=\angle C\).

  1. 1. Проведём медиану \(BD\) к основанию \(AC\). По свойству равнобедренного треугольника медиана, биссектриса и высота к основанию совпадают.
  2. 2. Треугольники \(ABD\) и \(CBD\) имеют:

- \(AB=BC\) (дано), - \(BD=BD\) (общая сторона), - \(\angle ABD=\angle CBD\) (медиана является биссектрисой вершинного угла).

  1. 3. По первому признаку равенства треугольников (сторона‑угол‑сторона) \(\triangle ABD\cong\triangle CBD\).
  2. 4. Следовательно, \(\angle A=\angle C\) как соответствующие углы равных треугольников.

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

Пример 2: Теорема Пифагора

Дано: прямоугольный треугольник \(ABC\) с прямым углом у \(C\), катеты \(a=BC\), \(b=AC\), гипотенуза \(c=AB\). Нужно доказать: \(c^2=a^2+b^2\).

  1. 1. На гипотенузе построим квадрат со стороной \(c\). Внутри него разместим четыре копии треугольника \(ABC\), образуя меньший квадрат со стороной \(a-b\) (при условии \(a\ge b\)).
  2. 2. Площадь большого квадрата вычисляем двумя способами:

- как \(c^2\); - как сумму площадей четырех треугольников (\(4\cdot\frac{1}{2}ab\)) и маленького квадрата \((a-b)^2\).

  1. 3. Составляем равенство:

\[ c^2 = 4\cdot\frac{1}{2}ab + (a-b)^2 = 2ab + a^2 -2ab + b^2 = a^2+b^2. \]

  1. 4. Следовательно, \(c^2=a^2+b^2\).

Типичная ошибка: писать теорему косинусов с плюсом перед \(2ab\cos\gamma\). Знак минус обязателен, иначе при прямом угле (\(\cos90^\circ=0\)) формула не сводится к теореме Пифагора.

❌ ошибкаВ теореме косинусов пишут \(c^2=a^2+b^2+2ab\cos\gamma\)
✅ верно\(c^2=a^2+b^2-2ab\cos\gamma\)
При \(\gamma=90^\circ\) косинус ноль, формула должна давать \(c^2=a^2+b^2\); плюс даёт лишний член.
❌ ошибкаЦентроид делит медиану пополам, \(AG=\tfrac12 m_a\)
✅ верно\(AG=\dfrac{2}{3}m_a\)
Центроид делит медиану в отношении 2:1 от вершины; ошибка приводит к неверным длинам и площадям.

Частые вопросы

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

Что такое теорема и доказательство теоремы? Теорема — утверждение, требующее доказательства; доказательство — цепочка логических выводов, основанная на аксиомах и ранее установленных результатах, которая подтверждает истинность теоремы.

Как решать задачи на доказательство по геометрии 7 класс? Сначала формулируют то, что нужно доказать, выбирают подходящие аксиомы или теоремы, при необходимости проводят дополнительные построения, затем применяют метод подобия, свойства замечательных линий или метод площадей, проверяя каждый шаг на корректность.

Что такое доказательство теоремы 7 класс? В 7‑м классе доказательство теоремы строится на базовых аксиомах планметрии, определениях треугольника и его специальных линиях, а также на простых теоремах о равенстве треугольников и подобии.

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

По этой теме есть отдельный разбор: центральный и вписанный угол окружности.

По этой теме есть отдельный разбор: медиана треугольника.

PDF бесплатно

Забери шпаргалки по всем темам ЕГЭ

Формулы, методы и типовые ошибки — одним файлом в боте.

Забрать шпаргалки
А
Алмаз

Преподаватель профильной математики. Готовлю к ЕГЭ на высокий балл.