Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Шпоры_МПМ.docx
Скачиваний:
37
Добавлен:
22.09.2019
Размер:
558.4 Кб
Скачать

1.16 Сущность понятия «доказательства». Методы доказательства теорем.

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

Формой дедуктивных умозаключений, используемых при доказательстве теоремы, является силлогизм. В силлогизме содержится три понятия, а состоит он из двух посылок и вывода. Его структуру можно представить в таком виде:

Все М есть Р — большая посылка (БП);

К есть М — меньшая посылка (МП);

К есть Р — вывод (В).

Приведем пример силлогизма: «Все ромбы (М) есть параллелограммы (Р). Квадрат (К) есть ромб (М). Следовательно, квадрат (К) есть параллелограмм (Р)». Цепочка последовательно связанных силлогизмов, устанавливающая истинность теоремы, называется док-вом теоремы.

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

Различают частные и общие методы доказательства теорем.

К частным методам док-ва относят метод геометрических преобразований, перемещение плоскости, векторный, координатный, алгебраический методы и т. д.

Общими методами док-тва теорем в курсе математики средней школы являются:

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

аналитический метод(цепочка силлогизмов строится так, что мысль движется

от заключения теоремы к ее условию)

док-во противоречием(от противного)

док-во методом перебора,

док-во методом исключения

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

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

метод мат. индукции,

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

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]