АКСИОМА КАНТОРА (об однозначном соответствии между действительными числами и точками прямой) использовалась в математике с незапамятных времен. Однако, точно сформулировал эту аксиому именно Г.Кантор. [1, стр. 5]
АКСИОМА ПАША. Самое первое замечание о том, что понятие «между» нуждается в строгой формулировке, принадлежит Гауссу[4]. [1, стр. 5]
АКСИОМА ЦЕРМЕЛО (аксиома выбора). Необходимость такого рода аксиомы отметил Б.Леви (1902). Цермело (по совету Шмидта) сформулировал аксиому в явном виде (1904) и включил ее в систему аксиом теории множеств. [1, стр. 6]
АРАБСКИЕ ЦИФРЫ придумали не арабы. Арабы лишь переняли эту форму записи чисел из Индии [29, стр. 42]
БИНОМ НЬЮТОНА. Частные случаи этой знаменитой формулы были известны задолго до Ньютона в Древнем Востоке. Вероятно также, что Омар Хайям вывел ее для натурального показателя[5]. [1, стр. 14] [32, стр. 35]
ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ НЬЮТОНА-ЛЕЙБНИЦА. Ферма уяснил и применил ведущую идею этого исчисления на 13 лет раньше рождения Ньютона и на 17 лет ранее рождения Лейбница[6][7]. [3, стр. 56]
КРИВАЯ ВИВИАНИ. Название объясняется тем, что Вивиани нашел на поверхности сферы квадрируемую часть — задача приводила к этой кривой. Однако еще ранее «кривую Вивиани» рассматривали Роберваль и Лалубер. [1, стр. 64]
КРИВАЯ ЖОРДАНА. Необходимость доказать то, что замкнутая кривая делит плоскость на две части, отметил К.Нейман. Подобие идей Жордана можно усмотреть в «Лекциях» Вейерштрасса и его статье 1884 года[8]. [1, стр. 64]
ПРАВИЛО ЛОПИТАЛЯ. Под впечатлением от лекций И.Бернулли Лопиталь написал курс «Анализ бесконечно малых для изучения кривых линий». Этот курс содержал и «правило Лопиталя», принадлежавшее, конечно, И.Бернулли[9][10]. [1, стр. 103]
ПРИНЦИП ДИРИХЛЕ. Аналогичные методы доказательства встречались уже у Гаусса и В.Томсона, но Риман узнал об этом методе на лекциях Дирихле и назвал его так, не заботясь об исторической истине. [1, стр. 106]
РЕЗОЛЬВЕНТА ГАЛУА. Абель впервые ввел выражение, называемое теперь «резольвентой Галуа». И сам Галуа приписывал идею резольвенты Абелю. Название введено Бетти, который был первым комментатором знаменитой статьи Галуа. [1, стр. 119]
РЯД МАКЛОРЕНА встречается впервые у Стирлинга, а затем опубликован Маклореном с указанием, что это частный случай разложения Тейлора. [1, стр. 122]
РЯДЫ ФУРЬЕ. Название «ряды Фурье», предложенное Риманом, стало общепринятым как знак признания трудов великого математика, хотя «ряды Фурье» и были довольно хорошо известны ко времени Фурье. [1, стр. 124]
СУММЫ ДАРБУ. В 1875 г. несколько математиков в Англии, Франции, Германии и Италии приходят к одинаковой новой формулировке условия интегрируемости функции. Дарбу, Томе, Смит, Асколи и Дюбуа Раймон с разной степенью подробности и точности ввели верхние и нижние интегральные суммы (а также верхний и нижний интегралы). Термин «суммы Дарбу» ввел, по-видимому, Жордан[11]. [1, стр. 134–135]
ТЕОРЕМА ПИФАГОРА была опубликована за две тысячи лет до него в Вавилоне, клинописью, а пифагоровы числа следовало бы называть вавилонскими числами — вавилоняне знали их раньше греков. [2, стр. 9] [5, стр. 76] [12, стр. 246] Некоторые историки также полагают, что теорема Пифагора принадлежит не легендарному Пифагору, а другому человеку с тем же именем. [14, стр. 124]
ТЕОРЕМА РОЛЛЯ также Роллю не принадлежит — Ролль, современник Ньютона и Лейбница, считал дифференциальное исчисление логически противоречивым и поэтому понятно, не мог высказать «теорему Ролля». [39, стр. 232]
ТРЕУГОЛЬНИК ПАСКАЛЯ, позволяющий находить биномиальные коэффициенты, был известен еще до Паскаля — он обычно называется так ввиду искусного его применения Паскалем к вычислению вероятностей (1653). Таблица биномиальных коэффициентов встречается значительно раньше, например в трактате китайского математика Чжу Ши-чжи (1303). [3, стр. 79] [5, стр. 125] [39, стр. 47]
ФОРМУЛА ГЕРОНА. Архимед еще до Герона знал формулу, по которой вычисляется площадь треугольника по трем сторонам. [32, стр. 23]
ФОРМУЛА МУАВРА (cos φ + i sin φ)n = cos nφ + i sin ηφ в явном виде впервые встречается у Эйлера (1748). [39, стр. 61]
ФОРМУЛА ЭЙЛЕРА. Соотношение eix = cos x + i sin x (в виде xi = loge(cos x + i sin x)) было опубликовано в посмертной работе Коутса на 20 лет раньше Эйлера. Эйлер сначала сообщил эту формулу И.Бернулли, затем опубликовал. Первое время он рассматривал свое открытие как парадокс. [1, стр. 151]
4
В геометрии Евклида понятие порядка устанавливалось через измерение.
Паш показал, что геометрию порядка можно построить без понятия измерения. Эта задача была разрешена аксиомой Паша. [1, стр. 5]
5
Подготовленная Ньютоном в 1666 г. рукопись, содержащая среди других результатов и биномиальную теорему, в свое время не была опубликована; она увидела свет только через 300 лет. Однако об открытии биномиальной теоремы Ньютон сообщил в письме к Лейбницу в 1676 г.
Впервые биномиальная теорема была опубликована в трактате Валлиса «Алгебра, исторический и практический трактат» (1685). В общем случае (произвольный показатель) привести доказательство биномиальной теоремы первым попробовал Эйлер (1774), однако его доказательству не хватило строгости. Только в 1812 г. Гаусс привел первое строгое доказательство биномиальной формулы при произвольном показателе.
Что касается самого Ньютона, то он, по-видимому, не располагал настоящим доказательством (в то время не вполне осознавали необходимость строгого доказательства). [39, стр. 51]
6
В 1934-м году профессор Л.Т.Мор привел прежде не замеченное письмо Ньютона, в котором сам Ньютон ясно говорит о том, что намеком па метод дифференциального исчисления для пего послужил метод построения касательных Ферма. [3, стр. 62]
7
Термин «производная» впервые употребили в конце XVIII в. Арбагаст и Лейбниц; Ньютон пользовался термином «флюксия». Определение производной, основанное па понятии предела, было дано Коши; со времен Коши «существование производной, в которое до тех пор можно было только верить, становится вопросом, изучаемым обычными средствами анализа» (Бурбаки). Заметим, что еще раньше такое же определение производной встречалось у Люилье (1786), по его работа, хотя и была отмечена премией Берлинской Академии паук, не нашла последователей. [39, стр. 165]
8
Однако только в «Cours d’Analyse» Жордана они были развиты настолько последовательно и полно, что из этого руководства «целое поколение математиков почерпнуло современную концепцию строгости» (Курант, Роббинс). Тем не менее доказательство Жордана было недостаточно удовлетворительно. Первое полное доказательство теоремы в ее наиболее общей форме дал Веблен (1905). [1, стр. 64]
9
Лопиталь умер в 1704 г., и в этом же году Бернулли заявил, что методы «Анализа бесконечно малых» принадлежат ему. Пока в течение двух веков историки математики взвешивали все «за» и «против» (при этом в ход шли не только свидетельства людей, некогда видевших конспекты И.Бернулли, по и соображения о его скверном характере и о благородстве Лопиталя), за этим правилом укрепилось имя Лопиталя. Истина выяснилась в 1920 г., когда была обнаружена рукопись Бернулли. [1, стр. 103]
10
Двадцатичетырехлетний И.Бернулли, находясь в Париже, принял предложение владельца богатейшего майората маркиза Лопиталя, имевшего репутацию одного из крупнейших французских математиков, прочитать ему курс лекций. Это был, вероятно, уникальный в истории математики случай, когда систематический курс дифференциального и интегрального исчисления, который до сих пор никто не преподавал, впервые был прочитан одному слушателю.
При этом, по договоренности, Бернулли передавал Лопиталю заранее написанные тексты лекций. Вероятно, он думал воспользоваться записями впоследствии для создания своего курса, так как снимал копии лекций. Однако Лопиталь опередил своего учителя и издал в 1693 г. «Анализ бесконечно малых» — первый учебник по дифференциальному исчислению, в котором изложена часть лекций Бернулли, посвященная дифференциальному исчислению.
И только через 50 лет, в 1742 г., увидели свет «Математические лекции о методе интегралов и других вопросах, написанные для знаменитейшего маркиза Лопиталя», где Бернулли начинает первую лекцию словами: «Выше мы видели, как находятся дифференциалы количеств…». Слово «выше» снабжено сноской, поясняющей, что автор имел в виду лекции по дифференциальному исчислению, «которые он счел нужным выбросить, так как все содержание их было включено знаменитым Лопиталем в пользующуюся всеобщим распространением книгу» («Лекции по исчислению дифференциалов» И.Бернулли были изданы только в 1922 г.). [39, стр. 244]
11
Первое появление верхней и нижней интегральных сумм относится к… 1659 г., когда болонский математик Менголи в задачах о квадратурах составил суммы
и доказал, что
а следовательно,
равен тому же числу (конечно, он пользовался иными обозначениями). [1, стр. 134–135]