Search for LIMS content across all our Wiki Knowledge Bases.
Type a search term to find related articles by LIMS subject matter experts gathered from the most trusted and dynamic collaboration tools in the laboratory informatics industry.
Математический софизм (от греч.σόφισμα — уловка, хитрая выдумка, головоломка[1]) — ошибочное математическое утверждение, полученное с помощью рассуждений, которые кажутся правильными, но в действительности содержат ту или иную ошибку[2]. Причины ошибки могут быть разнообразными — применение запрещённых в математике действий (например, деление на ноль), неточное использование математических законов или использование вне зоны их применимости, логические ошибки и т. д.
Математический софизм является частным случаем софизма. Далее в данной статье речь идёт только о математических софизмах, которые для краткости будут называться просто софизмами. Не следует путать софизмы с научными парадоксами (например, с апориями Зенона, парадоксом дней рождения или парадоксом Банаха — Тарского), которые не содержат ошибок и часто обладают немалой научной ценностью[2].
Разбор софизмов, поиск ошибок в них исключительно ценны в ходе преподавания математики[3], они помогают учащимся и студентам сформировать ясное понимание математических и логических законов, а также предостерегают от возможных типичных ошибок в применении этих законов[2][4].
История
Прокл Диадох (V век н. э.) в своих комментариях к «Началам» Евклида сообщил, что ещё Евклид в III веке до н. э. составил сборник математических софизмов в помощь изучающим геометрию; сборник назывался «Псевдария» и до наших дней не дошёл. Цель софизмов, согласно Проклу — научить учащихся обнаруживать ошибки в рассуждениях и избегать их в дальнейшем[4].
В дальнейшем, вплоть до наших дней, учебная литература, а также сборники по занимательной математике, часто включают софизмы с заданием «найдите ошибку», на основе которых поясняются математические правила и проверяются знания читателей.
Классификация софизмов
Существует несколько вариантов группировки софизмов — одни авторы группируют их по виду математической тематики, другие по типу ошибки в рассуждениях, третьи сочетают в том или ином виде оба подхода.
Российский педагог В. И. Обреимов предложил делить софизмы по типу ошибочного результата[5]:
Эта классификация подверглась критике за то, что материал по одной и той же ошибке сводит вместе разные разделы математики, что методологически неправильно, и к тому же классификационные признаки недостаточно существенны[6].
Немецкий математик Герман Шуберт рассматривал четыре типа софизмов («Математические развлечения и игры», 1897)[6]:
Книга В. М. Брадиса и других отмечает очевидную неполноту этого списка и предлагает свою[7]:
Неправильности речи.
Распространение на исключительные случаи (например, деление на ноль).
Приписывание свойств определённого вида всему роду. Например, обе части неравенства можно сократить на общий положительный множитель, но если множитель отрицательный, важно не забыть изменить знак неравенства на противоположный.
Неправильное применение принципа непосредственных умозаключений путём обращения. Например, из равенства чисел следует равенство их квадратов, но обратное неверно.
Уклонение от тезиса, то есть доказательство не того утверждения, которое первоначально сформулировано.
Сам материал софизмов в книге Брадиса и др. изложен строго по темам: арифметика, алгебра, геометрия, тригонометрия, приближённые вычисления. Данная статья также придерживается тематического разбиения материала как наиболее удобного для преподавателей и учащихся.
Элементарная математика
Алгебра
Деление на ноль
Софизм. Пусть — произвольные числа. Обозначим их разность буквой то есть Умножим это равенство на Раскроем скобки:
Далее сгруппируем одночлены следующим образом: или:
Сократив на получаем: то есть все числа равны.
Причина ошибки: поскольку мы не имеем права сокращать на потому что это выражение равно нулю, а сокращать (то есть делить) на ноль нельзя[8].
Деление на ноль — одна из самых частых алгебраических ошибок, причём это деление может быть замаскировано, например, под сокращение общего множителя. Например, сокращая уравнение на мы теряем корень Другой софизм — уравнение:
Сокращая на мы не только теряем единственный корень уравнения но попутно приобретаем лишний корень который не входит в область допустимых значений неизвестного, поскольку подкоренное выражение при становится отрицательно[9].
Неравенства
Софизм 1. Пусть — произвольные положительные числа, причём Умножив это неравенство на и отняв от обеих его частей получим: Разложим на множители:
Сократив на (по условию оно не равно нулю), получим неравенство: Отнимем от обеих частей результат: То есть любое положительное число одновременно и отрицательное.
Причина ошибки: обе части неравенства можно сокращать на общий ненулевой множитель, но если этот множитель отрицательный, то знак неравенства должен быть изменён на противоположный. Здесь именно тот случай, так как После сокращение получим: ошибка устранена[10].
Причина ошибки: из равенства квадратов величин следует равенство самих величин только если они имеют одинаковые знаки. Правильное извлечение корня даёт результат с абсолютной величиной: и тогда ошибка не возникает[11].
Софизм 2. В старших классах определяется возведение числа не только в целую, но и в дробную степень: Рассмотрим софизм, доказывающий, что .
Причина ошибки: возведение в дробную степень определяется только для неотрицательных чисел[12].
Софизм 3. Следует проявлять осторожность при возведении в дробную степень значений тригонометрических функций. Кажется очевидным, что однако при получаем ошибочное равенство: Выше уже пояснялось, что арифметический корень из квадрата числа равен абсолютной величине числа, так что правильная запись следующая[13]:
Некорректные условия задачи
Софизм 1. Решаем уравнение:
Проверка: подстановка первого корня в уравнение даёт равенство подстановка второго даёт:
Причина ошибки: исходное уравнение не имеет решений. Это видно из того, что левая часть строго больше нуля так как он под корнем). При возведении в квадрат появились два посторонних корня, но проверка их отбраковала[14].
Умножив обе части уравнения на и затем прибавив к ним мы преобразуем уравнение к виду: После извлечения кубического корня получается уравнение откуда: то есть все числа равны нулю.
Причина ошибки: мы обращались с неизвестным как с вещественным числом, однако исходное уравнение, как легко убедиться, не имеет вещественных корней (исключая как раз случай ), потому что его дискриминант Если же рассматривать уравнение в системе комплексных чисел, то все рассуждения до извлечения кубического корня верны, но комплексный кубический корень имеет три значения, поэтому из равенства кубов не следует равенства самих величин[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].
Объединив первые две скобки и внеся множитель 2 внутрь третьей скобки, получаем разность двух одинаковых величин, то есть ноль, хотя не равен нулю:
Причина ошибки: не всякая перегруппировка членов ряда разрешена, она справедлива только для абсолютно сходящихся рядов. В частности, представление сходящегося исходного ряда в виде разности двух расходящихся рядов некорректно. Ряд называется «гармоническим», и он расходится, хотя отличается от исходного только знаками членов[26].
Софизм 2. Найдём интеграл от положительной функции методом замены переменной:
Введём новую переменную ; отрезок интегрирования для перейдёт в отрезок для :
Правильный ответ:
Причина ошибки: при замене переменной старая и новая переменные должны находиться во взаимно-однозначном соответствии, иначе обратная функция не определена[29]; в софизме это правило нарушено.
Другие софизмы
Несколько дополнительных примеров софизмов и парадоксальных выводов, вызвавших оживлённое обсуждение в научном сообществе:
↑Анализ задачи построения треугольника по двум сторонам и углу не между ними см. в статье Решение треугольников или в справочнике: Выгодский М. Я. Справочник по элементарной математике. — М.: Наука, 1978. — С. 294.
Мадера А. Г., Мадера Д. А. Математические софизмы. Правдоподобные рассуждения, приводящие к ошибочным утверждениям / Книга для учащихся 7—11 классов. — М.: Просвещение, 2003. — 112 с. — ISBN 5-09-010795-5.
Нагибин Ф. Ф., Канин Е. С.Математические софизмы // Математическая шкатулка. Пособие для учащихся. — Издание 4-е. — М.: Просвещение, 1984.
Обреимов В. И. Математические софизмы. — 2-е изд. — СПб.: Ф. Павленков, 1889. — 79 с.