Плакат Якова Гуминера «Арифметика встречного промфинплана» (1931 год)

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

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

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

История

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

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

Классификация софизмов

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

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

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

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

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

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

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

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

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

Элементарная математика

Алгебра

Деление на ноль

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

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

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

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

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

Неравенства

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

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

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

Извлечение корня

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

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

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

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

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

Некорректные условия задачи

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

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

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

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

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

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

Геометрия

Исчезновение клетки

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

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

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

Софизм о равенстве треугольников

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

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

Софизм 3: «все треугольники равнобедренные» (часто приписывается Льюису Кэрроллу[18])[19]. Рассмотрим произвольный треугольник 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 снаружи, иначе наоборот. В первом случае  — минус вместо плюса; аналогично разбирается второй случай[20].

Тригонометрия

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

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

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

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

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

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

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

Высшая математика

Комплексные числа

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

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

  • Причина ошибки: возведение в комплексную степень даёт многозначный результат, поэтому правило здесь неприменимо, надо использовать общее определение (см. Комплексная степень); Аккуратное применение формул определения комплексной степени даёт слева и справа отсюда видно, что корень ошибки — путаница значений этого выражения при и при

Пределы функций

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

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

Действия с бесконечными рядами

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

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

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

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

Интегрирование

Неопределённый интеграл

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

Результаты:

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

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

Определённый интеграл

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

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

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

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

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

Другие софизмы

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

Примечания

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

Литература

Ссылки