Гипермаркет знаний>>Математика>>Математика 7 класс. Полные уроки>>Геометрия: Теоремы и доказательства. Полные уроки ТЕМА УРОКА: Теоремы и доказательства. Цели урока:
План урока:
Историческая справка.
Для правильного понимания теорем и доказательств, нужно разобраться все по очереди и начинать с самого простого - самого определения слова "Теорема". И так что же говорят нам большинство книг и интернет ресурсов. Теорема. Теорема (др.-греч. θεώρημα — «зрелище, вид; взгляд; представление, положение») — утверждение, для которого в рассматриваемой теории существует доказательство (иначе говоря, вывод). В отличие от теорем, аксиомами называются утверждения, которые, в рамках конкретной теории, принимаются истинными без всяких доказательств или обоснований.
В математических текстах теоремами обычно называют только достаточно важные утверждения. При этом требуемые доказательства обычно кем-либо найдены (исключение составляют в основном работы по логике, в которых изучается само понятие доказательства, а потому в некоторых случаях теоремами называют даже неопределённые утверждения). Менее важные утверждения-теоремы обычно называют леммами, предложениями, следствиями, условиями и прочими подобными терминами. Утверждения, о которых неизвестно, являются ли они теоремами, обычно называют гипотезами. Доказательство. Доказательство — это совокупность логических приемов обоснования истинности какого-либо суждения с помощью других истинных и связанных с ним суждений. Доказательство связано с убеждением, но не тождественно ему: доказательства должны основываться на данных науки и общественно-исторической практики, убеждения же могут быть основаны, например, на религиозной вере в догматы церкви, на предрассудках, на неосведомлённости людей в вопросах экономики и политики, на видимости доказательности, основанной на различного рода софизмах. В математике доказательством называется цепочка логических умозаключений, показывающая, что при каком-то наборе аксиом и правил вывода верно некоторое утверждение. В зависимости от контекста, может иметься в виду доказательство в рамках некоторой формальной системы (построенная по специальным правилам последовательность утверждений, записанная на формальном языке) или текст на естественном языке, по которому при желании можно восстановить формальное доказательство. Доказанные утверждения в математике называют теоремами (в математических текстах обычно подразумевается, что доказательство кем-либо найдено; исключения из этого обычая в основном составляют работы по логике, в которых исследуется само понятие доказательства); если ни утверждение, ни его отрицание ещё не доказаны, то такое утверждение называют гипотезой. Иногда в процессе доказательства теоремы выделяются доказательства менее сложных утверждений, называемых леммами. Вывод (лат. conclusio) — процесс рассуждения, в ходе которого осуществляется переход от некоторых исходных суждений (предпосылок) к новым суждениям — заключениям. Понятие вывода используется во многих формальных системах: в логике, математике, информатике, логическом программировании и др. В математической логике правила логического вывода задаются в исчислении высказываний либо исчислении предикатов. Аксиома (др.-греч. ἀξίωμα — утверждение, положение) — утверждение, в определённых рамках (теории, концепции, дисциплины) принимаемое истинным без доказательств, которое в последующем служит «фундаментом» для построения доказательств. Интересный факт: Впервые термин «аксиома» встречается у Аристотеля и перешёл в математику от философов Древней Греции. Евклид различает понятия «постулат» и «аксиома», не объясняя их различия. Со времён Боэция постулаты переводят как требования (petitio), аксиомы — как общие понятия. Первоначально слово «аксиома» имело значение «истина, очевидная сама по себе». В разных манускриптах Начал Евклида разбиение утверждений на аксиомы и постулаты различно, не совпадает их порядок. Вероятно переписчики придерживались разных воззрений на различие этих понятий.
Вопросы:
Список использованных источников:
Отредактировано и выслано Потурнаком С. А.
Над уроком работали:
|
Авторські права | Privacy Policy |FAQ | Партнери | Контакти | Кейс-уроки
© Автор системы образования 7W и Гипермаркета Знаний - Владимир Спиваковский
При использовании материалов ресурса
ссылка на edufuture.biz обязательна (для интернет ресурсов -
гиперссылка).
edufuture.biz 2008-© Все права защищены.
Сайт edufuture.biz является порталом, в котором не предусмотрены темы политики, наркомании, алкоголизма, курения и других "взрослых" тем.
Ждем Ваши замечания и предложения на email:
По вопросам рекламы и спонсорства пишите на email: