logo
Теоретическипе основы обучения математике

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

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

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

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

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

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

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

Дано: х .

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

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

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

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

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

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