Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
Теоретическипе основы обучения математике.doc
Скачиваний:
95
Добавлен:
24.09.2019
Размер:
1.46 Mб
Скачать

2) Основные способы доказательства истинности импликативных утверждений.

Пусть дано утверждение (х) (А(х)  В(х)). Иначе его можно записать А(х)  В(х). Нужно доказать его истинность.

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

Краткая запись теоремы.

Дано: х  ; А (х).

Доказать: В (х).

В начале доказательства выбирается произвольный элемент х0 так, что А (х0) – истинное высказывание. Доказывается, что В (х0) истинно.

Метод от противного. Он основан на равносильности высказываний: (АВ) и ((А )Л). Здесь буквой Л обозначается ложное высказывание. Суть метода от противного излагается в учебнике геометрии для 7-го класса. Но с рассуждениями, аналогичными тем, которые проводятся при доказательстве методом от противного, учащиеся встречались и ранее.

Пример 3. При изучении простых чисел в пятом классе ученица рассуждала: «12 – число не простое, так как если бы оно было простым, то имело бы только 2 делителя, а число 12 делится и на 1, и на 2, и на 4, и на 6. Значит, число 12 не будет простым».

В данном рассуждении не хватает лишь фразы: «Пришли к противоречию с определением простого числа».

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

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

3) Теоремы общего вида.

Теорема общего вида записывается символически следующим образом: (х  ) А (х).

В формулировке теоремы содержатся слова «для любого», «для каждого», «для всех». В символической записи этим словам соответствует знак , который называется квантором общности.

На естественном языке она может быть прочитана следующим образом: «Каждый элемент множества М обладает свойством А».

Структура теоремы: (хМ) – разъяснительная часть; А (х) – требование теоремы (здесь не уместен термин «заключение теоремы»).

Например, в теореме «В параллелограмме противоположные стороны равны» разъяснительная часть: «Для любого параллелограмма»; требование теоремы: «Противоположные стороны параллелограмма равны».

Краткая запись теоремы общего вида.

Дано: х .

Доказать: А (х).

Доказательство теоремы общего вида проводится по схеме: выбирается произвольный элемент х0 из множества М и доказывается, что А (х0) – истинное высказывание. Можно использовать и метод от противного.

Пример 4. Выполним краткую запись теоремы «В параллелограмме противоположные стороны равны».

Дано: АВСD – параллелограмм. АВ, ВС, СD, DА – его стороны.

Доказать: АВ = СD; ВС = DА.

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