но доказать, обосновываемая мысль вы водится из
самой
себя, и получается не доказательство, а пустое хождение по
кругу. Н апример, на вопрос: “Почему мы видим через стек
ло?” , отвечаем: “Оно прозрачно” . Но назвать вещество про
зрачны м — значит сказать, что сквозь него можно видеть.
В ш к о л ьн о й п р а к т и к е вопрос о том , на к а к и е з а к о
номерности опираю тся при доказательстве утверж дений,
к ак вы водятся эти утверж дения на основе известных ранее
утверж дений и правил, не раскры вается. Использование
правил логического вывода, конечно, приведет к услож
нению доказательства и может не соответствовать возраст
ным особенностям учащ и хся. Но, однако, к а к показы вает
опыт передовых учителей и результаты отдельны х иссле
дований, ознакомление учащ ихся с логической структурой
доказательств, правилам и логического вывода с помощью
простых примеров и специальны х дидакти ческих приемов
способствует осознанному усвоению знаний.
В аж ной частью обучения учащ и хся доказательству я в
л яется осущ ествление процесса доказательства. Ф ормиро
вание у учащ и хся умений доказы вать утверж дения такж е
явл яется средством формирования у них веры в свои силы.
Термин
мат ем ат ическое доказат ельст во
предусмат
ривает доказательство предлож ений в р ам ках какой-либо
матем атической теории.
Д оказательства м атем атических теорий (теорем, п ра
вил, формул и т.д.) являю тся частны м видом общего до
казательства.
Р азл и ч аю т
содерж ат ельные
(неф орм альны е) и
фор
м альны е
доказательства, которые прим еняю тся соответ
ственно в содерж ательны х (неформальны х или полуфор
мальны х) и ф орм альны х м атем атических теориях.
В
ш к о л ьн о м обучении н еко то р ы е ф р агм ен ты м а те
м ати ч еск и х теорий и зл агаю тся неф орм альн о (алгебра,
геометрия, анализ). Н апример, курс м атем атики для 5—6
классов излагается, в целом, на содерж ательном уровне,
т. е. в нем использую тся обычные рассуж дения, а правила
логического вывода не ф иксирую тся. Иной подход к и зло
ж ению теории используется в курсе геометрии для 7—11
классов. В систематическом курсе геометрии доказы ваю т
ся м атем атические предлож ения — теоремы.
140
5.4. Теоремы , их виды.
Обучение доказател ьствам теорем
Под
Достарыңызбен бөлісу: