Виды доказательств
Если доказательство теоремы получается не сразу, это может быть потому, что вы подходите к нему неправильно. Ниже приведены некоторые эффективные методы доказательства, которые помогут вам двигаться в правильном направлении.
* Доказательство от очевидного: “Доказательство так ясно, что его не стоит приводить’’.
* Доказательство на основе общего соглашения: “Все за?…’’
* Доказательство силой воображения: “Ну, мы представим, что это верно’’.
* Доказательство из удобства: “Было бы очень хорошо, если бы это было верно, так что…’’
* Доказательство по необходимости: “Это должно быть истинным, иначе рухнули бы все основания математики’’.
* Доказательство от правдоподобия: “Это хорошо звучит, так что оно должно быть верным’’.
* Доказательство путем запугивания: “Не будьте глупцами, конечно же, это верно’’.
* Доказательство от нехватки времени: “Из-за нехватки времени я оставляю доказательство этого вам’’.
* Доказательство отсрочкой: “Доказательство этого слишком длинное и трудное, поэтому оно приведено в приложении’’.
* Доказательство по случаю: “Эй, ну что тут у нас?’’
* Доказательство от незначительности: “Кого действительно заботит, так это или иначе?’’
* Доказательство от фетиша: “Для любого
* Доказательство от ненормативной лексики: (пример опущен).
* Доказательство по определению: “Мы определим, что это верно’’.
* Доказательство от тавтологии: “Это верно, потому что это верно’’.
* Доказательство плагиатом: “Как мы видим, на стр. 238…’’
* Доказательство забытой ссылкой: “Я знаю, я видел это где-то…’’
* Доказательство анализом: “Это доказательство требует применения математического анализа, поэтому мы его опустим’’.
* Доказательство террором: когда запугать не удается…
* Доказательство отсутствием интереса: “Кто-нибудь действительно хочет увидеть это?’’
* Доказательство неразборчивостью: “¥ ª Ð Þ Тхэ’’
* Доказательство с помощью логики: “Если это на листе с задачами, то это должно быть верно’’.
* Доказательство по правилу большинства: может быть использовано только в том случае, если общее соглашение невозможно.
* Доказательство правильным выбором переменной: “Пусть
* Доказательство разбиением: “Это доказательство такое же, как предыдущее’’.
* Доказательство Божественным Словом: “И сказал Господь: “Пусть это будет правдой”, — и было так’’.
* Доказательство от упрямства: “Мне все равно, что Вы говорите. Это правда!’’
* Доказательство путем упрощения: “Это доказательство сводится к утверждению
* Доказательство от поспешного обобщения: “Ну, это справедливо для
* Доказательство путем обмана: “Теперь все отворачиваются…’’
* Доказательство мольбой: “О, пожалуйста, пусть это будет верно’’.
* Доказательство плохой аналогией: “Ну, это как…’’
* Доказательство отсрочкой: Доказательство откладывается до тех пор, пока
* Доказательство дизайном: “Если это не так в сегодняшней математике, придумаем новую систему, в которой это верно.’’
* Доказательство интуитивно: “Я чувствую это шестым чувством…’’
* Доказательство авторитетом: “Ну, Билл Гейтс говорит, что это правда, поэтому так и должно быть’’.
* Доказательство энергичным утверждением: “И я ДЕЙСТВИТЕЛЬНО ПОДРАЗУМЕВАЮ ЭТО!”
* Доказательство по теореме Л.Д.З.Э.: “Любой дурак знает это!’’
* Доказательство энергичным маханием руками: хорошо работает в классе.
* Доказательство обольщением: `Убедите себя в том, что это верно!’’
* Доказательство накопленными доказательствами: “Долгие и усердные поиски не выявили контрпримеров’’.
* Доказательство Божественным вмешательством: “Тогда происходит чудо…’’
* Доказательство путем ссылки на дальнейшее: ссылка, как правило, на будущую работу автора, которая часто выходит не так уж скоро.
* Доказательство путем финансирования: как могут ошибаться три различных государственных ведомства?
* Доказательство примером: автор приводит лишь случай
* Доказательство бездействием: “Читатель может легко добавить детали’’ или “Другие 253 случая аналогичны’’.
* Доказательство путем отсрочки: “Мы докажем это в конце курса’’.
* Доказательство рисунком: более удобная форма, чем доказательство примером. Хорошо сочетается с доказательством бездействием.
* Доказательство путем запугивания: “Тривиально.’’
* Доказательство наречиями: “Как совершенно ясно, вышеупомянутое элементарное утверждение, очевидно, справедливо’’.
* Доказательство громоздкими обозначениями: лучше всего использовать по меньшей мере четыре алфавита и специальные символы.
* Доказательство измором: полезно иметь один или два журнала, посвященных вашему доказательству.
* Доказательство запутыванием: долгая бессюжетная последовательность истинных и/или бессмысленных синтаксически связанных утверждений.
* Доказательство желаемой цитатой: автор приводит отрицание, обратную, или обобщенную теорему из литературы в обоснование своих утверждений.
* Доказательство с помощью признанных авторитетов: “Я видел Карпа в лифте, и он сказал, что это, вероятно, NP-полная задача’’.
* Доказательство личным собщением: “Раскраска восьмимерного цветного цикла является NP-полной задачей [Карп, личное сообщение]’’.
* Доказательство путем сведения к неправильной задаче: “Чтобы увидеть, что задача раскраски бесконечномерных цветных циклов разрешима, сведем ее к задаче остановки’’.
* Доказательство путем ссылки на недоступную литературу: автор приводит простое следствие теоремы, которое можно найти в частным образом распространенных мемуарах Словенского филологического общества 1883 г.
* Доказательство важностью: большое количество полезных следствий выводится из доказываемого утверждения.
* Доказательство взаимной справкой: В работе
* Доказательство метадоказательством: приводится метод построения желаемого доказательства. Корректность метода доказана любым из этих методов.
* Доказательство яростным утверждением: полезно иметь какое-то влияние на аудиторию.
* Доказательство призраком ссылки: ничего даже отдаленно напоминающего цитируемую теорему не появляется в данной ссылке.
* Доказательство семантическим сдвигом: из-за некоторых стандартных, но неудобных определений изменилась формулировка результата.
* Доказательство обращением к интуиции: здесь часто помогают рисунки, имеющие форму облака.
Источник: http://www.onlinemathlearning.com/math-jokes-mathematical-proofs.html
Оставьте свой отзыв