Библиотека
«Математическое просвещение»
В. А. Успенский
ПРОСТЕЙШИЕ ПРИМЕРЫ
МА ТЕМАТИЧЕСКИХ
ДОКАЗА ТЕЛЬСТВ
Издательство МОСковскоrоцентра
HenpepbIBHoro математическоrо образования
Москва. 1009
Научноредакционный совет серии:
В. В. Прасолов, А. Б. Сосинекий (rл. ред. ),
А. В, Спивак, В. М. ТиХОJlllиров, И. В. Ященко.
Серия основана в 1999 rоду.
Библиотека
«Математическое просвещение»
Выпуск 34
В. А. Успенский
ПРОСТЕЙШИЕ ПРИМЕРЫ
МА ТЕМАТИЧЕСКИХ
ДОКАЗА ТЕЛЬСТВ
Издательство MOCKoBcKoro центра
HenpepbIBHoro математическоrо образования
Москва. 1009
УДК 511. 1
ББК 22. 130
У77
Успенский В, А,
У77 Простейшие примеры математических доказательств.
М. : Издво МЦНМО, 2009. 56 с. ISBN 9785940574927
в брошюре доступным неспециалистам языком рассказывается о HeKO
торых из основополаrающих принципов, на которых строится наука
математика: чем понятие математическоrо доказательства отличается от
понятия доказательства, принятоrо в друrих науках и в повседневной жиз
ни, каRИе простейшие приёмы доказательства используются в математике,
как меняло'ъ с:() временем представление о «правильном. доказательс:тве,
что такое аксиоматический метод, в чём разница между истинностью и
доказуемостью. Для очень широкоrо Kpyra читателей. начиная со школьников старших
классов.
ББК 22. 130
Серия «Библиотека "Математическое просвещение". Успенский Влади.
лIUР Андреевич
ПРОСТЕЙШИЕ ПРИМЕРЫ
МАТЕМАТИЧЕСКИХДОКА3АТЕЛЬСТВ
Выпуск 34
Серия основана в 1999 rоду
Редактор М. r. Быкова
Тех. редактор Д. Е. Щербаков
Подписано к печати 18/1112009 r. Формат 60 х 84}i6. Бумаra офсетная N" 1. Печать офсетная. Объём 3,50 (вкл. ) печ. Л. Тираж 2000 ЭКЗ. 3аказ
Издательство MOCKoBcKoro центра непрерывноrо математическоrо образования.
119002, Мос:ква, Большой Влас:ьевский пер. , 11. Тел. (499) 241 7483. Отпечатано по СtРтехнолоrии в ОАО «Печатный двор» им. А. М. А. И дело не только в том, что там обязательно будет MHoro
формул: формулы есть и в книrах по физике, по астрономии или
по мостостроению. Дело в том, что в любой серьёзной книrе по
математике непременно присутствуют доказательства. Именно
доказуемость математических утверждений, наличие в математи
ческих текстах доказательств вот что наrляднее Bcero отличает
математику от друrих областей знания. Первую попытку охватить единым трактатом всю математику
предпринял древнеrреческий математик Евклид в 111 веке до Ha
шей эры. В результате появились знаменитые «Начала,) Евклида. А вторая попытка состоялась только в ХХ веке н. э. , И принадле
жит она французскому математику Николя Бурбак:fi: 1 , начавшему
в 1939 rоду издавать мноrотомный трактат «Начала математики,).