Что не так Логические парадоксы и софизмы 2019 Львовский

С. М.
Львовский
Что не так?
Математические парадоксы
и софизмы
С. М. Львовский
Что не так?
Математические парадоксы и софизмы
Москва
Издательство МЦНМО
2019
УДК 51(07)
ББК 22.1
Л89
Львовский С. М.
Л89 Что не так? Математические парадоксы и софиз
м ы ,— М.: МЦНМО, 2019. — 56 с.: ил.
ISBN 978-5-4439-1372-8
В первой главе брошюры собрано 25 занимательных примеров
ошибочных математических и логических рассуждений; читателю
предлагается найти в этих рассуждениях ошибки, а затем свериться с
разбором ошибок, приведенным во второй главе.
Для всех интересующихся математикой, начиная со школьников.
ББК 22.1
Научно-популярное издание
Сергей Михайлович Львовский
ЧТО НЕ ТАК?
Математические парадоксы и софизмы
Подписано в печать 23.11.2018 г. Формат 60 х 90 Ѵіб- Бумага офсетная.

Печать офсетная. Печ. л. 3,5. Тираж 3000 экз. Заказ №
Издательство Московского центра
непрерывного математического образования.
119002, Москва, Большой Власьевский пер., д. 11. Тел. (499) 241-08-04.
Отпечатано в типографии ООО «Принт сервис групп».
Тел./факс (499) 785-05-18, E-mail: 35652640mail.ru, w w w .printsg.ru.
105187, г. Москва, ул. Борисовская, д. 14, стр. 6.
Книги издательства МЦНМО можно приобрести в магазине
«Математическая книга». Москва, Большой Власьевский пер., д. 11.
Тел. (495) 745-80-31. E-mail: b ib lio 0 m c c m e .r u
© Львовский С. М., 2019

ISBN 978-5-4439-1372-8 © МЦНМО, 2019
Памяти Виталия Арнольда
П редисловие
Он хотел взглянуть на прыщик, который

вчерашнего вечера вскочил у него на но
су; но, к величайшему изумлению, уви
дел, что у него вместо носа совершенно
гладкое место!
Н. В. Гоголь. Нос
Парадокс, согласно толковым словарям, — это утверждение, про

тиворечащее здравому смыслу. Софизм — это рассуждение, кажуще
еся логичным, но скрывающее ошибку.
В этой брошюре собраны 25 математических и околоматематиче-
ских парадоксов и софизмов. В главе 1 приводятся ошибочные рас
суждения со странными выводами^. Обсуждения софизмов с разъ
яснениями, где спряталась ошибка, вынесены во вторую главу, чтоб
не лишать читателя удовольствия поискать ошибки самостоятельно.
Иногда при анализе софизмов в главе 2 кроме самого указания на
ошибку приводится краткое обсуждение смежных вопросов.
Софизмы, собранные в книжке, довольно разнородны: в некото
рых из них ошибка сразу бросается в глаза, в других ее обнаружить
непросто, а кое-какие из парадоксов возникли в ходе научных ис
следований и были в свое время предметом размышлений ведущих
математиков. Но большинство софизмов и парадоксов из этой бро
шюры были когда-то сочинены специально, для развлечения, и давно
вошли в «математический фольклор».
Многие софизмы, обсуждаемые в этой брошюре, заимствованы
из двух книг: замечательной книги Я. С. Дубнова «Ошибки в геомет
рических доказательствах» [5] (первое издание ее вышло в 1953 го
ду, и после этого она несколько раз переиздавалась) и вышедшей
в 1920 году в Петрограде переводной книги [6] В. Литцмана и Ф. Три
ра «Где ошибка?» (перевод с немецкого; в этой книге софизмы
приведены без разъяснений, в надежде, что читатель разберется
в них сам). Впрочем, целый ряд софизмов, приведенных в книге Дуб
нова, есть уже у Литцмана и Трира (см. выше про математический
фольклор). В некоторых случаях я воспроизводил фрагменты из [5]
и [6] весьма близко к тексту (такие случаи мною отмечены), в других
случаях изложение Дубнова или Литцмана—Трира было подвергнуто
1}Обычно эта странность бросается в глаза, но в некоторых случаях надо

немного подумать, чтобы понять, что доказанное утверждение неверно.
4 Предисловие
переработке, порой — серьезной. Для софизмов, в книгах [5] и [6] не

представленных, указать точный источник я не берусь.
Я попытался сгруппировать софизмы по темам, а также располо
жить их более или менее в порядке возрастания подготовки, необхо
димой для их понимания. Для нескольких последних софизмов тре
буется знакомство с началами математического анализа (первого се
местра вуза с математической специализацией хватит с большим за
пасом), для остальных достаточно школьной программы.
Обсуждения софизмов не менее разнородны, чем сами софизмы:
иногда все обсуждение укладывается в две строчки, иногда оно рас
тягивается на несколько страниц.
Приступая к самостоятельному поиску ошибок, полезно иметь
в виду, что неправильные рассуждения бывают неправильны по-
разному. Бывает, что рассуждение и само неправильно, и «доказыва
ет» ерунду, но бывает и так, что с помощью неверного рассуждения
приходят к верному выводу, а ошибка в рассуждении сам этот вывод
не компрометирует (из неверного утверждения 2 + 2 = 5 вытекает
верное утверждение 2 + 2 > 3; в главе 1 есть менее грубые примеры).
Иногда после обнаружения в доказательстве ошибки от него вообще
ничего не остается; иногда в неверном доказательстве присутствует
«рациональное зерно», и тогда после исправления ошибки оказы
вается, что действительно кое-что доказано (но не то, что было
заявлено); бывает и так, что рассуждение, ведущее к нелепому
выводу, ошибок вовсе не содержит, а парадокс получился оттого,
что мы неправильно понимали, что именно доказано.
Я благодарен Ю. Н. Торхову, убедившему меня написать эту книж
ку. При работе над ней мне были полезны беседы с И. Р. Высоцким
о современной школьной программе по стереометрии. Блогер mtsyr
с платформы l iv e j o u r n a l . com напомнил мне про софизм с интегри
рованием по частям. В. Л. Львовской я обязан ценным обсуждением
парадокса «Учебная тревога».
Глава 1
Формулировка софизмов
Первые несколько софизмов будут относиться к школьному курсу

алгебры (или, если угодно, алгебры и начал анализа). Большинство
из них несложные, а начнем мы и с совсем простого.
Формулировки софизмов 1-4 взяты из книги [6], иногда с неболь
шими изменениями.
1. 4 = 5, или Тождественные преобразования

Исходя из не вызывающего сомнений равенства —20 = —20, про
ведем следующие преобразования:
-2 0 = - 20 ;
1 6 - 3 6 = 2 5 - 45;
16 - 36 + ^ = 2 5 - 4 5 + ^ ;
4 = 5.
2. Если а > Ъ> 0, то а > 2Ь, или Работаем с неравенствами

Пусть а > Ь (а и b — положительные числа). Из неравенства
а> Ъ (1)
следует, что
а -Ъ > Ъ 2
и дальше, если обе части неравенства уменьшить на а 2,
а-Ъ - а2 >Ъ2 - а2.
Поделив на (Ъ — а), получаем:
а > Ь + а.
6 Софизмы
Если сложить это, уже само по себе удивительное, неравенство

с (1), мы получим:
2 а > 2 b + а,
а отсюда
а > 2Ь.
3. 4 = 8, или Решаем системы уравнений

Рассмотрим следующую систему уравнений:
( 2х + у = 8,
1 *-!=*■ <2)
Решим эту систему. Для этого подставим выражение для х из второго
уравнения в первое:
2 ( 2 - ! ) + ^ = 8,
4 —У + У = 8,
4 = 8.
Итак, 4 = 8, как мы и обещали.
4. 1 = —1, или Логарифмы отрицательных чисел

Для произвольного числа а проведем следующие преобразова
ния:
2 In а = In (а2) = In (—а)2 = 21п (—а),
или
In а = 1п ( - а ) .
В частности, если прологарифмировать тождество
с - 1)2 = 1,
то легко получим:
21п (—1) = 1п 1 = 0.
Из равенства ln(—1) = 0 можно сделать замечательный вывод:
е° = - 1;
так как левая часть этого равенства равна единице, отсюда вытекает
равенство
1 = - 1.
Теперь перейдем к софизмам геометрическим. Среди них будут

и довольно сложные.
Софизмы 7
5. 64 = 65, или Разрезаем и складываем

Если равенство 4 = 5 мы доказывали алгебраически, то равно
сильное ему равенство 64 = 65 мы докажем геометрически.
Именно, рассмотрим квадрат со стороной 8 (см. рис. 1а, где мы
для наглядности разграфили его на квадратики размером 1 x 1)
и разрежем его, как показано на том же рисунке, на два прямоуголь
ных треугольника с катетами 3 и 8 и две трапеции с прямым углом
и с основаниями 3 и 5. Из этих двух треугольников и двух трапеций
можно сложить прямоугольник с основанием 13 и высотой 5, как
показано на рис. 16. Поскольку разрезание фигуры на части и склады
вание этих частей по-иному площади не меняет, площадь квадрата,
то есть 8 • 8 = 64, равна площади прямоугольника, то есть 5*13 = 65,
что и требовалось доказать.
Рис. 1. 64 = 65 (геометрическое доказательство)
Рекомендуем читателю вырезать из клетчатой бумаги квадрат

8 x 8, разрезать его как на рис. 1а и попробовать сложить из получа
ющихся частей прямоугольник 5 x 1 3 .
6. Простое доказательство того, что сумма углов

треугольника равна 180°
Обычно то, что сумма углов треугольника равна 180°, доказыва
ют, «собирая» все три угла вместе, как на рис. 2.
При таком подходе приходится как-то обосновывать равенства на
подобие ZPAB = ZABC или равносильные равенства вроде ZQAB +
+ /.ABC = 180°. Евклид, не сумев вывести это последнее равенство
из более очевидных утверждений, вообще принял его за аксиому —
и, как было выяснено много позже, ничего лучше на этом пути при
думать нельзя.
А мы вот сейчас предложим доказательство очень простое и не
опирающееся ни на какие неясные предположения.
8 Софизмы
Р А Q
Рис. 2. Сумма углов треугольника равна 180°: одно из традици

онных доказательств. На рисунке PQ || ВС
Итак, предположим, что сумма углов треугольника равна х граду

сов; наша задача показать, что х = 180. Для этого возьмем произволь
ный треугольник ABC и разобьем его на два треугольника отрезком,
выходящим из вершины, как показано на рис. 3.
Рис. 3. Сумма углов треугольника равна 180°: новое доказательство
Обозначая углы цифрами (см. тот же рисунок), имеем

Z l + Z 2 + Z 6 = x,
Z3 + Z4 + Z5 = х.
Складывая эти равенства, получаем, что
Z l -4- Z 2 -Ь Z3 -Ь Z4 Z5 -4- Z 6 = 2,х.
Поскольку Z l + Z 2 + Z3 + Z4 равно сумме углов треугольника ABC,
то есть х , а сумма углов Z 5 и Z 6 равна 180°, получаем, что х + 180 =
= 2х, откуда х = 180.
7. Сумма углов сферического треугольника

Сейчас мы докажем, что сумма углов любого сферического тре
угольника (треугольника, образованного дугами больших кругов на
сфере) равна 180°. Нижеследующий текст взят, с минимальными из
менениями, из книги Литцмана и Трира [6].
Обычный вывод суммы углов плоского треугольника сводится
к следующему (рис. 4): начертив треугольник ABC на плоскости,
идут от А до В; повернув около точки В на величину внешнего
угла /3, следуют к С; сделав оборот в точке С на угол у, возвращаются
Софизмы 9
к А. Если возвращаются к исходному направлению от Л к В, т. е.

делают еще поворот на угол а, то будет сделан полный оборот, т. е.
360°. Сумма внешних углов, следовательно, равна 360°. А так как
внутренний угол и ему прилежащий вместе равны 180°, то сумма
всех внешних и внутренних углов равна 540°; для внутренних же
углов остается 180°.
Рис. 4. Сумма углов треугольника (еще одно традиционное доказательство)
В этой цепи умозаключений нигде нет предпосылки, что речь

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

При изложении и анализе этого софизма мы близко следуем Дуб
нову [5].
Пусть ABC — произвольный треугольник (рис. 5, 6а или 66); про
ведем биссектрису угла С, затем ось симметрии стороны АВ (т. е.
прямую, перпендикулярную к АВ в середине М отрезка АВ, — сере
динный перпендикуляр) и рассмотрим различные случаи взаимного
С
10 Софизмы
расположения этих прямых; так как в рассуждениях участвуют толь

ко одна биссектриса и одна ось симметрии, мы разрешим себе назы
вать их просто «биссектриса» и «ось».
Случай 1: биссектриса и ось параллельны или совпадают. Так как
ось перпендикулярна к АВ, биссектриса тоже перпендикулярна к АВ,
т. е. совпадает с высотой, а в таком случае треугольник ABC равно
бедренный (СА = СВ).
Случай 2: биссектриса и ось пересекаются внутри треугольника
ABC (рис. 5), пусть в точке N. Эта точка равноудалена от сторон угла
ABC; опустив из нее перпендикуляры NP и NQ соответственно на
СВ и СА, имеем NP = NQ. Но точка N в то же время равноудалена от
концов отрезка АВ, т. е. NB = NA. Прямоугольные треугольники NPB
и NQA равны по катету и гипотенузе, следовательно, ZNAQ = ZNBP.
Прибавляя к этим равным углам равные между собою (как углы при
основании равнобедренного треугольника ANB) углы NAB и NBA,
получим ZCAB = ZCBA, значит, треугольник ABC равнобедренный
(именно, СА = СВ).
Случай 3: биссектриса и ось пересекаются на стороне АВ, т. е. в се
редине М этой стороны. Это означает, что в треугольнике ABC меди
ана и биссектриса, проведенные из вершины С, совпадают, а отсюда,
как известно, следует, что этот треугольник равнобедренный (для до
казательства можно, опять опустив перпендикуляры на АВ и АС,
повторить — с упрощениями — рассуждения из случая 2).
Случай 4а: биссектриса и ось пересекаются вне треугольника
ABC; перпендикуляры, опущенные из точки N пересечения на сто
роны СВ и СА, попадают на эти стороны (рис. 6а), а не на их
продолжения. Как и раньше, получаем равные треугольники NPB
а) б)
Рис. 6
Софизмы 11
и NQA, а также равнобедренный треугольник ANB. Углы при осно

вании АВ треугольника ABC равны теперь как разности (а не как
суммы, в отличие от случая 2) соответственно равных углов.
Случай 46: биссектриса и ось пересекаются вне треугольника;
перпендикуляры, опущенные из точки N пересечения на стороны
СВ и СА, попадают на продолжения этих сторон (рис. 66). Те же
построения и рассуждения приводят к выводу о равенстве внешних
углов при вершинах А и В треугольника ABC. Отсюда сейчас же
вытекает равенство внутренних углов А и В, следовательно, СА = СВ.
9. Прямой угол равен тупому

При изложении этого софизма мы также близко следуем Дубно
ву [5].
Из концов отрезка АВ (рис. 7 или 8) проведем два равных меж
ду собой отрезка АС и BD, лежащих по одну сторону от прямой АВ
и образующих с ней прямой угол DBA и тупой САВ; равенство этих
углов мы и будем доказывать. Соединив С с D, получим четырех
угольник ABDC, у которого стороны AC, BD, очевидно, не параллель
ны, равно как и стороны АВ, CD (в противном случае ABDC был бы
равнобедренной трапецией с неравными углами при основании АВ).
Для каждого из отрезков АВ, CD построим его ось симметрии. Так
как отрезки не параллельны, перпендикулярные к ним оси также не
параллельны и не сливаются, а пересекаются, пусть в точке N. Рас
смотрим возможные случаи.
Случай 1: точка N лежит «выше» прямой АВ, точнее говоря — по

ту же сторону от прямой АВ, по какую лежит четырехугольник ABDC
(см. рис. 7, где точка N расположена внутри четырехугольника).
Соединим эту точку со всеми вершинами четырехугольника; так
как она одинаково удалена от концов отрезка АВ и одинаково —
от концов отрезка CD, треугольники NAC и NBD равны по трем
сторонам. Отсюда следует, что ZNAC = ZNBD. Прибавляя к первому
углу угол NAB, ко второму — угол NBA и учитывая, что ZNAB = ZNBA
12 Софизмы
по свойству равнобедренного треугольника, приходим к равенству

/С А В = /D BA.
Случай 2: точка N лежит на АВ, т. е. служит серединой отрез
ка АВ. Предыдущее доказательство упрощается — равенство /С АВ =
= /D B A получается сразу из равенства треугольников NAC и NBD.
Случай 3: точка N лежит «ниже» АВ, т. е. не по ту сторону от

прямой АВ, по какую лежит четырехугольник ABDC (рис. 8). Снова
из равенства треугольников получается /N A C = /N B D , но теперь от
этих углов надо отнять углы NAB и NBA, равные между собою, и сно
ва получится /С А В = /D BA.
10. Прямоугольник, вписанный в квадрат

При изложении этого софизма (но не его анализе) мы следуем
Дубнову [5].
Сейчас мы докажем следующую теорему:
Прямоугольник, вписанный в квадрат, есть также квадрат.
Точнее: если прямоугольник MNPQ (рис. 9) вписан в квадрат ABCD
так, что на каждой стороне квадрата лежит одна из вершин прямо
угольника (у нас — М на АВ, N на ВС, Р на CD, Q на DA), то послед
ний также есть квадрат.
Для доказательства опустим перпендикуляры PR и QS из Р и Q
соответственно на АВ и ВС. Эти перпендикуляры, из которых каж
дый равен стороне квадрата ABCD, равны между собой. Они служат
катетами в треугольниках PRM и QSN, где гипотенузы также равны
между собой как диагонали прямоугольника MNPQ; отсюда следует
равенство треугольников (затемненных на чертеже), а затем и равен
ство углов: /P M R = /Q N S .
Рассмотрим теперь четырехугольник MBNO (на рисунке обведен
утолщенными линиями; О — точка пересечения диагоналей прямо-
Софизмы 13
D P C
A M R В
Рис. 9. Прямоугольник MNPQ вписан в квадрат ABCD
угольника MNPQ); у него внешний угол при вершине N равен внут

реннему при вершине М, значит, сумма двух внутренних углов при
вершинах М и N равна 180°. Такою же должна быть сумма внутрен
них углов при вершинах В и О, но один из них (угол В) — прямой,
следовательно, и угол О прямой, т. е. диагонали прямоугольника вза
имно перпендикулярны, а этим признаком среди прямоугольников
характеризуется квадрат — доказательство завершено.
Итак, теорему мы доказали. А теперь объясните, почему эта «тео
рема» неверна, найдите ошибку в ее доказательстве и подумайте, как
можно исправить ее формулировку, чтобы она стала верной.
И. Новый признак равенства треугольников

Всем известны признаки равенства треугольников «по двум сто
ронам и углу, лежащему между ними», «по стороне и двум прилежа
щим к ней углам» и «по трем сторонам». А вот мы сейчас докажем
признак равенства по двум сторонам и углу, лежащему против одной
из них:
Если в треугольниках ABC и Л1В1С1 имеем АВ = А гВъ
АС = А гСг и ZC = ZCb то A ABC = А А ^ С ^
Докажем это утверждение. Заметим, что, не ограничивая общно
сти, можно считать, что А = А Ъ В = ВЪ а вершины С и Сг лежат по
разные стороны от прямой АВ (так как всегда можно заменить тре
угольник Л1В1С1 на равный ему треугольник, расположенный ука
занным выше способом) — см. рис. 10. Заметим, что для доказатель
ства равенства треугольников ABC и АВСг нам достаточно устано
14 Софизмы
вить, что ВС = ВСі (после этого равенство будет вытекать из при

знака равенства треугольников по трем сторонам). Соединим теперь
точки С и С2 отрезком и рассмотрим три случая.
С С
а) б)
Рис. 10
Случай 1: прямая ССг пересекает сторону АВ в ее внутренней точ

ке (рис. 10а). По условию, треугольник АССг равнобедренный, так
что ZACCj = ZACjC; с другой стороны, ZACB = ZACXB по условию.
Вычитая эти два равенства, получаем, что А.ВССХ — АВСгС, откуда
треугольник ВССг равнобедренный и ВС = ВСЪ что и требовалось.
Случай 2: прямая ССг пересекает продолжение стороны АВ за
точку В (рис. 106). Рассуждение то же, с тем отличием, что вычита
ние надо проводить в обратном порядке: из равенства ZACCX—ZACYC
вычесть равенство ZACB = ZACXB.
Случай 3: прямая СС2 пересекает продолжение стороны АВ за
точку А (сделайте рисунок самостоятельно). Рассуждение опять-
таки аналогичное, но на сей раз равенства ZACQ = ZAQC и ZACB =
= Z АСіВ надо не вычесть, а сложить.
Итак, теорему мы доказали. А теперь объясните, почему эта «тео
рема» неверна, найдите ошибку в доказательстве и заодно подумай
те, как можно исправить формулировку теоремы, чтоб она стала вер
ной.
12. Все прямые параллельны

Нам будет удобнее доказывать не буквально это красивое утвер
ждение, но следующий факт, ему эквивалентный1}:
Если из точек А и В выпустить два луча по одну сторону от
прямой АВ (рис. 11), то эти лучи не пересекаются.
^Действительно эквивалентный, как нетрудно проверить. Ошибки в рассуж
дении начнут появляться позднее.
Софизмы 15
Для доказательства разделим отрезок АВ пополам и на лучах AQ

и ВР отложим точки А г и Вг соответственно, для которых ААг = ВВг =
= \ а В. На протяжении отрезков ААг и ВВ1 пересечение лучей AQ
и ВР произойти не может, т. е. отрезки ААг и ВВг не могут иметь об
щей точки. Действительно, если бы существовала такая общая точка
(обозначим ее К), то получился бы треугольник АКВ, у которого
сумма двух сторон АК + КВ меньше третьей стороны АВ или равна
ей, а это невозможно. Далее, отрезок ААг и луч ВгР также не могут
иметь общей точки по той причине, что эти отрезок и луч лежат по
разные стороны от прямой А1В1. Аналогичное рассуждение показы
вает, что отрезок ВВг не может иметь общих точек с лучом AQ. Стало
быть, точка пересечения лучей AQ и ВР (если она вообще есть) не
может лежать ни на отрезке ААЪ ни на отрезке ВВг.
То, что мы к этому моменту установили, можно переформулиро
вать следующим образом:
Если лучи AQ и ВР пересекаются, то их точка пересечения
является также точкой пересечения лучей A XQ и ВгР.
Применим теперь к «уменьшенным» лучам тот же прием, что мы
применили к лучам AQ и ВР: отложим на лучах A xQ n ВгР точки А 2
и В2, для которых А хА 2 = ВгВ2 = ^ А 1В1. После этого то же рассужде
ние, что выше, показывает, что на отрезках А 1А 2 или ВХВ2 искомая
точка пересечения лежать также не может, так что все сводится к за
даче о пересечении лучей A 2Q_ и В2Р. Теперь аналогичным образом
отложим точки А 3 и В3 и т. д. (можно, если угодно, оформить это рас
суждение с помощью математической индукции). В итоге получаем,
16 Софизмы
что ни на одном из отрезков ААЪ А гА 2,... точка пересечения лучей

встретиться не может, то есть что ее нет вообще.
Теперь приведем два софизма, связанных с методом математиче

ской индукции.
13. Все числа равны

Чтобы доказать это поразительное утверждение, переформулиру
ем его следующим образом.
Пусть п — натуральное число. Тогда в любом наборе из п чи
сел все числа равны.
Докажем выделенное курсивом утверждение индукцией по п.
База индукции: п = 1. В наборе, состоящем из одного числа, все
числа, естественно, равны, так что при п = 1 наше утверждение вер
но.
Переход от п к п + 1. Пусть для всех наборов из п чисел наше
утверждение доказано; покажем, что тогда оно верно и для наборов
из п + 1 числа. Рассмотрим какой-нибудь набор из п + 1 числа; зану
меруем входящие в него числа номерами от 1 до п + 1.
По предположению индукции, в наборе из чисел с номерами 1,
2,..., п —1, п все числа равны; осталось проверить, что число номер
п + 1 равно всем числам с меньшими номерами. Для этого заметим,
что числа с номерами 1, 2, ..., гг —1, гг + 1 также образуют набор из
п чисел. По предположению индукции все они равны; в частности,
число номер п + 1 равно числу номер гг —1, и тем самым всем числам
с номерами от 1 до гг. Все доказано.
14. Все люди лысые

Это утверждение мы также докажем по индукции. Именно, мы
докажем индукцией по п, что
Если количество волос на голове у человека равно п, то он
лысый.
База индукции: п = 0. Тот, у кого ни одного волоса на голове нет,
бесспорно, является лысым, так что при п = 0 доказываемое утвер
ждение верно.
Переход от п к п + 1. Пусть мы доказали, что всякий, у кого на
голове п волос, является лысым. Если лысому человеку добавить один
волос, то лысым он от этого быть не перестанет. Стало быть, всякий,
у кого на голове п + 1 волос, также является лысым.
Софизмы 17
В нескольких следующих софизмах математики не так много, а то

и совсем нет, но во всех них важную роль играет логика.
15. Парадокс учебной тревоги

Однажды командир Н-ской роты объявил солдатам следующее:
— В один из рабочих дней на следующей неделе в 5 часов утра
у нас будет учебная тревога. Чтобы приблизить обстановку к боевой,
эта тревога будет для вас неожиданной: пока ее не объявят, вы не
будете знать, что она состоится именно в этот день.
Вечером того же дня рядовой Петров объяснял своим товарищам:
— Я все понял: никакой тревоги не будет, нам только голову мо
рочат! Вот смотрите. В пятницу эту тревогу объявить не могут: ведь
тогда уже в четверг вечером мы будем знать, что тревога будет имен
но в пятницу — другого-то дня не остается! А нам ведь объявили,
что нам до последнего момента будет неизвестно, в какой день будет
тревога, так что пятница исключается. Но могут ли объявить тревогу
в четверг? Тоже нет! Ведь если в первые три дня тревоги не будет, то
мы уже в среду вечером будем знать, что тревога будет в четверг или
пятницу, а так как в пятницу ее объявить не могут, остается только
четверг, и мы опять узнаем дату тревоги заранее, неожиданности не
будет. Значит, остаются только понедельник, вторник и среда, но тут
мы рассуждаем точно так же: в среду объявить тревогу невозможно,
ну и так далее. Так что обойдемся без тревоги.
Рассуждение рядового Петрова всех убедило. Однако же в среду
в пять утра по казарме разнеслось: «Рота, подъем! Тревога!». Как вы
понимаете, для всех, включая рядового Петрова, это оказалось пол
ной неожиданностью, так что все случилось в соответствии с тем,
что объявил командир роты. Но где же тогда ошибка в рассуждениях
рядового Петрова?
16. Парадокс брадобрея

Мы снова в той же Н-ской роте, о которой шла речь в предыдущей
истории. На сей раз командир роты приказал рядовому Петрову каж
дое утро брить всех своих сослуживцев, кроме тех, кто бреется само
стоятельно. При этом тех, кто бреется сам, рядовому Петрову брить
категорически запрещено. Спрашивается, кто теперь будет брить са
мого Петрова? Бриться сам, не нарушая приказа, он не может, ведь
брить тех, кто бреется сам, Петрову запрещено. Если его будет брить
кто-то другой, то это также будет нарушением приказа: ведь тех, кто
не бреется сам, брить обязан именно рядовой Петров. Как разрешить
это противоречие?
18 Софизмы
17. Парадокс Уайтхеда—Рассела

Как известно, одно из основных понятий современной математи
ки — понятие множества. Это понятие нельзя определить, исходя из
более простых, можно только описать, что это такое. Можно гово
рить, например, о множестве всех треугольников на плоскости, или
о множестве всех точек, лежащих на данной прямой, или о множе
стве, состоящем из чисел 5,11 и 168, или о множестве всех натураль
ных чисел (это множество часто обозначают буквой N, именно таким
шрифтом), или о множестве всех положительных чисел, не превос
ходящих 7 (это множество в школе обозначают (0; 7]), ... — из этих
примеров общий принцип должен быть ясен.
Напомним еще, что если нечто входит в множество X, то это
нечто называется элементом множества X (например, элементы
множества N — натуральные числа и только они). Два множества
совпадают, если они состоят из одних и тех же элементов.
Назовем множество ординарным, если оно не является своим соб
ственным элементом, и экстраординарным, если оно своим элемен
том является. Все множества, о которых мы говорили до сих пор,
являются ординарными: скажем, (0; 7] — множество ординарное, по
тому что оно состоит из чисел, а интервал — не число. Но экстраор
динарные множества тоже представить себе можно: например, мно
жество вообще всех множеств — это тоже множество, а значит, оно
является собственным элементом и тем самым экстраординарно.
Рассмотрим теперь множество всех ординарных множеств (обо
значим его буквой X). Это множество может быть либо ординарным,
либо экстраординарным, третьего не дано. Если, однако, X — орди
нарное множество, то X обязано быть собственным элементом (ведь
X как раз и состоит из ординарных множеств), но тогда выходит,
что X экстраординарно. Полученное противоречие показывает, что
ординарным множеством X быть не может. Если же, напротив, X экс
траординарно, то X своим элементом не является, но это означает,
что X ординарно, и мы опять получили противоречие. Выходит, что
X не является ни ординарным, ни экстраординарным. Как быть?
18. Парадокс Берри

Натуральные числа можно задавать в том числе и с помощью
обычных фраз русского языка. Например, фраза «Наименьшее на
туральное число» задает число 1, а фраза «Длина гипотенузы пря
моугольного треугольника с катетами длиной три и четыре» задает
число 5. (Мы хотим, чтобы число задавалась однозначно: скажем,
фраза «Двузначное число в десятичной системе» не годится, потому
что под это определение подходит не одно, а 90 чисел.)
Софизмы 19
Фразами, состоящими, скажем, не более чем из ста букв1}, можно

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

фразой не более чем из ста букв.
Эта фраза однозначно задает некоторое натуральное число, и в ней

всего 85 < 100 букв. Мы пришли к противоречию: натуральное
число, которое нельзя задать фразой из ста или менее букв, оказалось
задано фразой всего из 85 букв! Как быть?
Для понимания следующих ниже софизмов требуется некоторое

знакомство с началами математического анализа.
19. п —2, или Волны

В изложении этого софизма (но не при его обсуждении) мы близ
ко следуем книге [5].
На отрезке АВ как на диаметре построим полуокружность (рис. 12);
затем разделим отрезок АВ пополам и на каждой половине как на
диаметре построим по полуокружности, располагая их по разные
Знаки препинания и пробелы мы тоже считаем буквами.

20 Софизмы
стороны от АВ. Эти две полуокружности составят волнообразную

линию, длина которой от Л до В равна длине первоначальной полу
окружности, т. е. ^А В ; действительно, каждая меньшая полуокруж
ность вдвое короче большей, так как имеет диаметр, вдвое меньший.
Теперь разделим отрезок АВ на четыре равные части и построим вол
нообразную линию, состоящую из четырех полуокружностей, с преж-
71
ней суммой длин -^АВ. Будем продолжать этот процесс неограни
ченно, деля отрезок АВ на 8, 16,... равных частей и строя на них
полуокружности, поочередно расположенные с одной и с другой сто
роны прямой АВ.
Получится последовательность волнообразных линий, все более
приближающихся к отрезку АВ и стремящихся к нему в том смысле,
что наибольшее из расстояний точек каждой волнообразной линии
от прямой АВ (это наибольшее расстояние, очевидно, равно радиусу
полуокружностей, составляющих линию) стремится к нулю по мере
удаления от начала последовательности (на рис. 12 изображена поло
са между двумя параллелями к АВ: как бы ни была узка эта полоса,
найдется в нашей последовательности такое место, начиная с кото
рого все волнообразные линии на всем своем протяжении от А до
В будут целиком умещаться внутри полосы). Но длина у всех вол-
71
нообразных линий одинакова и равна -^АВ; такова же должна быть
к
длина предела этих линии, т. е. отрезка АВ. Из равенства АВ = АВ
находим п = 2.
20. In 2 = 0, или Бесконечные ряды

При изложении этого софизма мы близко следуем книге [6].
Как известно,
1п 2 = 1 - £ + з - 4 + з - ... (3)
Соберем отдельно положительные и отрицательные члены:
1п 2 = ( і + ! + І + • • • ) - ( | + t + g + ••■)’ (4)
или
Раскрыв круглые скобки, получим:
1п 2 = ( Ч + 2 + з + 4 + 5 + . . . ) - ( і + 2 + 3 + 4 + 5 + “ *)’
т. е. In 2 = 0.
Софизмы 21
То же интересное равенство можно получить и другим способом.

Именно, умножим обе части равенства (3) на 2. Сокращая дроби
с четными знаменателями, получим следующее:
21п2 = 2 — 1 + §— і + §— §+ §— (5)
Собрав в правой части дроби с одинаковыми знаменателями и про

изведя их вычитание, получим, что
21п 2 = : 1 — 2 + з _ 4 + 5 “ -*-’
то есть 2 In 2 = In 2, откуда In 2 = 0.
21. \=\= 117111 Степенные ряды

Как известно, сумма S членов геометрической прогрессии с пер
вым членом, равным а, и знаменателем q выражается формулой
Полагая в этой формуле а = 1, q = —х, получаем:
J ^ = l - x + x 2 - x 3 + x 4 - ... (6)
(знаки чередуются). Собственно говоря, эту формулу нетрудно выве

сти и непосредственно. Именно, избавляясь в (6) от знаменателя (то
есть умножая обе части равенства на 1 + х), получаем:
1 = (1 + х)(1 - х + х2 - х 3 + х4 - ...) =
= (1 - х + х2 - х 3 + х4 - ...) + (х - х 2 + х3 - х4 + ...).
Ясно, что при раскрытии скобок все слагаемые, кроме 1, взаимно

уничтожатся, так что получится верное равенство 1 = 1, что и до
казывает тождество (6). Подставляя теперь х = 1 в это тождество,
получаем, что
1 -1 + 1 -1 + 1 ( 7 )
Не будем, однако, останавливаться на этом результате. Именно,

нетрудно убедиться, что выполнено еще и такое тождество:
\ 2 = 1 - х + х3 - х 4 + х 6 - х 7 + ... (8)
1 + JC4- JT
(если п ^ 0 делится на 3, то в правую часть х п входит с коэффици
ентом 1, если п ^ 0 при делении на 3 дает остаток 1, то х п входит
22 Софизмы
с коэффициентом —1, а больше ничего в правой части нет). Это тож

дество проверяется так же, как (6): умножая обе части на 1 + х + х 2,
имеем
1 = (1 + X + х 2) (1 - X + г 3 - JC4 + X е - х 7 + ...) =
= 1 - х + X3 - X4 + х 6 - х7 + ... +
+ х - х 2 + х4 - х 5 + X7 - х 8 + ... +
+ х 2 - х 3 + х 5 - X е + х 8 - X 9 + ...,
и легко видеть, что в правой части все слагаемые, кроме 1, сокра

щаются: если п = 3/с, где к — целое положительное, то х п в первой
строке сокращается с —х п в третьей строке, если п = 3/с + 1, то —х п
в первой строке сокращается с х п во второй строке, и наконец, слага
емые вида —х зк^ 2 из второй строки сокращаются с х зк+2 из третьей
строки.
Подставляя теперь х = 1 в формулу (8), получаем, что
1-1 + 1 - 1 + 1 - ... = | . (9)

Далее, аналогичным образом можно получить и тождество
подставляя в него х = 1, получим, что
Сопоставляя три выражения для суммы 1 —1 + 1 —1 + ..., получаем

1 1 1
искомое равенство - = - =
22. 1 = 0, или Интегрирование по частям

Как известно, формула интегрирования по частям гласит, что
^ u d v — иѵ — § vdu.
Применим ее к такому интегралу, как § dx/x., полагая ^ = и, х = ѵ.

Принимая во внимание, что
имеем:
Сокращая, получаем искомое равенство 1 = 0 .

Софизмы 23
23. п = — %3,77, или Асимптотика

Прежде чем перейти к основному рассуждению, напомним, что
площадь, ограниченная эллипсом с полуосями а и Ь, равна тгаЬ. В са
мом деле, такой эллипс получается из круга радиусом а растяжением
в Ь/а раз (будем считать, что Ь > а) вдоль одной из осей. Поскольку
при растяжении в к раз вдоль оси площадь умножается на /с, площадь,
ограниченная этим эллипсом, равна п а 2 • (b/а) = nab.
Перейдем теперь к сути дела. Пусть к > 1, и рассмотрим эллипс,
получающийся преобразованием (х ; у ) —> (х ; ку) из окружности ра
диуса 1 с центром в точке с координатами (0,1). В силу сказанного
выше площадь, ограниченная этим эллипсом, равна пк, так что пло
щадь части плоскости, лежащей внутри эллипса и ниже прямой у = к,
равна S3 = тск/2.
Рис. 13. Сплошная линия — нижняя половина эллипса, пунктирная

линия — парабола
Посмотрим, как будет выглядеть наш эллипс при больших к

(рис. 13). Уравнение окружности радиуса 1 с центром в точке (0; 1)
имеет вид х 2 + (у —I )2 = 1, так что уравнение эллипса имеет вид
Преобразуем его к виду
х 2 + ± - у 2 ~ 1 - 2у + 1 = 1. (10)
Заметим, что при росте к множитель А- стремится к нулю быстрее,

1
чем так что им можно пренебречь. Отбрасывая слагаемое с этим
множителем, имеем
х 2 - \ - 2 у + \ = 1, (11)
24 Софизмы
или, что равносильно, у — к х 2/2. Итак, при к —» оо наш эллипс стре

мится к параболе с уравнением у = к х 2/2. Стало быть, площадь S3
при к —> °о асимптотически эквивалентна площади Sn — площади
части плоскости, заключенной между параболой у = кх2/ 2 и прямой
у = к (напомним, что две величины, зависящие от к, называются
асимптотически эквивалентными при к —> оо? если их отношение
стремится к единице при к —>оо).
Однако площадь Sn легко вычисляется:
Sn = 2 k V 2 - f ^ d x =2 k V 2 - ^ = ^ .
-л/2
Стало быть, 4/с л/2/3 при к —> оо асимптотически эквивалентно S3 =

= к к /2 , откуда п = 8 л/2/3.
24. п = 4, или Площадь сферы

При изложении этого софизма мы почти дословно воспроизводим
текст Дубнова [5], но при его обсуждении отойдем от книги [5] до
вольно далеко.
Рис. 14
Рассмотрим полусферу (рис. 14) с центром О, «экватором» q

и «полюсом» Р (это означает, что радиус ОР перпендикулярен к про
ходящей через О плоскости экватора q). Разделим окружность q на
очень большое число п равных частей и соединим Р со всеми точками
деления посредством дуг больших кругов (каждая дуга — - «мери
диана»); тогда полусфера разделится на п очень узких сферических
треугольников, из которых каждый ограничен малой дугой эква
тора и двумя дугами меридианов (несколько таких треугольников
изображено на чертеже; один из них — РЛВ — выделен штрихов
кой). За счет ничем не ограниченного увеличения числа п делений
можно сделать эти сферические треугольники сколь угодно узкими
Софизмы 25
(«тоньше паутинки»), а «бесконечно узкий» искривленный треуголь

ник можно распластать или, как говорят, «развернуть» на плоскость
с сохранением всех размеров (т. е. длин, углов, площади). Получится
(равнобедренный) плоский треугольник, у которого основанием слу-
. 2nR
жит распрямленная дуга длинои -----, а высотой — распрямленная
п „ nR ,
дуга, равная четверти окружности, т. е. длинои - у (см. заштрихо
ванный треугольник на рис. 14 слева). Площадь такого треугольника
1 2nR TlR 1 2г>2 гг
есть £ * • ~ 2 = 2п 9 следовательно, общая площадь всех п
треугольников, заполняющих полусферу, равна ^тг2Я2, а площадь
всей сферы будет n 2R2. Сопоставляя это равенство с общеизвестной
формулой, согласно которой площадь сферы радиуса R равна 4тгЯ2,
получаем искомое равенство тс = 4.
25. Парадокс воронки

Рассмотрим бесконечную воронку следующей формы (рис. 15).
Сначала берем цилиндрический сосуд радиусом и высотой 1 (без
Рис. 15
26 Софизмы
крышки, но с дном), затем проделываем в дне концентрическое

отверстие радиуса 1/2 и прикрепляем к нему цилиндрический сосуд
радиусом 1/2 и высотой 1, затем в дне этого сосуда проделываем
концентрическое отверстие радиуса 1/3 и прикрепляем к этому
отверстию цилиндрический сосуд радиусом 1/3 и высотой 1 — и так
далее до бесконечности (на п м шаге добавляется сосуд радиуса 1/п
и высоты 1).
Заметим, что площадь поверхности этой воронки бесконечна.
В самом деле, бесконечна даже ее боковая поверхность: боковая
поверхность цилиндра радиуса 1/п и высоты 1 равна 2 п /п , так что
после п шагов построения боковая поверхность воронки будет не
меньше, чем
2я(1+ | + | + - + п)’
но суммы 11 +, 21 . 31 . , п1 с Ростом п возрастают неограниченно
(как говорят, «ряд расходится»).
С другой стороны, объем, заключенный внутри этой воронки, на
против, конечен. В самом деле, объем цилиндра радиусом 1 / п и вы
сотой 1 равен так что сумма объемов первых тг цилиндров равна
я ( 1 + ^ + з^ + - + Й -
Однако же суммы 1 + ^ + ^ + -*- + ~^ с ростом п вовсе не растут
неограниченно: нетрудно установить, например, что каждая из этих
сумм меньше 2. Вот как это делается:
1 + ^ + ^ + -" + ^ < 1 + Т12 + 213 + " - + „ . ( „ + !) =
= 1+ 0 ~ \)+ ( I ~ I ) + - + (п ' іг+т) = 1 + 1 ' JTfl < 2

(на самом деле суммы 1 + ^ + ^2 +*** + “2 стремятся к ^ 1,6449,
но для наших целей такая точность не требуется).
Итак, мы установили, что поверхность воронки бесконечна, а ее
объем конечен. Однако эти два утверждения друг другу очевидным
образом противоречат! В самом деле, коль скоро объем воронки ко
нечен, мы можем мысленно заполнить всю воронку конечным коли
чеством краски, и при этом вся внутренняя поверхность воронки ав
томатически окажется окрашенной. Однако если поверхность можно
окрасить конечным объемом краски, то площадь этой поверхности
очевидным образом конечна, что противоречит нашим вычислени
ям. Как быть?
Софизмы 27
Если вас шокируют разговоры об окраске не существующих в при

роде бесконечных воронок, то же самое противоречие можно полу
чить, ограничиваясь предметами конечного размера. Именно, обо
значим через Fn воронку (на сей раз конечную), получающуюся в ре
зультате соединения первых п цилиндрических сосудов с радиусами
1, ..., А Согласно нашим вычислениям, полная поверхность этой
воронки больше, чем 2я ^1 + ^ + ^ + ... + ^ , и тем самым с ростом
п может стать сколь угодно большой, а вместимость любой ворон
ки Fn не превосходит 2. Выходит, что воронки данного вида со сколь
угодно большой поверхностью можно выкрасить с помощью одного
и того же ограниченного объема краски, и опять получаем противо
речие.
Глава 2
Анализ софизмов
Анализ софизма с тождественными преобразованиями (1)

Если квадраты двух чисел равны, из этого еще не следует, что и са
ми эти числа равны.
Анализ софизма с неравенствами (2)

Если, как мы условились, а > Ъ, то b — а < 0. При делении обеих
частей неравенства на отрицательное число знак неравенства надо
поменять, чего мы возмутительным образом не сделали.
Анализ софизма с системами уравнений (3)

Вдумаемся, какой смысл имели наши действия с подстановкой
выражения для х в первое уравнение и последующими упрощени
ями. Раз мы делаем выводы из каких-то равенств, мы тем самым
предполагаем, что равенства, на которые мы опираемся, верны. Тем
самым мы доказали не немыслимое равенство 4 = 8, а следующее
более слабое утверждение:
Если существуют числа х и у, удовлетворяющие обоим урав
нениям системы (2) на с. 6, то 4 = 8.
Однако существование таких чисел вовсе не самоочевидно: у произ
вольной системы уравнений решений может и не быть. Более того,
наши выкладки как раз и показывают, что их нет, раз из предположе
ния об их существовании следует неверный вывод. Таким образом,
мы доказали не немыслимое равенство 4 = 8, а гораздо более скром
ное утверждение: у системы уравнений (2) нет решений.
Анализ софизма с логарифмами (4)

Согласно принятому в школе определению, натуральный лога
рифм числа а — это такое число х, что ех = а. Поскольку ех > 0 для
всякого действительного числа х, логарифмов в смысле этого опре
деления у отрицательных чисел нет, так что, каким бы способом мы
ни распространяли определение логарифма на отрицательные числа,
описанному выше определению эти «обобщенные логарифмы» удо
влетворять никогда не будут. Стало быть, если даже 1п(-1) = 0
Анализ софизмов 29
в смысле этого обобщенного определения, отсюда никак не следует,

что е° = —1, и противоречия не получается.
Теперь, когда софизм мы разобрали, стоит отметить, что вполне
можно распространить логарифмическую функцию на отрицатель
ные числа с тем, чтобы для положительных чисел «обобщенные
логарифмы» совпадали с традиционными и сохранялось тождество
ln(ab) = In а + In Ь: достаточно (и необходимо, как мы убедились
в рассуждениях, составляющих софизм) положить
1п(а) = 1п(—а) при а < 0.
Так, однако, делать не принято: если возникает нужда в «логарифме»
отрицательного числа а в этом смысле, то пишут попросту In | а |. Ло
гарифм же отрицательного (и вообще любого ненулевого комплекс
ного) числа определяется как число (комплексное, вообще говоря) 2?,
для которого ez = а. Такой логарифм определен не однозначно, лога
рифмы отрицательных чисел оказываются числами комплексными,
и с тождеством In(ab) = In а + lnb тоже не все просто.
Анализ софизма «Разрезаем и складываем» (5)

Ошибка состоит в том, что из частей, на которые мы разрезали
квадрат 8 x 8, прямоугольник 13 х 5 не складывается, вопреки тому,
что, казалось бы, видно на чертеже.
Именно, точки Л, В и С на рис. 16 вовсе не лежат на одной прямой.

«Угловой коэффициент» отрезка АВ (тангенс угла наклона к основа-
3
нию прямоугольника) равен ^ (чтобы попасть из Л в В, надо сдви
нуться на 8 клеточек вправо и на 3 вверх), а угловой коэффициент
2
отрезка ВС равен ^ (5 вправо, 2 вверх). Эти два числа не равны:
3 2
g < -jr. Поэтому ЛВС — не отрезок, а ломаная, в которой вершина В
лежит ниже отрезка АС. Аналогично проверяется, что ADC — тоже
ломаная, причем D лежит выше отрезка АС. Стало быть, четыре ча
сти, на которые мы разрезали квадрат 8 x 8, в прямоугольник 13 х 5
не складываются: остается зазор в форме параллелограмма ABCD,
30 Анализ софизмов
но зазор настолько узкий, что его трудно заметить на чертеже (мы

специально провели линии разреза потолще!) или при вырезании из
бумаги.
После всего сказанного рекомендуем читателям еще раз посмот
реть на известное доказательство теоремы Пифагора, также основан
ное на разрезаниях и складываниях (рис. 17). Может быть, и в нем
есть обман?
Рис. 17. а2 + Ь2 + 4S = с2 + 4S, где S — площадь прямоугольного

треугольника с катетами а и Ь.
Анализ софизма с суммой углов треугольника (6)

Когда мы писали «предположим, что сумма углов треугольника
равна х градусов», мы неявно подразумевали, что у каждого тре
угольника сумма углов равна х градусов; в частности, мы подразуме
вали, что сумма углов у всех треугольников одна и та же. Последнее
утверждение, однако, тоже нуждается в доказательстве, которого мы
не привели. А если допустить, что у разных треугольников сумма
углов может быть разная, то мы не имеем права обозначать суммы
углов в трех треугольниках ЛВС, ADC и BDC одной и той же буквой х,
и все рассуждение рушится.
Таким образом, для «обычной» (евклидовой) геометрии наше рас
суждение не дает вообще ничего. Тем не менее, кое-что мы все же до
казали! Именно, наряду с «обычной» геометрией существуют и гео
метрии неевклидовы; в них тоже есть точки, прямые, отрезки и углы,
свойства которых в основном похожи на свойства привычных нам
прямых, отрезков и углов, но кое в чем и отличаются. Надо думать,
в любой «разумной» неевклидовой геометрии должно быть верным
свойство «если угол разделить на несколько частей, то его величина
равна сумме величин этих частей». Посмотрев еще раз на рассужде
ние в примере 6, получаем, что мы доказали следующее утвержде
ние.
Если в неевклидовой геометрии (при любом разумном понима

нии этого термина) сумма углов у всех треугольников одина
кова, то эта сумма углов равна 180°.
И действительно, в геометрии Лобачевского сумма углов тре
угольника всегда меньше 180°, но при этом у разных треугольников
она может быть разной (как ни парадоксально это звучит, сумма
углов тем меньше, чем больше площадь треугольника). Напротив,
в сферической геометрии (в ней роль отрезков играют дуги больших
кругов на некоторой фиксированной сфере) сумма углов треуголь
ника всегда больше 180°, но и в ней у разных треугольников она
разная (на сей раз тем больше, чем больше площадь треугольника).
Неевклидовы геометрии, в которых у всех треугольников сумма
углов одинакова (и тем самым равна 180°), тоже существуют.
Анализ софизма с суммой углов сферического треугольника (7)

Если в предыдущем софизме мы имели дело с неверным дока
зательством верного утверждения, то в данном случае не только
доказательство ошибочно, но и само утверждение неверно: как мы
отмечали при разборе предыдущего софизма, у любого сферическо
го треугольника сумма углов строго больше, чем 180°. Например,
у треугольника, высекаемого на сфере
тремя попарно перпендикулярными плос
костями, проходящими через центр («од
на восьмая от сферы»), все три угла пря
мые, так что сумма углов равна 270° —
см. рис. 18.
Ошибка в рассуждениях, приводящая
к неверному выводу, забавна тем, что в
данном случае автор и не пытается ее за
маскировать: неверно голословное утвер
ждение «в этой цепи умозаключений нигде
нет предпосылки, что речь идет о плос
кости». На самом деле то обстоятельство, что треугольник лежит
в плоскости, используется, когда мы складываем углы поворота на
правлений (углы а, (3 и у). Если треугольник сферический, а не плос
кий, то три эти поворота происходят в трех разных плоскостях (см.,
например, тот же рисунок 18), так что сложение углов лишено смысла.
Возвращаясь к случаю плоского треугольника, отметим еще, что
тот интуитивно ясный (и верный в данном случае!) факт, что сумма
трех углов поворота равна 360°, при более аккуратном доказатель
стве потребовал бы использования фактов о параллельных прямых
наподобие упомянутых при формулировке софизма 6: чтоб получить
в сумме 360°, необходимо снести три вершины углов в одну точку,

и приходится, строго говоря, обосновывать, что при таком переносе
углы не изменяются.
Анализ софизма «Все треугольники равнобедренные» (8)

В нашем рассуждении не учтена возможность того, что из двух
перпендикуляров NP и NQ один попадет на сторону треугольни
ка ABC, а другой — на продолжение стороны (рис. 19). Если это
произойдет, то один из углов при основа
нии АВ треугольника ABC окажется раз
ностью двух углов, а другой будет смеж
ным для суммы тех же углов — отсюда, ра
зумеется, никаких выводов, относящихся
к углам при основании, а значит, и к ра
венству боковых сторон, сделать нельзя.
Итак, ошибка в доказательстве найдена.
Собственно, если данный треугольник —
неравнобедренный, то наше рассуждение
как раз и показывает, что рассмотренные
Рис. 19 в нем случаи, представленные на рис. 5 ,6а
и 66, невозможны.
Можно и напрямую установить, что в неравнобедренном тре
угольнике одна из точек Р и Q обязательно лежит на стороне тре
угольника, а другая — обязательно на ее продолжении. Действитель
но, пусть СА > СВ. Опишем около треугольника ABC окружность; так
как равные вписанные углы опираются на равные дуги, биссектриса
угла С должна пройти через середину N дуги АВ, на которую этот
угол опирается. Но через ту же середину N должна пройти и ось
симметрии хорды АВ. Таким образом, пересечение биссектрисы
с осью происходит на описанной окружности, т. е. заведомо вне
треугольника ABC. Перпендикуляры из N на СВ и СА попадут на
эти стороны или на их продолжения в зависимости от того, будут
ли острыми или тупыми углы NBC и NAC. Вместо этих вписанных
углов будем рассматривать дуги, на которые они опираются. Так
как мы предположили, что СА > СВ, имеем ^ СА > ^ СВ, а отсюда
и из равенства ^ AN = ^ BN следует, что ^ CAN > ^ CBN. Это
означает, что дуга CAN больше полуокружности, а дуга CBN меньше
ее, следовательно, угол CBN тупой, а угол CAN — острый. Поэтому
перпендикуляр NP попадает на продолжение стороны СВ, а перпен
дикуляр NQ — на саму сторону СА.
По ходу изложения софизма мы упомянули, что с помощью ис
пользованного в нем приема (опустить перпендикуляры на стороны
СА и СВ) можно доказать и верное утверждение: если биссектри

са угла С совпадает с медианой стороны АВ, то СА = СВ (случай 3).
Теперь мы видим, что и это рассуждение оказывается скомпромети
ровано: мы опять не рассмотрели случай, когда один из перпенди
куляров попадает на саму сторону треугольника, а другой — на ее
продолжение. «Отремонтируйте» рассуждение для этого случая, по
казав, что в случае, когда биссектриса с медианой совпадают, такое
все же невозможно.
Впрочем, тот факт, что треугольник, в котором биссектриса и ме
диана совпадают, является равнобедренным, проще всего доказать
вообще без дополнительных построений, сославшись на теорему
«Биссектриса делит противоположную сторону на части, пропор
циональные прилежащим сторонам».
Анализ софизма «Прямой угол равен тупому» (9)

При рассмотрении случая 3 в нашем рассуждении мы молчали
во предполагали, что точки А и D лежат по разные стороны от пря
мой CN, что и отражено на рис. 8; но что же будет, если они рас
положены по одну сторону от этой прямой? Давайте посмотрим на
рис. 20, этому случаю соответствующий.
Как видно, в этой ситуации, как и в нашем случае 3, выполне

но равенство ZDBA = ZDBN — ZABN, но вот аналогичное равенство
ZCAB = ZCAN — ZBAN уже места не имеет: вместо него выполнено
соотношение
ZCAB = 360° - (ZCAN + ZBAN),
из которого равенство углов САВ и DBA не выводится. Стало быть,

ошибка в нашем рассуждении состоит в том, что мы забыли рассмот
реть случай, представленный на рис. 20, а само это рассуждение на
самом деле доказывает, что только этот случай и возможен.
Как и в случае с софизмом «Все треугольники равнобедренные»,
убедиться в последнем утверждении можно и напрямую. Именно,
давайте достроим прямоугольный треугольник ABD до прямоуголь
ника ABDE. Оси симметрии отрезков АВ и DE совпадают (обозначим
эту ось симметрии через £), так что точки D и Е симметричны от
носительно прямой £. Далее, из равенств АС = BD (по построению)
и BD = АЕ вытекает, что АС = АЕ, а из установленного нами равен
ства треугольников ACN и BDN вытекает, что и NC = ND = NE, так
что точки С и Е симметричны относительно прямой NA.
Стало быть, треугольник NAC можно получить из треугольника
NBD с помощью последовательного выполнения двух симметрий:
сначала относительно прямой £ (в результате чего получится тре
угольник NAE), а затем относительно прямой NA. Как известно, ком
позиция двух симметрий относительно пересекающихся прямых —
поворот относительно их точки пересечения, так что треугольник
NAC получается из треугольника NBD в результате поворота отно
сительно точки N, откуда и следует, что точки А и D лежат по одну
сторону от прямой CN.
Анализ софизма «Прямоугольник, вписанный в квадрат» (10)
Во-первых, давайте убедимся, что теорема неверна, то есть что
в квадрат можно вписать прямоугольник, квадратом не являющийся.
Это очень просто: если взять на сторонах AD и CD квадрата ABCD
точки Q и Р соответственно, находящиеся на одинаковых расстояни
ях от прямой АС, а затем отразить точки Q и Р симметрично отно
сительно прямой АС (при этом получатся точки М и N), то четырех
угольник MNPQ будет, очевидно, прямоугольником (это вытекает из
того, что прямые АС и BD являются осями симметрии квадрата —
а стало быть, и четырехугольника MNPQ), причем ясно, что квадра
том прямоугольник MNPQ, вообще говоря, не будет (кроме случая,
когда точки Р и Q выбраны в серединах сторон исходного квадра
та) — см. рис. 21.
Тот же рисунок 21 подсказывает нам, где спряталась ошибка в до
казательстве: мы наивно считали, что из двух проекций — точки Р на
АВ и точки Q на ВС — одна (Я) лежит на стороне четырехугольника
MBNO, а другая (S) — на продолжении его стороны; иными словами,
что из двух равных углов ZOMR и ZONS один является внутренним,
другой — внешним для четырехугольника MBNO. В ситуации как на
рис. 9 это действительно так, и в этом случае наш прямоугольник
D а —х Р х С
/к
/к
Z r / 1 /
'
А М Ъ R х В
Рис. 21
действительно является квадратом: если принять, что имеет место

конфигурация на рис. 9, то все наши дальнейшие рассуждения со
вершенно корректны, но если и точка R, и точка S обе попадают на
стороны прямоугольника MBNO (как на рис. 21), то наше рассужде
ние с суммой противоположных углов уже не проходит.
Более того, нетрудно показать, что если имеет место конфигура
ция рис. 21, то у вписанного прямоугольника стороны обязательно
параллельны диагоналям квадрата, как в нашем контрпримере. В са
мом деле, как и в предыдущем случае, легко видеть, что затемнен
ные треугольники PMR и QNS равны; если мы еще установим, что
BR = BS, то треугольник BMN окажется прямоугольным равнобед
ренным, откуда ZNMB = 45°, так что сторона MN прямоугольника
параллельна диагонали АС, что и требовалось.
Чтобы установить это равенство, положим BR = х, BS = у; если
еще положить b = MR = NS и обозначить сторону квадрата через а,
то имеем
t g Z N = tgZ Q P D = ^.
Поскольку, однако, MNPQ — прямоугольник, имеем MN || QP, откуда

ZNMB = Z.QPD. Стало быть,
Ь+ у _ а - у
Ь+ х ~ а - х 5
избавляясь от знаменателей и упрощая, получаем
ау —хЪ = ах —yb <=»у(а + Ь) = х(а + Ъ),
откуда у = х, что и требовалось.
Теперь понятно, что теорема в исправленном виде могла бы вы

глядеть, например, так:
Если прямоугольник вписан в квадрат так, что одна из сто
рон первого не параллельна ни одной из диагоналей второго,
то этот прямоугольник есть квадрат.
Или, равносильно, так:
Если прямоугольник с неравными сторонами вписан в квад
рат, то стороны прямоугольника параллельны диагоналям
квадрата.
Анализ софизма «Новый признак равенства треугольников» (11)

Во всех трех случаях мы доказывали, что треугольник ВССг равно
бедренный, и выводили из этого искомое равенство треугольников.
Эти рассуждения абсолютно корректны, но только в случае, когда
ВССг действительно является треугольником, иными словами —
когда прямая ССХ не проходит через вершину В. Если, однако, вер
шина В лежит на отрезке ССг (этот случай мы не рассмотрели),
то о треугольнике ВССг говорить не приходится и рассуждение
рушится. Более того, легко видеть (см. рис. 22), что в этом случае
треугольники ABC и АВСг равными быть и не обязаны: они будут
равны, если В — середина отрезка СС1? но
мы можем выбрать точку В в произволь
ном месте стороны ССХ— основания рав
нобедренного треугольника АССг.
Забавно, что всего один забытый «вы
рожденный» случай порождает большое
семейство контрпримеров к доказываемо
му утверждению.
В нашем рассуждении мы упустили
и еще один вырожденный случай, когда
прямая СС2 проходит через вершину Л.
При этом, однако, контрпримера не получается: треугольник ССгВ
равнобедренный и ВА — его медиана, так что треугольники ABC
и АВСг действительно равны.
Исправить формулировку нашей неверной теоремы можно, на
пример, следующим образом.
Предположим, что в треугольниках ABC и А 1В1С1 стороны
АВ и А 1В1 являются наибольшими, и пусть, кроме того,
АВ = А 1В1, АС = А гСг и / С = ZCj. Тогда ААВС = А А ^ С ^
В самом деле, при выполнении этих условий ситуация на рис. 22
уже невозможна: один из углов ZABC и ААВСг обязан быть тупым
или прямым, но угол в треугольнике, прилежащий к наибольшей сто

роне, может быть только острым.
В исправленном виде новый признак равенства треугольников
выглядит менее эффектно (на одном дыхании его не произнесешь),
но зато он верен!
Анализ софизма «Все прямые параллельны» (12)

Наши рассуждения красивы, но в них содержится даже не одна,
а две разные ошибки.
Вспомним, что наше доказательство основывалось на следующих
двух утверждениях.
1) Отрезок АА1 не пересекается с отрезком ВВХ, отрезок А ХА 2 не
пересекается с отрезком ВХВ2 и т.д.
2) Отрезок ААг не пересекается с лучом ВгР, отрезок А ХА 2 не
пересекается с лучом В2Р и так далее (а также серия аналогичных
утверждений, в которой лучи меняются ролями).
Утверждения из серии 1), которые мы выводили из так называ
емого неравенства треугольника (сумма двух сторон треугольника
больше третьей), абсолютно верны, а вот про утверждения из серии
2) этого не скажешь. Например, при доказательстве того, что ААг не
пересекается с лучом ВгР, мы пользовались как само собой разуме
ющимся фактом тем, что эти отрезок и луч лежат по разные сторо
ны от прямой А 1В1, при доказательстве следующего утверждения —
тем, что отрезок А ХА 2 и луч В2Р лежат по разные стороны от прямой
В2Р... На самом же деле эти оставшиеся недоказанными утвержде
ния не всегда верны. На рис. 23 представлен как раз такой случай:
ААг и ВгР лежат по одну сторону от прямой А 1В1, А ХА 2 и В2Р также
лежат по одну сторону от прямой А 2В2. Правда, А 2А Ъ и В3Р лежат от
прямой А 3В3 по разные стороны, но к этому времени лучи AQ и ВР
уже успевают пересечься.
Итак, ошибка обнаружена: доказательство того, что произвольные
два луча в одной полуплоскости не пересекаются, оказалось невер
ным. Но не может ли, тем не менее, найтись пара пересекающихся
лучей AQ и ВР, для которых все же верно, что ни ААЪ ни А ХА 2, и во
обще ни один из отрезков А пА п+1 не пересекается с целым лучом ВР?
Казалось бы, если такие лучи найдутся, то мы для них снова получим
парадоксальное утверждение об отсутствии пересечения лучей AQ
и ВР?
Ответ на первый вопрос положителен: если ZQAB = /.РВА, то из
симметрии равнобедренного треугольника очевидно, что все отрез
ки ААЪ А гА 2 и т. д. не пересекаются с лучом ВР (а также все отрезки
ВВг, ВХВ2 и т.д. не пересекаются с лучом AQ) — см. рис. 24. Тем не
менее из этого по-прежнему не вытекает, что лучи AQ и ВР не пере

секаются, поскольку в своем рассуждении мы не учли еще одного об
стоятельства. Именно, ниоткуда не следует, что отрезки ААЪ А 1А2, ...
заполняют весь луч AQ. А если они луч не заполняют, то ничто не ме
шает лучам AQ и ВР пересечься в точке, ни в один из этот отрезков не
входящей! На рис. 24 изображена именно такая ситуация: все выше
указанные отрезки лежат на участке от А до точки пересечения лучей
AQ и ВР, причем сама эта точка ни в одном из названных отрезков
не лежит.
Можно (и несложно) показать, что в ситуации, изображенной на

рис. 24, объединение отрезков ААЪ А 1А 2 и так далее есть интервал
прямой между точкой А и точкой пересечения лучей, причем точка А
в этот интервал включается, а точка пересечения лучей — нет. Лучи

пересеклись, чудом ускользнув от погони!
Анализ софизма «Все числа равны» (13)

С базой индукции тут все в порядке, а вот в индукционном пере
ходе спрятана ошибка: переход от п к п + 1 проходит во всех случаях,
кроме перехода о тп = 1 к п = 2 .В самом деле, для нашего рассужде
ния существенно, что в наборе из п + 1 числа есть число с номером
п + 1, число с номером п и число с номером от 1 до п — 1. Мы только
что перечислили три разных номера, так что при переходе от п к п + 1
необходимо, чтобы п + 1 было не меньше 3, то есть п ^ 2; при п = 1
ничего не получится!
Даже без указания конкретной ошибки наше рассуждение вызы
вает сильные подозрения еще в одном месте: совершенно непонятно,
зачем нужно произвольное п в утверждении «в любом наборе из п
чисел все числа равны». Казалось бы, для доказательства того, что
все числа равны, достаточно проверить это утверждение при п = 2,
а коль скоро доказываем мы по индукции, утверждения про случай
п > 2 в этом никак не помогут: ведь в процессе доказательства по
индукции мы выводим случай п > 2 из случая п = 2, а не наоборот.
Мораль: проверяя свое доказательство по индукции, обязательно
проверьте и самые первые индукционные переходы. А если при этом
обнаружите ошибку, не очень расстраивайтесь: такие промахи встре
чались даже у выдающихся математиков.
Анализ софизма «Все люди лысые» (14)

Конечно, от этого софизма можно попросту отмахнуться, заявив,
что в математике нет понятия «лысый». Но рассуждение, приводящее
к нелепому выводу, все равно налицо, и с ним стоит разобраться.
В этом софизме, как и в предыдущем, ошибка спрятана в индукци
онном переходе, но ошибка эта не математическая. Дело в том, что
точного определения понятия «лысый» не существует: человек лыс
постольку, поскольку он кажется лысым другим людям. При этом есть
много случаев, когда разные люди воспримут одного и того же чело
века по-разному: кто-то как лысого, кто-то нет. Хуже того, даже один
и тот же наблюдатель, если ему дважды продемонстрировать одну
и ту же шевелюру, может один раз сказать «лысый», а другой раз —
«пожалуй, все же не лысый», и эти ответы могут зависеть не только от
количества волос, но и от много чего другого: от настроения наблю
дателя, от освещения, от того, кто или что находится рядом с «испы
туемым»... Из сказанного вытекает, что наше ключевое утверждение
«если лысому человеку добавить один волос, он останется лысым»
неверно по причинам, с количеством волос не связанным: возможно,

этот наблюдатель при повторном предъявлении счел бы лохматым
того, кого он недавно назвал лысым (или наоборот), независимо от
добавления дополнительной волосинки.
Кроме этого, есть и еще одно соображение. Когда мы, оставаясь
в рамках математики, доказываем, что некоторое утверждение вер
но для всех натуральных гг, мы подразумеваем следующее: чтобы
установить, что утверждение верно, скажем, для п = 1000000, надо
провести 999999 умозаключений. Именно, доказав «базу индукции»
(утверждение верно для п = 1) и «шаг индукции» (если утверждение
верно для к , то оно верно и для к + 1), надо еще, чтоб добраться до
нужного нам п = 1000000, провести следующие рассуждения:
Утверждение верно для п = 1; если утверждение верно для п= к,
то оно верно и для п = к + 1. Значит, оно верно и для п = 2.
Итак, утверждение верно для п = 2; если утверждение верно
для п = к,т о оно верно и для п = к + 1. Значит, оно верно и для
тг = 3.
Ну хорошо, утверждение верно для п = 3; если утверждение
верно для п = к, то оно верно и для п = к + 1. Значит, оно
верно и для п = 4...
Принцип математической индукции гласит, что, поскольку теорети
чески провести все эти рассуждения всякий раз возможно, из «базы»
и «шага» индукции вытекает, что утверждение верно для всякого п.
Но все сказанное относилось к математике, где принципиальной
возможности провести требуемые рассуждения достаточно. Однако
понятие «лысый», как мы выше отмечали, к математике не относит
ся: чтобы заключить, что некто является лысым, необходим человек-
наблюдатель. У взрослого человека, не являющегося лысым, насчи
тывается порядка ста тысяч волос, и невозможно представить наблю
дателя, который реально проделает сто тысяч умозаключений, подоб
ных приведенным выше.
Анализ парадокса учебной тревоги (15)

Про этот софизм немало написано (см., например, [4, гл. 8]); при
ведем два варианта объяснения того, в чем состоит ошибка рядового
Петрова.
Первое объяснение состоит в том, что Петров ошибся уже на пер
вом шаге своего рассуждения. На самом деле тревогу в пятницу объ
явить вполне можно, и она при этом действительно будет неожидан
ной: ведь те, кто проведут для себя рассуждение, аналогичное рас
суждению Петрова, будут уверены, что уж в пятницу-то тревоги точно
не будет, а для тех, кто о завтрашнем дне не задумывается, тревога

окажется неожиданностью в любом случае. Тем более несостоятель
ны опирающиеся на этот первый вывод умозаключения о возможно
сти объявить тревогу раньше пятницы (если с понедельника по среду
тревоги не было, то можно задать такой неприятный вопрос: «Если
вы считаете, что теперь внезапно объявить тревогу невозможно, то
скажите, вы ее предсказываете на четверг или на пятницу?»).
Чтобы лучше понять, что происходит, давайте зададимся вопро
сом, что понимал под неожиданностью рядовой Петров. Судя по ходу
его рассуждений, он считал, что событие не является неожиданным,
если его можно точно предсказать заранее. Но дело в том, что тре
вогу в любом случае объявляет человек, а действия человека точно
(с математической точностью, как говорили в старину) предсказать
невозможно. Можно (по крайней мере, теоретически) предсказать
действия компьютерной программы, если известен ее исходный код
и исходные данные; в целом ряде случаев можно с большой точно
стью предсказать природное явление (скажем, солнечное затмение).
Но человек, в отличие от компьютеров и небесных тел, наделен сво
бодой воли. Применительно к нашему случаю всегда есть, например,
возможность, что с понедельника по четверг тревогу не объявляли,
а в пятницу в четыре утра военнослужащий, отвечающий за меро
приятие, передумает и его перенесет.
Есть и другое объяснение ошибки рядового Петрова, если угодно,
не с логической, а с житейской точки зрения. Дело в том, что иногда
одни и те же слова имеют разное значение при их использовании
в логических (в том числе математических) рассуждениях и в обы
денной речи. Например, если жена сказала мужу: «Купи, пожалуйста,
колбасу или сыр», а муж купил и то и другое, то согласно пониманию
слова «или», принятому в логике, все в порядке, но в жизни вполне
можно представить ситуацию, когда при этом окажется, что просьба
не выполнена (если, скажем, при этой покупке тратятся последние
деньги)1}.
В нашем случае это различие значений слова в двух типах речи от
носится к слову «неожиданный». Разумеется, командир вовсе не имел
в виду, что солдаты не смогут заранее найти дату тревоги с помо
щью логических рассуждений. Смысл его речи был много проще: «На
следующей неделе объявят тревогу, будьте готовы; в какой день —
секрет».
^Встречается и непонимание этого различия «в другую сторону», когда словам

из логических рассуждений пытаются придать обыденный смысл. Вот хресто
матийный пример. Мальвина задает Буратино задачу: «Предположим, что у вас
в кармане два яблока. Некто взял у вас одно яблоко. Сколько у вас осталось
яблок?». Буратино отвечает: «Два. Я же не отдам Некту яблоко, хоть он дерись».
Анализ парадокса брадобрея (16)

С чисто логической точки зрения ответ очень прост: не всякий
приказ можно выполнить, и данный приказ, в частности, относится
к тем, которые при буквальном понимании выполнить невозможно,
так же, как невозможно выполнить приказ пробежать километр за
минуту. Данный конкретный невыполнимый приказ примечателен
тем, что аналог рассуждения, доказывающего его невыполнимость,
встречается и в математике. См. парадокс Уайтхеда-Рассела, идущий
в этой книжке под номером 17.
Можно также добавить, что и к этой ситуации относится заме
чание о различии значений слов в реальной жизни и в логических
рассуждениях (см. выше обсуждение парадокса с учебной тревогой).
Если бы в настоящей армии солдат, получивший такой приказ, был
всегда выбрит, то его начальники не обязательно стали бы интере
соваться, как ему удалось выполнить противоречивый приказ, а если
бы он явился на утреннее построение небритым, то никакие рассуж
дения не спасли бы его от наказания. Так что в реальной жизни вы
полнить «приказ о брадобрее» в принципе мож но1} (что выгодно от
личает его от вышеупомянутого гипотетического приказа пробежать
километр за минуту).
По поводу выполнимых и невыполнимых приказов см. также гла
ву 10 книги [9].
Анализ парадокса Уайтхеда—Рассела (17)

В данном случае (в отличие, скажем, от нашего софизма номер 1)
рассуждения, приводящие к противоречию, совершенно корректны.
Если корректные рассуждения приводят к противоречию — значит,
мы доказали несуществование или невозможность чего-то. Чего
именно в данном случае? В объяснениях, что такое множество,
мы молчаливо предполагали, что любой набор чего угодно можно
считать множеством (кроме этого, мы вообще ничем не пользова
лись),— вот такого предположения, стало быть, делать и нельзя.
Значит, надо либо вообще отказаться от использования понятия
«множество» — но это чрезвычайно неудобно, и математики на такое
не согласны, — либо разработать «технику безопасности» для работы
с множествами, не позволяющую прийти к противоречиям. В эту
технику безопасности должен, очевидно, войти и запрет на обра
зование произвольных множеств из чего угодно. При этом «очень
большие» множества (пусть и не такие большие, как множество
^По крайней мере если речь идет не о роте (больше сотни человек), а об от
делении (десяток).
всех множеств) в математике бывают нужны, так что просто так

запретить образование очень больших множеств все же нельзя.
К 20-м годам прошлого века непростая работа по выработке этой
техники безопасности была проделана: были сформулированы акси
омы теории множеств. С тех пор математики научились использо
вать понятие множества так, чтобы в противоречия не впадать (а за
одно и в аксиомы не вникать). Цитируя книгу [2],
...под здание математики подвели новый (и довольно проч
ный) фундамент, но большинство жильцов про это до сих пор
не знают.
(Возможно, точнее было бы сказать так: что фундамент есть, все зна
ют, но большинство не знает, из чего он построен.)
Про парадоксы теории множеств и то, как с ними бороться, мож
но прочитать в книгах [3] (популярное изложение, рассчитанное на
школьников) и [1] (изложение, рассчитанное на чуть более подго
товленных читателей); в последней книге можно найти ссылки на
формальные изложения аксиоматической теории множеств.
Анализ парадокса Берри (18)

Можно и от этого парадокса отмахнуться, как от парадокса «Все
люди лысые», сказав, что «фраза русского языка» — не математиче
ское понятие, но интереснее разобраться в вопросе содержательно.
К тому же в данном случае, в отличие от случая с лысыми, наши рас
суждения можно (с помощью теории алгоритмов) переформулиро
вать так, чтобы они использовали только математические понятия.
Мы этой переформулировкой заниматься не будем, а сразу перейдем
к сути.
Чтобы наши рассуждения действительно приводили к противоре
чию, нужно, чтобы фраза «Наименьшее натуральное число, которое
нельзя задать фразой не более чем из ста букв» действительно одно
значно задавала некоторое натуральное число. На первый взгляд так
оно и есть, но давайте посмотрим на нее повнимательнее.
Как именно можно было бы найти число, задаваемое этой пре
красной фразой? Наиболее очевидный способ такой. Сначала выпи
шем все наборы не более чем из 100 букв (человек с такой задачей
не справится, но достаточно мощный компьютер — вполне, не сей
час, так в будущем). Теперь переберем получившиеся «фразы»; при
этом бессмысленные фразы, фразы, не задающие натурального числа
(например, «Девичья фамилия жены Льва Толстого»), или фразы, за
дающие натуральное число, но неоднозначно (все то же «Двузначное
число в десятичной системе») будем отбрасывать, а если очередная
фраза однозначно задает натуральное число, выпишем это натураль
ное число на отдельный лист. Пусть наибольшее из выписанных на

туральных чисел равно N. Если все числа от 1 до N — 1 также выпи
саны, возьмем число N + 1, а если не все, то возьмем наименьшее из
невыписанных чисел от 1 до N — 1; это и будет искомое наименьшее
натуральное число, которое нельзя задать фразой не более чем из ста
букв.
Итак, чтобы при таком подходе найти «наименьшее число, кото
рое нельзя задать фразой не более чем из ста букв», нам надо иметь
способ по любой фразе выяснить, задает ли она, причем однозначно,
некоторое натуральное число. Но то, что такой способ есть, тоже на
до доказывать, а мы этого не сделали — здесь и спряталась ошибка
в нашем рассуждении! Более того, если бы можно было по каждой
фразе выяснить, задает ли она однозначно некоторое натуральное
число, то мы пришли бы к противоречию. Стало быть, такого способа
нет. Итак, рассуждение, приведшее нас к парадоксу Берри, на самом
деле к парадоксу не ведет, а доказывает следующее утверждение:
Не существует способа, позволяющего по любой заданной
фразе русского языка выяснить, задает ли она однозначно
некоторое натуральное число.
Подчеркнем, что мы доказали несуществование именно общего
способа. Для многих конкретных фраз выяснить, задает ли она
натуральное число, вполне можно: ясно, что фраза «У попа была
собака» натурального числа не задает, а фраза «Наименьшее четное
натуральное число» задает число 2. Но вот общего способа нет!
Если еще вдуматься, доказанное утверждение перестает казаться
таким уж удивительным. Дело в том, что среди вопросов «Задает ли
такая-то фраза натуральное число?» встречаются и нерешенные ма
тематические проблемы. Вот всего лишь один (из многих) пример.
Посмотрим на такую фразу: «Наибольшее простое число, остающееся
простым после прибавления двойки». Она либо задает однозначно
некоторое натуральное число, либо нет. Если задает, это означает,
что количество простых чисел р, для которых р + 2 также простое,
конечно. Если не задает, это означает, что число пар из простых чисел
вида (р, р + 2) (такие пары называются «простые числа-близнецы»)
бесконечно. Но дело в том, что на сегодняшний день никто не знает,
конечно или бесконечно количество пар простых близнецов! Суще
ствует гипотеза, что это количество бесконечно, и специалисты по
теории чисел склонны считать, что она верна, но пока что это не
доказано. Если бы был способ по любой фразе узнать, задает ли она
натуральное число, то этот способ заодно позволял бы с ходу решить
эту и другие нерешенные проблемы. Так ли неожиданно, что такого
способа нет?
Как мы уже говорили, рассуждения, ведущие к парадоксу Берри,

можно формализовать таким образом, что они превратятся в утвер
ждения о математических объектах. Если провести такую формали
зацию, то доказанное нами утверждение о несуществовании общего
способа узнать, задает ли данная фраза натуральное число, перейдет
в утверждение, близкое к так называемой «теореме о неразрешимо
сти проблемы остановки».
Анализ софизма «Волны» (19)

В рассуждении, приведшем к странному выводу, мы неявно опи
рались на следующее утверждение:
Если последовательность кривых1} Кп стремится к кривой К,
то длина кривых Кп стремится к длине кривой К.
При этом понятию «последовательность кривых Кп стремится к кри
вой К» в нашем рассуждении был придан абсолютно точный смысл
(по крайней мере применительно к тому интересующему нас случаю,
когда кривая К — отрезок). Однако эта корректность формулировки
маскирует то неприятное обстоятельство, что никаких обоснований
утверждения, выделенного курсивом, приведено не было! А если оно
не доказано, то мы никак не можем опираться на него в рассуждени
ях, в частности — не можем ему доверять больше, чем проделанному
нами прямому подсчету длин кривых.
Рис. 25
В нашем рассуждении все кривые, стремящиеся к отрезку АВ,

были одной и той же длины (отличной от длины отрезка). Нетрудно
построить пример и похлеще, когда длина этих кривых, например,
неограниченно возрастает. В самом деле, если рассмотреть соеди
няющую точки А и В пилообразную ломаную из п звеньев, все
вершины которой находятся на данном расстоянии d от прямой АВ
(рис. 25), то длина каждого из звеньев, кроме первого и последнего,
очевидно, не меньше 2d, так что длина всей ломаной не меньше,
чем 2d (гг —2). При каждом фиксированном d, сколь бы мало оно
х) Отрезки (а также ломаные, о которых пойдет речь далее) — тоже частные
случаи кривых.
ни было, можно выбрать п таким образом, чтобы 2n(d — 2) (а тем

самым и длина ломаной) было сколь угодно большим. Если, скажем,
в качестве Кп выбрать «пилу», вершины которой отстоят от прямой
АВ на расстояние d = - и количество звеньев которой равно гг2, то
длина ломаной Кп будет не меньше, чем
(п2 - 2) • - =
к J П п- п ’
и ясно, что с ростом п эта величина стремится к бесконечности.
Анализ софизма с логарифмом двух (20)

Ряд в правой части равенства (3) на с. 20, как говорят, сходится:
последовательность его «частичных сумм»
1і, 11 —-2 , 11 —-2 + -3 ’ 1 — -2 + -3 —-4 ’ 1 —-2 + -3 —-4 + -5 ’ ***
имеет предел (и этот предел равен In 2 : в этом, собственно, и состоит

смысл равенства (3) с бесконечной суммой в правой части). А вот
равенство (4) смысла уже не имеет, так как ряды
1 . 1 , 1 . 1 . 1 11 .
3 5 " и 2 4 6
расходятся: их частичные суммы предела не имеют. Мы всегда
можем выписать равенство, аналогичное (4), «на уровне частичных
сумм»: скажем, ничто не мешает сказать, что
(и аналогично для любой частичной суммы ряда (3)), но перейти

к пределу в этом равенстве не получится: в левой его части будет
стоять последовательность, имеющая предел, а в правой — разность
двух последовательностей, предела не имеющих, так что применить
теорему о пределе разности не удастся. Этим опровергается первое
из наших доказательств равенства In 2 = 0.
А чем же неверно второе доказательство? Само по себе равен
ство (5) сомнений не вызывает; ошибка таится в фразе «собирая
в правой части дроби с одинаковыми знаменателями»: чтоб эти
дроби собрать (т. е. поставить рядом две дроби со знаменателем 3,
две дроби со знаменателем 5, две дроби со знаменателем 7 и т.д.),
надо переставить слагаемые в бесконечной сумме в правой части (5),
получив из нее что-то вроде
Но при этом ниоткуда не следует, что сумма получившегося ряда с пе

реставленными членами будет такой же, как у ряда исходного. В ко
нечных суммах от перемены мест слагаемых сумма не меняется, но
для «бесконечных сумм» (рядов) это уже не так: вообще говоря, после
перестановки членов ряда его сумма может измениться, а то и сходя
щийся ряд может перестать быть таковым. В нашем примере имеет
место первый случай: сумма из 2 In 2 превращается в In 2, но проти
воречия это не дает, так как никто и не обещал, что сумма не изме
нится.
Отметим еще, что есть важный случай, когда члены ряда (бес
конечной суммы) произвольным образом переставлять можно: так
будет, если сходится не только сам ряд, но и ряд, составленный из
модулей его членов (такие ряды называют абсолютно сходящимися).
К ряду в правой части равенства (5) это, увы, неприменимо.
Анализ софизма со степенными рядами (21)

Если ограничиться лишь опровержением рассуждения, приводя
щего к нелепым выводам, то все будет просто и скучно: в любом
учебнике написано, что формула для суммы бесконечной геометри
ческой прогрессии со знаменателем q верна только при \q\ < 1, так
что при q = —1 ее применить не получится, а дальнейшие рассужде
ния с 1/(1 + х + х 2) и прочим в том же духе лишены смысла, так как
используют несуществующее понятие «сумма бесконечного количе
ства слагаемых».
Все это так, но кое-что осмысленное в наших некорректных рас
суждениях все же есть. Оказывается, «многочлены бесконечной сте
пени» (бесконечные суммы, в которых первое слагаемое — констан
та, второе слагаемое — константа, умноженное на х, третье слагае
мое — константа, умноженная на х 2 и т.д.) можно и складывать (по
просту приводя подобные члены), и, что интереснее, умножать. Для
такого умножения надо опять-таки раскрыть скобки и привести по
добные члены, причем эта операция корректна, так как для нахожде
ния коэффициента при каждом х п в произведении надо произвести
лишь конечное число сложений и умножений. Такие «многочлены
бесконечной степени» называются формальными степенными ряда
ми, и равенства наподобие
1 = 1 - х + r 3 - х 4 + х 6 - х 7 + ...
1 4- л: 4- х 2
для формальных степенных рядов абсолютно корректны. Но вот под
ставить в такие тождества число вместо х так просто уже не получит
ся: для этого нужно, чтобы число было достаточно малым по модулю
(число 1 в наших примерах, увы, не таково).
Анализ софизма с интегрированием по частям (22)

В рассуждении мы проигнорировали то обстоятельство, что «не
определенный интеграл» § f ( x ) dx определен не однозначно, а с точ
ностью до прибавления константы (если функция / определена на
интервале; если / определена на объединении нескольких интерва
лов, то с точностью до прибавления нескольких констант, на каж
дом интервале своей). Поэтому одинаковые выражения § ^ в левой
и правой частях не обязаны означать одну и ту же функцию: эти
функции могут отличаться на константу. Если вспомнить об этом, то
после «сокращения» на § ^ мы получим не нелепое равенство 1 = 0,
а более скромное утверждение «1 — константа», с которым спорить
не приходится.
Для контроля такого рода рассуждений с неопределенными инте
гралами полезно переходить от неопределенных интегралов к опре
деленным: формула интегрирования по частям тогда примет вид
ъ ъ
§ u (x )v /( x ) d x = u (x)v (x )\ba - § u '(x )v (x )d x .
a a
Подставляя u{x) = 1/x, v(x) = x, мы получим тривиальное равенство
а а
не ведущее ни к какому противоречию.
Анализ софизма с эллипсом и параболой (23)

В этом рассуждении мы злоупотребили неформальными правдо
подобными соображениями. Именно, мы заявили, что эллипс (точ
нее, его нижняя половина) и парабола достаточно близки при боль
ших к, откуда сделали вывод о близости площадей. При этом вывод
о близости кривых мы сделали из того, что близки левые части зада
ющих их уравнений (10) и (11) — см. фразу «при росте к множитель
^2 стремится к нулю быстрее, чем так что им можно пренебречь».
Однако близость кривых из так понимаемой близости уравнений во
все не следует — по крайней мере, утверждение о близости кривых
(точнее, единственно нужное нам утверждение о малости площади,
заключенной между кривыми) нуждается в доказательстве, которое
в нашем рассуждении отсутствует.
Более того, как доказывать эту малость площади — совершенно
непонятно. Действительно, если точка с координатами (х , к) лежит
на параболе с уравнением
х 2 - \ - 1 у + 1 = 1,
то легко видеть, что х = =Ь\/2, а если точка с координатами (х , /с)

лежит на эллипсе с уравнением
* 2 + j~2 ’ У 2 ~ £ ' 2У + 1 -
то столь же легко заметить, что х = ±1. Таким образом, при у, близ
ком к /с, «зазор» между эллипсом и параболой с ростом к не умень
шается, но остается равным у/2 — 1 (рис. 26). Как в таких услови
ях сделать вывод о близости площадей, неясно, а явное вычисление,
проделанное нами в процессе формулировки софизма, показывает,
что этой близости и нет.
Остается добавить, что утверждению «кривая, зависящая от па
раметра к , стремится к тому-то и тому-то при к —> оо» во многих
случаях придать точный смысл можно. Есть предел при к —> оо и у
нашего семейства эллипсов, получаемых растяжением окружности
х 2 + (у —I )2 = 1 вдоль оси ординат в к раз. Правда, пределом этим
будет не парабола, а «удвоенная прямая» — взятая дважды ось орди
нат.
Анализ софизма с площадью сферы (24)

Этот софизм взят нами из книги Я. С. Дубнова [5]; вот как в той
же книге он разъясняется (текст воспроизведен с минимальной ре
дактурой).
Рис. 26. Сплошная линия — нижняя половина эллипса, пунктирная

линия — парабола
Перед нами злоупотребление такими не имеющими мате

матического смысла выражениями, как «очень большое число»,
«очень узкий треугольник», «малая дуга», «бесконечно узкий
треугольник», которые уместны, когда мы стремимся наглядно
описать геометрическую фигуру... но совершенно непригодны
как орудие доказательства или для вывода формулы. Пря
мая ошибка состоит в утверждении, будто бесконечно узкий
треугольник можно развернуть на плоскость, т. е. заменить
плоским треугольником с теми же длинами сторон, теми же
углами и той же площадью, что у сферического. На самом деле
никакой сферический треугольник (как бы мал он ни был) не
может быть в указанном смысле развернут на плоскость; это
видно уже из того, что сумма углов плоского треугольника все
гда равна 180°, а у сферического всегда больше 180°. В нашем
примере у сферического треугольника РАВ углы Л и В прямые;
если бы такой треугольник мог быть развернут на плоскость, то
получился бы плоский (равнобедренный) треугольник (рис. 14
слева) с прямыми углами при основании.
Взятые в кавычки словосочетания точного математического смысла

действительно не имеют, но человеку с минимальным опытом это
и так ясно. А в своей содержательной части приведенные выше ар
гументы уязвимы для критики.
Именно, представим себе конус с радиусом основания R, высотой
h и образующей I = \ / R2 + h2. Если Р — вершина конуса и q — окруж
ность основания, то можно повторить почти дословно рассуждения
из нашего софизма:
Разделим окружность q на очень большое число п равных

частей и соединим Р со всеми точками деления посредством
образующих конуса; тогда боковая поверхность разделится
на п очень узких криволинейных треугольников, из которых
каждый ограничен малой дугой основания и двумя образую
щими. За счет ничем не ограниченного увеличения числа п
делений можно сделать эти сферические треугольники сколь
угодно узкими («тоньше паутинки»), а «бесконечно узкий» ис
кривленный треугольник можно распластать или, как говорят,
«развернуть» на плоскость с сохранением всех размеров (т. е.
длин, углов, площади). Получится (равнобедренный) плоский
треугольник, у которого основанием служит распрямленная
дуга длиной 2nR/n, а высотой — образующая конуса, имеющая
длину I. Площадь такого треугольника есть
1 2nR , _ nRl
2 п ~ 2п ’
следовательно, общая площадь всех п треугольников, заполня

ющих боковую поверхность, равна ^ 2nRl = nRl.
Получился ответ, который можно найти во всех учебниках. Между

тем к приведенному выше рассуждению можно предъявить в точно
сти те же претензии, что к софизму 24: у маленького треугольника,
развернутого на плоскость, также будут два прямых угла, что невоз
можно; и если узкий треугольник, вырезанный из поверхности кону
са, можно развернуть на плоскость точно, то неясно, почему узкий
треугольник, вырезанный из поверхности шара, нельзя развернуть
на плоскость «приближенно» с тем, чтобы при стремлении количе
ства маленьких треугольников к бесконечности погрешность этого
приближения стремилась к нулю? В конце концов, кусочки боковой
поверхности конуса, которые мы разворачиваем на плоскость, тоже
не настоящие треугольники, но это ничему не мешает.
Почему же одно из двух совершенно аналогичных рассуждений
дает верный ответ, а другое — неверный? Чтобы это понять, прихо
дится задаться основополагающим вопросом: что такое, собственно
говоря, площадь поверхности?
Ответ на этот вопрос непрост, и в рамках школьной программы
невозможно его дать без весьма серьезных умолчаний и «огрубле
ний». Мы попробуем сказать кое-что на этот счет, не претендуя ни
на полноту, ни на математическую строгость.
В большинстве современных школьных учебников площадь по
верхности для каждой из (немногих) поверхностей, встречающихся
в школьной программе, определяется по-своему: для цилиндра — то
как площадь развертки на плоскость, то как предел площадей бо
ковых поверхностей вписанных призм, для шара — как предел пло
щадей поверхности описанных многогранников и т. д. Понятно, что
при таком подходе об общем определении речи быть не может. А вот
в ранних изданиях учебника А. В. Погорелова (см., например, [7]) об
щее определение, пусть и не вполне формальное, было. Вот как рас
суждал Погорел ов.
Представим себе, что поверхность, площадь которой мы хотим
определить, сделана из жести. Давайте покрасим эту поверхность
краской и одновременно покрасим плоскую металлическую пла
стинку площадью 1см2. Тогда отношение площади поверхности
к площади пластинки равно отношению объемов краски, затра
ченных на покраску (мы предполагаем, конечно, что толщина слоя
краски одна и та же), так что это отношение равно площади нашей
поверхности в квадратных сантиметрах. Далее, продолжает Погоре-
лов, попробуем выразить ту же мысль в математических терминах.
Для малого h рассмотрим область пространства, занятую точками,
отстоящими от поверхности на расстояние не более h (с одной

стороны), — это аналог слоя краски толщиной h. Обозначим через
Vh объем этого слоя краски. Если поверхность плоская, то, очевидно,
Vh = Sh, где S — площадь этой плоской поверхности. Если поверх
ность неплоская, то Vh) строго говоря, не пропорционально h (на
участках, где поверхность выпукла, потребуется больше краски, где
вогнута — меньше), но отношение Vh/h при h, стремящемся к нулю,
будет тем не менее стремиться к некоторому пределу, и этот предел
мы назовем площадью поверхности.
Вот как работает это определение для площади сферы радиуса R.
В этом случае Vh — часть пространства, заключенная между концен
трическими сферами радиусов R и R + h. Пользуясь формулой объема
ш ара1}, имеем
Vh = ^ n ( R + h f - |тгК 3,
откуда после упрощений получаем, что
у = | я - ( З К 2 + ЗКЛ + ?і2).
При h, стремящемся к нулю, второе и третье слагаемое в скобках

4 9 9
стремятся к нулю, так что предел равен • 3R = 4nR , и мы по
лучаем знакомую формулу.
Для площади поверхности в пространстве, заданной более или
менее произвольным уравнением, можно, исходя из вышеописанно
го определения, получить формулу (в которой участвуют производ
ные и интегралы); из этой формулы, в свою очередь, выводится такое
важное следствие:
Если одну поверхность можно преобразовать в другую так,

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

вых действительно сохраняются, так что площадь поверхности кону
са равна площади его развертки. А вот никакой, сколь угодно малый,
участок сферы развернуть на плоскость с сохранением длин нель
зя, и можно проверить вычислением, что при использующейся в со
физме замене участков сферы на плоские треугольники погрешность
^Что такое объем, мы здесь не обсуждаем; в любом случае это понятие более
простое, чем площадь поверхности.
к нулю не стремится. Только пройдя это долгий путь, можно сказать,

что мы проанализировали софизм1}.
Подведем итог нашего обсуждения. Опровергая рассуждение,
ведущее к нелепому результату, мы натолкнулись на противоречие
уже в собственных рассуждениях; чтобы устранить это противоре
чие, пришлось вернуться назад и дать более строгое определение
понятию, которое казалось интуитивно ясным.
Вот как можно доказать, что никакой участок сферы нель
зя развернуть на плоскость с сохранением длин всех кривых
(нижеследующее доказательство мне сообщил Л. Г. Рыбников).
Если бы такая развертка была возможна, то, как можно по
казать, отрезкам прямых на плоскости соответствовали бы
дуги больших кругов на сфере (дело в том, что и отрезки на
плоскости, и достаточно короткие дуги больших кругов на
сфере задают кратчайшее расстояние между двумя точками).
Поэтому равностороннему треугольнику на плоскости будет
соответствовать равносторонний треугольник на сфере, со
ставленный из дуг больших кругов. Нетрудно показать, что
в равностороннем сферическом треугольнике все углы равны;
поскольку, однако, сумма углов сферического треугольника
всегда больше 180° (см. выше обсуждение софизма 6), углы
равностороннего сферического треугольника больше, чем 60°.
Заметим теперь, что на плоскости можно разместить шесть
равных равносторонних треугольников с общей вершиной так,
чтобы они не перекрывались (рис. 27). Если бы развертка
участка сферы на плоскость была возможна, то такая конфи
гурация равносторонних треугольников соответствовала бы
шести неперекрывающимся равносторонним треугольникам
на сфере, опять с общей вершиной. Это, однако, невозмож
но: как мы выяснили в предыдущем абзаце, каждый из углов
в равностороннем сферическом треугольнике больше 60°, так
что сумма шести углов при вершине получается больше 360°
и уложить треугольники без перекрытий нельзя.
Доказательство более простого факта — невозможности отобра
жения участка сферы на плоскость с сохранением всех длин кривых
и всех углов между кривыми — можно найти, например, в кни
ге Д. Пойа «Математическое открытие» [8, гл. 14, п. 12] (можно
также попробовать доказать этот факт самостоятельно — это не
очень сложно). Про трудные вопросы, связанные с определением
^Разумеется, Я. С. Дубнов все сказанное выше прекрасно понимал, а о возни

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

в книжке [10].
Анализ парадокса воронки (25)

Мы объясним ошибку в рассуждении, относящемся к случаю бес
конечной воронки, предоставив читателю произнести соответствую
щие правильные слова применительно к случаю последовательности
конечных воронок.
Итак, ошибка заключается в утверждении «Если на покраску по
верхности достаточно конечного объема краски, то площадь этой по
верхности конечна». Это было бы верно, если бы толщина слоя крас
ки была постоянна или, по крайней мере, все время не меньше неко
торой постоянной величины h > 0. Однако же наша воронка беско
нечно сужается (диаметр цилиндра номер п равен 2/гг), и поэтому
покрыть ее внутреннюю поверхность слоем краски, по толщине не
меньшим данного h > 0, невозможно: в какой-то момент этот слой
перестанет в воронке помещаться. Значит, рассуждение, доказыва
ющее конечность площади поверхности, ошибочно, и остается вер
нуться к выводам, полученным в результате вычислений: площадь
бесконечна, объем конечен, противоречия нет.
По поводу площади поверхности и мысленного окрашивания см.
также анализ софизма 24.
Литература
1. Верещагин Н. К , Шенъ А. Лекции по математической логике и тео

рии алгоритмов. Часть 1. Начала теории множеств. М.: МЦНМО,
2017.
2. Верещагин Н. К., Шенъ Л. Лекции по математической логике и тео
рии алгоритмов. Часть 2. Языки и исчисления. М.: МЦНМО, 2017.
3. Виленкин Н. Я. Рассказы о множествах. М.: МЦНМО, 2017.
4. Гарднер М. Математические досуги. М.: Мир, 1972.
5. Дубнов Я. С. Ошибки в геометрических доказательствах. М.: Физ-
матгиз, 1961. (Популярные лекции по математике; Вып. 11).
6. Литцман В., Трир Ф. Где ошибка? Математические парадоксы /
Перев. с нем. Петроград: Науч. кн. изд-во, 1920.
7. Погорелое А. В. Геометрия. Учебное пособие для 6-10 классов сред
ней школы. М.: Просвещение, 1985.
8. Пойа Д. Математическое открытие. Решение задач: основные по
нятия, изучение и преподавание. М.: Наука, 1976.
9. де Сент-Экзюпери А. Маленький принц (любое издание).
10. Шенъ А. О «математической строгости» и школьном курсе мате
матики. М.: МЦНМО, 2011.
Оглавление
Предисловие 3
Глава 1. Формулировка софизмов 5

1. 4 = 5, или Тождественные преобразования............................. 5
2. Если а > Ъ > 0, то а > 2Ь, или Работаем с неравенствами . . . 5
3. 4 = 8, или Решаем системы уравн ен и й ...................................... 6
4. 1 = —1, или Логарифмы отрицательных ч и с е л ........................ 6
5. 64 = 65, или Разрезаем и складываем........................................ 7
6. Простое доказательство того, что сумма углов треугольника
равна 1 8 0 ° ...................................................................................... 7
7. Сумма углов сферического треугольника ................................ 8
8. Все треугольники равнобедренные ........................................... 9
9. Прямой угол равен тупому........................................................... 11
10. Прямоугольник, вписанный в к в а д р а т ...................................... 12
11. Новый признак равенства треугольников................................ 13
12. Все прямые параллельны.............................................................. 14
13. Все числа равны .............................................................................. 16
14. Все люди лы с ы е .............................................................................. 16
15. Парадокс учебной тревоги........................................................... 17
16. Парадокс брадобрея...................................................................... 17
17. Парадокс Уайтхеда—Рассела........................................................ 18
18. Парадокс Б е р р и .............................................................................. 18
19. п — 2, или В о л н ы ........................................................................... 19
20. In 2 = 0, или Бесконечные р я д ы ................................................... 20
21. \ — \ — и-™ Степенные р я д ы ................................................ 21
22. 1 = 0, или Интегрирование по частям ..................................... 22
8\/2
23. п — — ^ 3,77, или Асимптотика.............................................. 23
24. п = 4, или Площадь сф ер ы ........................................................... 24
25. Парадокс в о р о н к и ......................................................................... 25
Глава 2. Анализ софизмов 28

Литература 55
Правда ли, что все прямые параллельны? А что все числа равны?
А что все треугольники равнобедренные?
А если вам расскажут доказательство какого-нибудь из этих
поразительных утверждений - ошибку в нём найдёте?
В этой брошюре собрано 25 знаменитых софизмов -

ошибочных математических и логических рассуждений.
Поиск ошибок в рассуждениях - важная часть работы
профессионального математика, так что читатель этой книжки
сможет побыть «в шкуре» учёного.
Для всех интересующихся математикой, начиная со школьников.
Автор - доцент НИУ ВШЭ

и научный сотрудник ФГУ Ф НЦ НИИСИ РАН.
ISBN 978-5-4439-1372-8

Что не так Логические парадоксы и софизмы 2019 Львовский

Загружено:

Сведения о документе

Оригинальное название

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

Что не так Логические парадоксы и софизмы 2019 Львовский

Загружено:

Авторское право:

Доступные форматы

С. М.

Подписано в печать 23.11.2018 г. Формат 60 х 90 Ѵіб- Бумага офсетная.

© Львовский С. М., 2019

Он хотел взглянуть на прыщик, который

Парадокс, согласно толковым словарям, — это утверждение, про­

1}Обычно эта странность бросается в глаза, но в некоторых случаях надо

переработке, порой — серьезной. Для софизмов, в книгах [5] и [6] не

Первые несколько софизмов будут относиться к школьному курсу

1. 4 = 5, или Тождественные преобразования

2. Если а > Ъ> 0, то а > 2Ь, или Работаем с неравенствами

и дальше, если обе части неравенства уменьшить на а 2,

а-Ъ - а2 >Ъ2 - а2.

Поделив на (Ъ — а), получаем:

Если сложить это, уже само по себе удивительное, неравенство

3. 4 = 8, или Решаем системы уравнений

4. 1 = —1, или Логарифмы отрицательных чисел

Теперь перейдем к софизмам геометрическим. Среди них будут

5. 64 = 65, или Разрезаем и складываем

Рис. 1. 64 = 65 (геометрическое доказательство)

Рекомендуем читателю вырезать из клетчатой бумаги квадрат

6. Простое доказательство того, что сумма углов

Рис. 2. Сумма углов треугольника равна 180°: одно из традици­

Итак, предположим, что сумма углов треугольника равна х граду­

Рис. 3. Сумма углов треугольника равна 180°: новое доказательство

Обозначая углы цифрами (см. тот же рисунок), имеем

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

к А. Если возвращаются к исходному направлению от Л к В, т. е.

Рис. 4. Сумма углов треугольника (еще одно традиционное доказательство)

В этой цепи умозаключений нигде нет предпосылки, что речь

8. Все треугольники равнобедренные

расположения этих прямых; так как в рассуждениях участвуют толь­

и NQA, а также равнобедренный треугольник ANB. Углы при осно­

9. Прямой угол равен тупому

Случай 1: точка N лежит «выше» прямой АВ, точнее говоря — по

по свойству равнобедренного треугольника, приходим к равенству

Случай 3: точка N лежит «ниже» АВ, т. е. не по ту сторону от

10. Прямоугольник, вписанный в квадрат

Рис. 9. Прямоугольник MNPQ вписан в квадрат ABCD

угольника MNPQ); у него внешний угол при вершине N равен внут­

И. Новый признак равенства треугольников

вить, что ВС = ВСі (после этого равенство будет вытекать из при­

Случай 1: прямая ССг пересекает сторону АВ в ее внутренней точ­

12. Все прямые параллельны

Для доказательства разделим отрезок АВ пополам и на лучах AQ

что ни на одном из отрезков ААЪ А гА 2,... точка пересечения лучей

Теперь приведем два софизма, связанных с методом математиче­

13. Все числа равны

14. Все люди лысые

В нескольких следующих софизмах математики не так много, а то

15. Парадокс учебной тревоги

16. Парадокс брадобрея

17. Парадокс Уайтхеда—Рассела

18. Парадокс Берри

Фразами, состоящими, скажем, не более чем из ста букв1}, можно

Наименьшее натуральное число, которое нельзя задать

Эта фраза однозначно задает некоторое натуральное число, и в ней

Для понимания следующих ниже софизмов требуется некоторое

19. п —2, или Волны

Знаки препинания и пробелы мы тоже считаем буквами.

стороны от АВ. Эти две полуокружности составят волнообразную

20. In 2 = 0, или Бесконечные ряды

Соберем отдельно положительные и отрицательные члены:

Раскрыв круглые скобки, получим:

Парадокс, согласно толковым словарям, — это утверждение, про

Рис. 2. Сумма углов треугольника равна 180°: одно из традици

Итак, предположим, что сумма углов треугольника равна х граду

расположения этих прямых; так как в рассуждениях участвуют толь

и NQA, а также равнобедренный треугольник ANB. Углы при осно

угольника MNPQ); у него внешний угол при вершине N равен внут

вить, что ВС = ВСі (после этого равенство будет вытекать из при

Случай 1: прямая ССг пересекает сторону АВ в ее внутренней точ

Теперь приведем два софизма, связанных с методом математиче

Собрав в правой части дроби с одинаковыми знаменателями и про

(знаки чередуются). Собственно говоря, эту формулу нетрудно выве

с коэффициентом —1, а больше ничего в правой части нет). Это тож

и легко видеть, что в правой части все слагаемые, кроме 1, сокра

или, что равносильно, у — к х 2/2. Итак, при к —» оо наш эллипс стре

(«тоньше паутинки»), а «бесконечно узкий» искривленный треуголь

Если вас шокируют разговоры об окраске не существующих в при

Если в неевклидовой геометрии (при любом разумном понима

СА и СВ) можно доказать и верное утверждение: если биссектри

Как видно, в этой ситуации, как и в нашем случае 3, выполне

Теперь понятно, что теорема в исправленном виде могла бы вы

или прямым, но угол в треугольнике, прилежащий к наибольшей сто

менее из этого по-прежнему не вытекает, что лучи AQ и ВР не пере

ное число на отдельный лист. Пусть наибольшее из выписанных на