Знаменитые математические проблемы или как найти старшекласснику тему для исследования ОП Математика НИУ Высшая школа экономики Нижний Новгород Высшая. - презентация

1 Знаменитые математические проблемы или как найти старшекласснику тему для исследования ОП Математика НИУ Высшая школа экономики Нижний Новгород Высшая школа экономики, Нижний Новгород,

2 О направлении «математика» и клубе «Плюс» Кафедра Фундаментальной математики 27 июня 2014 создана кафедра Фундаментальной математики, являющаяся базовой кафедрой для нового направления «математика». В 2015 году по направлению «математика» планируется набор 20 абитуриентов на 1 курс бакалавриата.

3 О направлении «математика» и клубе «Плюс» Математические проблемы – стимул развития математики Развитие математики во многом стимулируется математическими проблемами. Хорошо поставленная математическая проблема, решение которой не удается найти, говорит о необходимости критического пересмотра существующих методов исследования, о недостаточности той совокупности знаний, к которой относится проблема, и, таким образом, способствует дальнейшему развитию этой области науки. Академик И.М. Виноградов

4 Высшая школа экономики, Нижний Новгород, 2013 Три знаменитые задачи греческих математиков

5 Высшая школа экономики, Нижний Новгород, 2013 Удвоение куба (задача оракула о. Делос, IV век до н.э.) С помощью циркуля и линейки построить куб, объем которого в два раза превосходит объем заданного куба. Французский математик Пьер Лоран Ванцель доказал в 1837 году, что эта задача не может быть решена.

6 Высшая школа экономики, Нижний Новгород, 2013 Трисекция угла С помощью циркуля и линейки разделить заданный угол на три равные части. Французский математик Пьер Лоран Ванцель доказал в 1837 году, что эта задача сводится к разрешимости в квадратичных радикалах уравнения Например, трисекция осуществима для углов вида если целое число n не делится на 3.

7 Высшая школа экономики, Нижний Новгород, 2013 Конхоида Никомеда

8 Высшая школа экономики, Нижний Новгород, 2013 Циссоида Диокла (2)

9 Высшая школа экономики, Нижний Новгород, 2013 Улитка Паскаля

10 Высшая школа экономики, Нижний Новгород, 2013 Конические сечения Конические сечения: окружность, эллипс, парабола, гипербола Конические сечения могут быть получены как пересечение плоскости с двусторонним конусом

11 Высшая школа экономики, Нижний Новгород, 2013 Спираль Архимеда

12 Высшая школа экономики, Нижний Новгород, 2013 Квадратура круга С помощью циркуля и линейки построить квадрат, равновеликий по площади данному кругу Неразрешимость этой задачи следует из неалгебраичности (трансцендентности) числа, которая была доказана в 1882 году немецким математиком Фердинандом Линдеманом 1882 году

13 Высшая школа экономики, Нижний Новгород, 2013 Квадратриса

14 Высшая школа экономики, Нижний Новгород, 2013 Решения в радикалах уравнений выше второй степени Задача состоит в возможности записи корней уравнения, исходя из его коэффициентов, применением лишь четырех арифметических операций и операции извлечения корня целой натуральной степени.

15 Высшая школа экономики, Нижний Новгород, 2013 Формула Кардано или итальянская солянка х 3 + рх + q = 0

16 Высшая школа экономики, Нижний Новгород, 2013 С. Ферро и Н. Тарталья По словам Никколо Тартальи, он самостоятельно открыл общий алгоритм решения кубических уравнений, несколько ранее найденный Сципионом дель Ферро.алгоритм кубических уравнений Сципионом дель Ферро Сципион дель Ферро Никколо Фонтана Тарталья

17 Высшая школа экономики, Нижний Новгород, 2013 Дж. Кардано В 1539 году Тарталья передал описание этого метода Дж. Кардано, который поклялся не публиковать его без разрешения Тартальи. Несмотря на обещание, в 1545 году Кардано опубликовал этот алгоритм в работе «Великое искусство», и по этой причине он вошёл в историю математики как «формула Кардано».1539 году Дж. Кардано 1545 году формула Кардано Джероламо Кардано

18 Высшая школа экономики, Нижний Новгород, 2013 Формула Феррари для уравнений четвертой степени С 15 лет Луиджи Феррари был учеником у миланского математика Джероламо Кардано и быстро обнаружил выдающиеся способности. К этому времени Кардано уже был известен алгоритм решения кубических уравнений; Феррари сумел найти аналогичный способ для решения уравнений четвёртой степени. Оба алгоритма Кардано опубликовал в своей книге "Высокое искусство".Джероламо Карданоалгоритм решения кубических уравнений четвёртой степени Луиджи Феррари

19 Высшая школа экономики, Нижний Новгород, 2013 Теорема Абеля-Руффини Общее уравнение степени большей четырех неразрешимо в радикалах. Паоло Руффини (1799) Нильс Хе́нрик А́бель (1824) Норвежский математик

20 Высшая школа экономики, Нижний Новгород, 2013 Эварист Галуа Французский математик Э. Галуа нашел необходимые и достаточные условия, которым должны удовлетворять уравнения для того, чтобы они имели решения в радикалах. В своей работе Галуа впервые ввел понятие группы, теперь занимающее центральное место в современной алгебре и открыл основные свойства групп. От работ Галуа и Абеля берет свое начало также понятие поля алгебраических чисел, приведшее к созданию новой науки - алгебраической теории чисел. А.Н. Колмогоров Эвари́ст Галуа́ ( )

21 Высшая школа экономики, Нижний Новгород, 2013 Диофантовы уравнения Диофант Александрийский (Греция, 350 г. н.э.) Более общая проблема - поиск решения уравнений от нескольких переменных с целыми коэффициентами (т.н. диофантовых уравнений). Неразрешимость проблемы нахождения алгоритма, который бы позволил по произвольному диофантовому уравнению определить, имеет оно решение в целых числах или нет, была доказана Юрием Владимировичем Матиясевичем в 1970 году. Юрий Владимирович Матиясевич Санкт-Петербург

22 Высшая школа экономики, Нижний Новгород, 2013 Пифагоровы тройки Для натурального числа n решить уравнение x n +y n =z n в целых ненулевых числах задача из Арифметики Диофанта Любая примитивная пифагорова тройка где x нечётно, а y чётно, однозначно представляется в виде для некоторых натуральных взаимно простых чисел разной чётности. Эти числа можно вычислить по формулам: Для n=2 решений бесконечно много, каждое из них называется пифагоровой тройкой и имеет вид

23 Высшая школа экономики, Нижний Новгород, 2013 Великая теорема Ферма Наоборот, невозможно разложить куб на два куба, биквадрат на два биквадрата и вообще никакую степень, большую квадрата, на две степени с тем же показателем. Я нашел этому поистине чудесное доказательство, но поля книги слишком узки для него Пьер Ферма на полях Арифметики Диофанта, 1637 год. Пьер де Ферма́, Французский математик Сэр Эндрю Джон Уайлс Английский математик, 1994 год

24 Высшая школа экономики, Нижний Новгород, 2013 Проблема Гольдбаха Каждое нечётное число, большее 5, можно представить в виде суммы трёх простых чисел. (тернарная проблема) Каждое чётное число, большее двух, можно представить в виде суммы двух простых чисел. (бинарная проблема) В 1742 году математик Кристиан Гольдбах послал письмо Леонарду Эйлеру, в котором он высказал следующее предположение:1742 году Кристиан Гольдбах Леонарду Эйлеру Эйлер заинтересовался проблемой и выдвинул более сильную гипотезу: Кристиан Гольдбах Немецкий математик Леона́рд Э́йлер швейцарский, немецкий и российский математик

25 Высшая школа экономики, Нижний Новгород, 2013 Тернарная проблема В 1937 году математик Иван Виноградов доказал, что все достаточно большие (то есть большие некоторого фиксированного N) нечетные числа можно представить в виде суммы трех простых. Его учеником Константином Бороздиным было показано, что граница N в работе Виноградова составляет число порядка Позже она неоднократно уменьшалась и в 2013 году проблема доказана перуанским математиком Харальдом Гельфготтом Харальдом Гельфготтом Ива́н Матве́евич Виногра́дов Российский математик Харальд Андрес Хельфготт Перуанский математик

26 Высшая школа экономики, Нижний Новгород, 2013 Бинарная проблема Бинарная проблема Гольдбаха всё ещё далека от решения. Виноградов Виноградов в 1937 году и Теодор Эстерманн в 1938 году показали, что почти все чётные числа представимы в виде суммы двух простых чисел (доля непредставимых, если они есть, стремится к нулю). Этот результат немного усилен в 1975 году Хью Монтгомери и Бобом Воном, они показали, что существуют положительные константы c и C такие, что количество чётных чисел, не больших N, непредставимых в виде суммы двух простых чисел, не превышает CN 1-c.1937 году 1938 году 1975 году Хью Монтгомери Бобом Воном В 1930 году Шнирельман доказал, что любое целое число представимо в виде суммы не более чем простых чисел. Этот результат многократно улучшался, так, в 1995 году Оливье Рамаре доказал, что любое чётное число сумма не более чем 6 простых чисел. Из справедливости тернарной гипотезы Гольдбаха (доказанной в 2013 году) следует, что любое чётное число сумма не более чем 4 простых чисел.1930 году Шнирельман 1995 году Оливье Рамаре На июль 2008 года бинарная гипотеза Гольдбаха была проверена для всех чётных чисел, не превышающих 1,2× года

27 Высшая школа экономики, Нижний Новгород, 2013 Проблемы Гиальберта Знаменитые проблемы, сформулированные Давидом Гиальбертом на Парижском международном математическом конгрессе 1900-го года, оказали определяющее влияние на развитие математики XX сто- столетия. Дави́д Ги́альберт (нем. David Hilbert; 23 января февраля 1943) немецкий математик-универсалнем.23 января февраля 1943 немецкийматематик

28 Высшая школа экономики, Нижний Новгород, 2013 Области математики 23 математические проблемы делятся по областям математики следующим образом: Основания математики: 1,2 Алгебра: 13,14,17 Теория чисел: 7-12 Геометрия: 3,4,18 Топология: 16 Алгебраическая геометрия: 12-16, 22 Группы Ли: 5,14,18 Вещественный и комплексный анализ: 13,22 Дифференциальные уравнения: 16, Математическая физика и теория вероятностей: 6 Вариационное исчисление: 23

29 Высшая школа экономики, Нижний Новгород, 2013 Первая проблема Гиальберта Множества, между которыми можно установить взаимно однозначное соответствие, называются эквивалентными или равномощными. Два конечных множества эквивалентны тогда и только тогда, когда в них одинаковое количество элементов. Поэтому естественно считать, что если одно бесконечное множество эквивалентно другому, то в нём «столько же» элементов. Однако, опираясь на такое определение эквивалентности, можно получить весьма неожиданные свойства бесконечных множеств. |бесконечное множество|=|бесконечное множество|+1 |бесконечное множество|=2|бесконечное множество|

30 Высшая школа экономики, Нижний Новгород, 2013 Бесконечные множества Рассмотрим следующую цепочку: N С Z С Q С R. Все эти множества бесконечны. Таким образом, Z эквивалентно N.

31 Высшая школа экономики, Нижний Новгород, 2013 Счетные множества Таким образом, Q эквивалентно N. Всякое множество, эквивалентное множеству натуральных чисел, называется счётным. Такое множество можно «пересчитать»: пронумеровать все его элементы натуральными числами.

32 Высшая школа экономики, Нижний Новгород, 2013 Несчетные множества Возникает естественный вопрос: Может быть, все бесконечные множества счётны? Оказалось, что R множество всех точек на числовой прямой несчётно. Этот результат, полученный Кантором в прошлом веке, произвёл очень сильное впечатление на математиков. Докажем этот факт так же, как это сделал Кантор: с помощью диагонального процесса. Гео́рг Ка́нтор ( ) Немецкий математик

33 Высшая школа экономики, Нижний Новгород, 2013 Континуум-гипотеза Множества R и N не являются эквивалентными, и N С R, поэтому всех действительных чисел в некотором смысле «больше» чем натуральных. Говорят, что мощность множества R (мощность континуума) больше чем мощность N. Континуум-гипотеза. С точностью до эквивалент- эквивалентности, существуют только два типа бесконечных числовых множеств: счётное множество и континуум. Иначе говоря, нужно установить, существует ли множество промежуточной мощности, т. е. такое множество Т, N С Т С R, которое не эквивалентно ни N, ни R.

34 Высшая школа экономики, Нижний Новгород, 2013 Неожиданное решение Доказать континуум-гипотезу значит, вывести её из аксиом теории множеств. Опровергнуть её значит, показать, что если её добавить к этой системе аксиом, то получится про- противоречивый набор утверждений. В 1963 году американский математик Паул Коэн доказал, что континуум- гипотезу нельзя ни доказать, ни опровергнуть. Пол Джозеф Коэн ( ) Американский математик

35 Высшая школа экономики, Нижний Новгород, 2013 Седьмая проблема Гиальберта Пусть а положительное алгебраическое число, не равное 1, b иррациональное алгебраическое число. Доказать, что a b есть число трансцендентное. Александр Осипович Гельфонд ( ), 1934 Ни для одного из них неизвестно даже, является ли оно рациональнымрациональным

36 Высшая школа экономики, Нижний Новгород, 2013 Восьмая проблема Гиальберта Функция распределения простых чисел или пи-функция это функция, равная числу простых чисел, меньше либо равных действительному числу x. Она обозначается (это никак не связано с числом пи).функцияпростых чиселдействительному числучислом пи

37 Высшая школа экономики, Нижний Новгород, 2013 Теорема о распределении простых чисел В конце 18-го столетия Гауссом и Лежандром было выдвинуто предположение, что пи-функция оценивается как ГауссомЛежандром в смысле, что Иога́нн Карл Фри́дрих Га́усс ( ) Немецкий математик Адриен Мари Лежа́ндр ( ) Французский математик

38 Высшая школа экономики, Нижний Новгород, 2013 Решение Жак Адама́р ( ) Немецкий математик Николя́ де ла Валле́ Пуссе́н ( ) бельгийский математик Адамар (1896) в Париже и Валле-Пуссен (1896) в Лувэне смогли дать исчерпывающее доказательство теоремы о распределении простых чисел.

39 Высшая школа экономики, Нижний Новгород, 2013 Идея Римана Георг Фридрих Бернхард Риман ( ) немецкий математик Задолго до Адамара значительное продвижение в этой области было сделано Риманом ( ) в его знаменитой работе, намечающей основные стратегические линии доказательства

40 Высшая школа экономики, Нижний Новгород, 2013 Дзета-функция Римана Дзета-функция Римана функция комплексного переменного, при определяемая с помощью ряда Дирихле:ряда Дирихле где. В заданной области этот ряд сходится, является аналитической функцией и допускает аналитическое продолжение на всю комплексную плоскость без единицы.ряданалитической функциейаналитическое продолжениекомплексную плоскость В исходной области также верно представление в виде бесконечного произведения (тождество Эйлера) где произведение берётся по всем простым числам p. Таким образом пи-функция выражается через распределение так называемых «нетривиальных нулей (комплексных)» дзета-функции.

41 Высшая школа экономики, Нижний Новгород, 2013 Гипотеза Римана Гипотеза Римана. Все ли нетривиальные нули дзета-функции лежат на прямой ?дзета-функции На 2004 год проверены более первых нулей.2004

42 Ждем Вас в клубе «Плюс» и на факультете БИиПМ!