Суть метода конструирования состоит в том, что путем геометрических построений, основанных на свойствах геометрических фигур, известных определениях и теоремах, строится объект, о котором идет речь в математическом утверждении. Построение указанного объекта на плоскости производится путем определенного набора инструментов и опирается на постулаты построения, т. е. на элементарные задачи на построение; построение объекта считается выполненным, если оно сведено к конечному числу этих задач-постулатов. Этим методом в школьном курсе геометрии доказаны, например, теорема о существовании и единственности окружности, описанной около треугольника, теорема о существовании и единственности окружности, вписанной в треугольник, теорема о касательной к окружности.
ДОКАЗАТЕЛЬСТВО ПРОТИВОРЕЧИЕМ
Доказательство идёт по плану приведенное ниже:
1) Предположим противоположное тому, что требуется доказать, то есть …
2) Путём логических рассуждений приходим к противоречию с известной аксиомой или теоремой.
3) Делаем вывод, что наше предположение неверно, а верно то, что требовалось доказать, то есть …