Математический софизм

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Плакат Якова Гуминера «Арифметика встречного промфинплана» (1931 год)

Математический софизм (от греч. σόφισμαуловка, хитрая выдумка, головоломка[1]) — ошибочное математическое утверждение, полученное с помощью рассуждений, которые кажутся правильными, но в действительности содержат ту или иную ошибку[2]. Причины ошибки могут быть разнообразными — применение запрещённых в математике действий (например, деление на ноль), неточное использование математических законов или использование вне зоны их применимости, логические ошибки и т. д.

Математический софизм является частным случаем софизма. Далее в данной статье речь идёт только о математических софизмах, которые для краткости будут называться просто софизмами. Не следует путать софизмы с научными парадоксами (например, с апориями Зенона, парадоксом дней рождения или парадоксом Банаха — Тарского), которые не содержат ошибок и часто обладают немалой научной ценностью[2].

Разбор софизмов, поиск ошибок в них исключительно ценны в ходе преподавании математики, они помогают учащимся и студентам сформировать ясное понимание математических и логических законов, а также предостерегают от возможных типичных ошибок в применении этих законов[2][3].

История[править | править код]

Прокл Диадох (V век н. э.) в своих комментариях к «Началам» Евклида сообщил, что ещё Евклид в III веке до н. э. составил сборник математических софизмов в помощь изучающим геометрию; сборник назывался «Псевдария» и до наших дней не дошёл. Цель софизмов, согласно Проклу — научить учащихся обнаруживать ошибки в рассуждениях и избегать их в дальнейшем[3].

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

Классификация софизмов[править | править код]

Существует несколько вариантов группировки софизмов — одни авторы группируют их по виду математической тематики, другие по типу ошибки в рассуждениях, третьи сочетают в том или ином виде оба подхода.

Российский педагог В. И. Обреимов предложил делить софизмы по типу ошибочного результата[4]:

  1. Равенство неравных.
  2. Неравенство равных.
  3. Меньшее превышает большее.
  4. Геометрические несообразности.
  5. Мнимое реально (ошибки в рассуждениях о комплексных числах).
  6. Неразрешимые уравнения.

Эта классификация подверглась критике за то, что материал по одной и той же ошибке сводит вместе разные разделы математики, что методологически неправильно, и к тому же классификационные признаки недостаточно существенны[5].

Немецкий математик Герман Шуберт рассматривал четыре типа софизмов («Математические развлечения и игры», 1897)[5]:

  1. Деление на ноль.
  2. Двузначность квадратного корня.
  3. Ошибки в геометрических построениях.
  4. Некорректная работа с бесконечностью.

Книга В. М. Брадиса и других отмечает очевидную неполноту этого списка и предлагает свою[6]:

  1. Неправильности речи.
  2. Распространение на исключительные случаи (например, деление на ноль).
  3. Приписывание свойств определённого вида всему роду. Например, обе части неравенства можно сократить на общий положительный множитель, но если множитель отрицательный, важно не забыть изменить знак неравенства на противоположный.
  4. Неправильное применение принципа непосредственных умозаключений путём обращения. Например, из равенства чисел следует равенство их квадратов, но обратное неверно.
  5. Подмена точных определений геометрической интуицией.
  6. Ошибки построения,
  7. Ошибки, являющиеся следствием буквального толкования сокращённой (условной) формулировки некоторых геометрических утверждений.
  8. Нарушение смысла условных записей.
  9. Уклонение от тезиса, то есть доказательство не того утверждение, которое первоначально сформулировано.

Сам материал софизмов в книге Брадиса и др. изложен строго по темам: арифметика, алгебра, геометрия, тригонометрия, приближённые вычисления. Данная статья также придерживается тематического разбиения материала как наиболее удобного для преподавателей и учащихся..

Элементарная математика[править | править код]

Алгебра[править | править код]

Деление на ноль[править | править код]

Софизм. Пусть — произвольные числа. Обозначим их разность буквой то есть Умножим это равенство на Раскроем скобки: Далее сгруппируем одночлены следующим образом: или:

Сократив на получаем: то есть все числа равны.

  • Причина ошибки: поскольку мы не имеем права сокращать на потому что это выражение равно нулю, а сокращать (то есть делить) на ноль нельзя[7].

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

Сокращая на мы не только теряем единственный корень уравнения но попутно приобретаем лишний корень который не входит в область допустимых значений неизвестного, поскольку подкоренное выражение при становится отрицательно[8].

Неравенства[править | править код]

Софизм 1. Пусть — произвольные положительные числа, причём Умножив это неравенство на и отняв от обеих его частей получим: Разложим на множители:

Сократив на (по условию оно не равно нулю), получим неравенство: Отнимем от обеих частей результат: То есть любое положительное число одновременно и отрицательное.

  • Причина ошибки: обе части неравенства можно сокращать на общий множитель, но если множитель отрицательный, то знак неравенства должен быть изменён на противоположный. Здесь именно тот случай, так как После сокращение получим: ошибка устранена[9].

Извлечение корня[править | править код]

Софизм 1. Верное равенство: можно записать в виде: Извлекая квадратный корень, получаем: откуда:

  • Причина ошибки: из равенства квадратов величин следует равенство самих величин только если они имеют одинаковые знаки. Правильное извлечение корня даёт результат с абсолютной величиной: и тогда ошибка не возникает[10].

Софизм 2. В старших классах определяется возведение числа не только в целую, но и в дробную степень: Рассмотрим софизм, доказывающий, что .

  • Причина ошибки: возведение в дробную степень определяется только для неотрицательных чисел[11].

Софизм 3. Следует проявлять осторожность при возведении в дробную степень значений тригонометрических функций. Кажется очевидным, что однако при получаем ошибочное равенство: Выше уже пояснялось, что арифметический корень из квадрата числа равен абсолютной величине числа, так что правильная запись следующая[12]:

Некорректные условия задачи[править | править код]

Софизм 1. Решаем уравнение:

Проверка: подстановка первого корня в уравнение даёт равенство подстановка второго даёт:

  • Причина ошибки: исходное уравнение не имеет решений. Это видно из того, что левая часть строго больше нуля так как он под корнем). При возведении в квадрат появились два посторонних корня, но проверка их отбраковала[13].

Софизм 2. Решим уравнение: где — произвольное вещественное число.

Умножив обе части уравнения на и затем прибавив к ним мы преобразуем уравнение к виду: После извлечения кубического корня получается уравнение откуда: то есть все числа равны нулю.

  • Причина ошибки: мы обращались с неизвестным как с вещественным числом, однако исходное уравнение, как легко убедиться, не имеет вещественных корней (исключая как раз случай ), потому что его дискриминант Если же рассматривать уравнение в системе комплексных чисел, то все рассуждения до извлечения кубического корня верны, но комплексный кубический корень имеет три значения, поэтому из равенства кубов не следует равенства самих величин[14].

Геометрия[править | править код]

Софизм 1. Разрежем треугольник на четыре части, как показано на верхней части рисунка, а затем составим из этих частей новый треугольник такой же величины, как показано на нижней части рисунка. От перестановки местами частей у нас общая площадь увеличилась на одну клетку!

  • Причина ошибки: прямая, которая кажется гипотенузой треугольника, на деле является ломаной, то есть рассматриваемая фигура — не треугольник, а четырёхугольник. Это легко заключить из того факта, что в красном треугольнике отношение катетов равно 3:8, а в синем — 2:5, что немного больше. Значит, у верхней фигуры ломаная чуть-чуть вогнута, у нижней — чуть-чуть выпукла, и разница в площади как раз даёт «лишнюю» клетку[15].
Софизм о равенстве треугольников

Софизм 2. Будем опираться на признак: два треугольника равны, если у них равны две стороны и один из углов. У треугольников ABC и ABC' равны две стороны () и угол значит, они равны, что противоречит построению.

  • Причина ошибки: небрежная и поэтому ошибочная формулировка признака равенства треугольников, правильно: «два треугольника равны, если у них равны две стороны и угол между ними». Собственно, данный софизм можно рассматривать как убедительное опровержение ошибочного признака[16].
Софизм о равнобедренности всех треугольников

Софизм 3: «все треугольники равнобедренные» (часто приписывается Льюису Кэрроллу[17])[18]. Рассмотрим произвольный треугольник ABC (см. рисунок). Биссектриса угла A и перпендикуляр к середине стороны BC пересекаются в некоторой точке O. Опустим из точки O перпендикуляры OR (на сторону AB) и OQ (на сторону AC), а также соединим O с вершинами B и C..

Прямоугольные треугольники RAO и QAO равны, потому что у них равны одна сторона (AO) и угол (∠RAO = ∠QAO). Равны также прямоугольные треугольники ROB и QOC, потому что у них равны две стороны: BO = OC и RO = OQ. Но тогда AR = AQ, RB = QC, и сторона AB = AR + RB = AQ + QC = AC — треугольник равнобедренный.

  • Причина ошибки: намеренно искажённый чертёж. Если его выполнить аккуратно, точка O будет не внутри, а вне треугольника (на описанной вокруг треугольника окружности). При этом одна из точек R и Q находится на стороне треугольника, а другая — на продолжении другой стороны: если сторона , то R внутри, Q снаружи, иначе наоборот. В первом случае  — минус вместо плюса; аналогично разбирается второй случай[19].

Тригонометрия[править | править код]

Стандартные обозначения в треугольнике

Софизм. Рассмотрим известное тригонометрическое тождество: В любом треугольнике сумма углов поэтому равен, с одной стороны, по тождеству, а с другой стороны — Следовательно, углы тоже равны: Вычитая это равенство из тождества: получаем: или Вывод: любой треугольник — прямоугольный.

  • Причина ошибки: равенство действительно имеет место для любого треугольника, но из него не следует равенство углов — это показывает и формула У любых двух углов, дополняющих друг друга до синусы одинаковы[20].

Доказательство по индукции[править | править код]

Софизм. Докажем, что все лошади одной масти. Доказательство ведём индукцией по числу лошадей. При утверждение тривиально. Пусть все табуны из лошадей одной масти; докажем для табуна из лошадей. Уберём одну лошадь; все оставшиеся имеют одинаковую масть по предположению индукции. Вернём лошадь в табун и заберём другую лошадь. Тогда и ранее отделявшаяся лошадь получается той же масти.

  • Причина ошибки: вторая часть доказательства не работает при (трюк с отделением лошади тогда ничего не доказывает)[21].

Этот остроумный софизм имеет интересную вариацию: доказательство утверждения, что все целые числа равны. Докажем индукцией по длине отрезка натуральных чисел . При чисел в отрезке всего одно, и утверждение справедливо. Пусть утверждение верно для первых чисел, докажем для Возьмём два произвольных числа По предположению индукции но тогда и Ошибка здесь аналогична предыдущей: для отрезка длины 2, значение выходит за пределы предположения индукции, разрушая логику доказательства[22].

Высшая математика[править | править код]

Комплексные числа[править | править код]

Софизм 1. Мнимая единица определяется как так что Но Получается, что

Софизм 2. Возведём известное тождество в степень Слева получится справа, очевидно, 1. В итоге: что, как легко проверить, неверно.

  • Причина ошибки: возведение в комплексную степень даёт многозначный результат, поэтому правило здесь неприменимо. Надо использовать общее определение, см. раздел Комплексная степень.

Пределы функций[править | править код]

Софизм 1. Найдём предел выражения когда Если сначала устремить то предел равен (независимо от значения ), а если начать с то предел равен Получается, что любое число равно своему обратному.

  • Причина ошибки: собственно, ошибка только в окончательном выводе. Перестановка порядка частичных пределов, вообще говоря, может изменить результат[24].

Действия с бесконечными рядами[править | править код]

Софизм 1. Рассмотрим бесконечный ряд для натурального логарифма , получаемый из ряда Меркатора при

Сгруппируем вместе члены с одинаковыми знаками:

Объединив первые две скобки и внеся множитель 2 внутрь третьей скобки, получаем разность двух одинаковых величин, то есть ноль, хотя не равен нулю:

  • Причина ошибки: не всякая перегруппировка членов ряда разрешена, она справедлива только для абсолютно сходящихся рядов. В частности, представление сходящегося исходного ряда в виде разности двух расходящихся рядов некорректно. Ряд называется «гармоническим», и он расходится, хотя отличается от исходного только знаками членов[25].

Интегрирование[править | править код]

Неопределённый интеграл[править | править код]

Софизм. Проинтегрируем два тождества:

Результаты:

Вычитая из первого равенства второе, получаем:

в то время как справа должна быть 1.

Определённый интеграл[править | править код]

Софизм 1. Найдём интеграл от положительной функции по формуле Ньютона — Лейбница:

Интеграл от положительной функции оказался отрицательным («парадокс Даламбера», 1768 год)[27].

  • Причина ошибки: подынтегральная функция разрывна (и не ограничена) в нуле, поэтому формула Ньютона — Лейбница к ней неприменима.

Софизм 2. Найдём интеграл от положительной функции методом замены переменной:

Введём новую переменную ; отрезок интегрирования для перейдёт в отрезок для :

Правильный ответ:
  • Причина ошибки: при замене переменной старая и новая переменные должны находиться во взаимно-однозначном соответствии, иначе обратная функция не определена[28]; в софизме это правило нарушено.

Другие софизмы[править | править код]

Несколько дополнительных примеров ошибочных рассуждений, вызвавших оживлённое обсуждение в научном сообществе:

Примечания[править | править код]

  1. Софизм // Советский энциклопедический словарь. — 2-е изд.. — М.: Советская энциклопедия, 1982. — С. 1241. — 1600 с.
  2. 1 2 3 Мадера А. Г., Мадера Д. А., 2003, с. 3—4.
  3. 1 2 Брадис и др., 1959, с. 7—11.
  4. Обреимов, 1889.
  5. 1 2 Брадис и др., 1959, с. 11—14.
  6. Брадис и др., 1959.
  7. Мадера А. Г., Мадера Д. А., 2003, с. 9.
  8. Мадера А. Г., Мадера Д. А., 2003, с. 65—66.
  9. Брадис и др., 1959, с. 89—90.
  10. Мадера А. Г., Мадера Д. А., 2003, с. 6.
  11. Мордкович А. Г. Алгебра и начала анализа. Учебник для 10—11 классов, часть 1. — изд. 4-е. — М.: Мнемозина, 2003. — С. 253—255. — 376 с.
  12. Мадера А. Г., Мадера Д. А., 2003, с. 16.
  13. Брадис и др., 1959, с. 58.
  14. Мадера А. Г., Мадера Д. А., 2003, с. 7—8, 66—67.
  15. Curry Triangle Paradox. Дата обращения 31 августа 2019.
  16. Анализ задачи построения треугольника по двум сторонам и углу не между ними см. в статье Решение треугольников или в справочнике: Выгодский М. Я. Справочник по элементарной математике. — М.: Наука, 1978. — С. 294.
  17. На самом деле софизм впервые опубликован в книге: Ball W. W. R. Mathematical Recreations and Essays (1892 год), откуда и взял его Кэрролл.
  18. Robin Wilson (2008), Lewis Carroll in Numberland, Penguin Books, с. 169–170, ISBN 978-0-14-101610-8 
  19. Мадера А. Г., Мадера Д. А., 2003, с. 21—23, 81—82.
  20. Мадера А. Г., Мадера Д. А., 2003, с. 45—46, 66—67.
  21. Пойа, Д. Математика и правдоподобные рассуждения. — Изд. 2-е, исправленное. — М.: Наука, 1975. — С. 140.
  22. Федин С. Н. Математики тоже шутят. — 4-е изд. — М.: УРСС, 2012. — С. 274. — 216 с. — ISBN 978-5-397-02435-8.
  23. Брадис и др., 1959, с. 81—82.
  24. Мадера А. Г., Мадера Д. А., 2003, с. 17, 76.
  25. Мадера А. Г., Мадера Д. А., 2003, с. 15, 73—75.
  26. Мадера А. Г., Мадера Д. А., 2003, с. 39, 94.
  27. Марков С. Н. Курс истории математики: Учебное пособие. — Иркутск: Издательство Иркутского университета, 1995. — С. 167. — 248 с. — ISBN 5-7430-0496-X.
  28. Шнейдер В. Е. и др. Краткий курс высшей математики. Учеб. пособие для втузов. — М.: Высшая школа, 1972. — 640 с.

Литература[править | править код]

  • Брадис В. М„ Минковский В. Л., Харчева А. К. Ошибки в математических рассуждениях. — 2-е изд. — М.: Учпедгиз, 1959. — 177 с.
    • 3-е издание: М.: Просвещение, 1967. — 191 с.
  • Гарднер, Мартин. Геометрические заблуждения (глава 6) // Крестики-нолики. — М.: Мир, 1988. — 325 с. — ISBN 5-03-001234-6.
  • Гарднер, Мартин. Математические софизмы (глава 13) // Математические головоломки и развлечения. — М.: Мир, 1971. — 511 с.
  • Мадера А. Г., Мадера Д. А. Математические софизмы. Правдоподобные рассуждения, приводящие к ошибочным утверждениям. / Книга для учащихся 7—11 классов. — М.: Просвещение, 2003. — 112 с. — ISBN 5-09-010795-5.
  • Обреимов В. И. Математические софизмы. — 2-е изд. — Спб.: Ф. Павленков, 1889. — 79 с.
  • Перельман Я. И. Дважды два — пять! (Математические софизмы).. — Л.: ДЗН, 1839. — 16 с.
  • Фурре, Эмиль. Геометрическiе головоломки и паралогизмы. — Одесса: Mathesis, 1912. — 52 с.

Ссылки[править | править код]