Істо́рія матема́тики — галузь знань, що займається дослідженням походження та розвитку математичних відкриттів і методів, а також математичних праць минулого.
Слово «математика» походить від грец. μάθημα (мàтема), що означає «пізнання» чи «вивчення»; математик, грец. μαθηματικός (математикóс), — «людина, охоплена жадобою пізнання». Математика первісно виникла як один із напрямків пошуку істини (у грецькій філософії) у сфері просторових відношень (землеміряння — геометрії) та обчислень (арифметики), для практичних потреб людини рахувати, обчислювати, вимірювати, досліджувати форми і рух фізичних тіл. Нині цей термін позначає цілком визначену галузь знань, пов'язану з дослідженням задач про кількість, просторові форми, процеси розвитку та формальні структури, в основі якого лежать точні означення та строгі дедуктивні методи.
Періодизація
Історію математики можна поділити на чотири періоди.
- У перший період (приблизно 6-5 ст. до н. е.) сформувалося поняття цілого числа, раціонального дробу, відстані, площі, об'єму, створені правила дій з числами, найпростіші правила визначення площ фігур і об'ємів тіл. Так накопичився матеріал, що склався в арифметику. Вимірювання площ і об'ємів сприяло розвиткові геометрії. На базі створення методів арифметичних обчислень виникла алгебра, а в зв'язку із запитами астрономії — тригонометрія. Однак у цей період математика ще не була дедуктивною наукою, вона складалася переважно з прикладів на розв'язування окремих задач, іноді становила збірку правил для їхнього розв'язування.
- У другий період (до середини XVII ст.) математика стає самостійною наукою зі своєрідним, чітко вираженим методом і системою основних понять. В Індії було створено десяткову систему числення, в Китаї — метод розв'язування лінійних рівнянь з двома і трьома невідомими; створена стародавніми греками система викладу елементарної геометрії стала зразком дедуктивної побудови математичної теорії на багато століть вперед. У цей період з арифметики поступово виділяється теорія чисел. Велике значення мали праці Піфагора Самоського, Гіппократа Хіоського, Евдокса Кнідського, Евкліда, Архімеда, Діофанта. У Київській Русі математична освіта була на рівні найкультурніших країн Європи того часу.
- Третій період (до початку ХХ ст.), в який було створено математику змінних величин, — суттєво новий період у розвитку математики.
- Четвертий — сучасний період — характеризується систематичним вивченням можливих типів кількісних відношень і просторових форм.
Математика у первісному суспільстві
Уже в найперших писемних знахідках є докази, які свідчать про математичні знання їхніх авторів, що використовувались для вимірювання часу на основі спостереження за небесними світилами. Доісторичні артефакти, виявлені в Африці та Франції, вказують на здійснення перших спроб квантифікації часу. Існує припущення, що відліком часу займалися жінки, які реєстрували місячні цикли або фази місяця. Паралельно розвивалися уявлення про число: імовірно, спостерігаючи за групами (стадами) тварин, люди почали розрізняти поняття «один», «два» та «багато». Саме такі кількісні уявлення донині збереглися у зулусів, африканських пігмеїв та ще ряду племен — австралійських, бразильських тощо. Згодом числа об'єднували у групи, утворюючи більші одиниці лічби; зазвичай використовували пальці однієї чи обох рук або ж рук і ніг, що давало лічбу з основою 5, 10 або 20. Записи вели позначенням одиниць, зарубками, камінцями тощо.
Математика найдавніших цивілізацій
Найдавніші відомості про використання математики — господарські задачі в Стародавньому Єгипті (Папірус Рінда, Московський папірус, Шкіряний сувій єгипетської математики) та Вавилонії (Математичні тексти Суз). Вона використовувалася для календарних обрахунків, розподілу врожаю, організації суспільних робіт, збирання податків.
Вавилонське царство
Про вавилонську цивілізацію, на щастя, нам відомо доволі багато. Все це завдяки глиняним табличкам, на яких були клинописні тексти, вік яких датується приблизно від 2000 років до н. е. та аж до III століття до н. е. Математика знайдених клинописних табличок в основному стосувалася тільки моментів, пов'язаних із веденням господарства. Також проста арифметика і алгебра застосовувалися для оплати товарів, обчислення простих або складних відсотків. З часом, коли почали будувати канали, зерносховища та інші складні споруди, арифметичні та геометричні задачі стали складнішими. Математика знадобилася також для ведення обліку громадських робіт, яких у той час було чимало. Вкрай важливу роль математика зіграла у розрахунках календаря. Адже саме за календарем визначали час сівби та збору врожаю, а також усі релігійні свята. Саме вавилонська астрономія поклала початок поділу кола на 360 градусів, а градуса — на хвилини та секунди. Вавилонянам належить одна з перших систем числення. Для цього вони використовували числа від 1 до 59, основою яких була 10-ка. Символ, що позначав одиницю, вавилоняни повторювали необхідну кількість разів для чисел від 1 до 9. Подальші позначення, тобто, від 11 до 59, позначалися комбінацією символу числа 10, а також символу одиниці. Для чисел, починаючи з 60 і більше, була введена позиційна система числення, основою якої стало число 60. Суттєвим проривом у вавилонській математиці став позиційний принцип. Тобто, один і той же числовий знак або символ мав різні значення залежно від місця його розташування. Прикладом може слугувати значення 6 у нинішньому записі числа 606. Однак у вавилонян нуль був відсутній, саме тому і набір символів міг означати таке: 65 — це 60+5, і 3605 — це 602+0+5. Виникала неоднозначність зі сприйняттям дробів, оскільки ті ж самі символи могли трактуватися і як число, і як дріб. Однак ця проблема вирішувалася досить просто — все залежало від конкретного контексту.
Єгипет
Наше розуміння староєгипетської математики ґрунтується в основному на двох папірусах, що датуються приблизно 1700 роком до н. е. Однак ті математичні відомості, які містять ці папіруси, належать до зовсім раннього періоду, приблизно 3500 років до н. е. Єгиптяни відмінно орієнтувалися на той момент в математиці. Вони використовували її для обчислення маси тіл, площ посівів, об'ємів зерносховищ, розмірів податків, кількості каменів, які призначалися для будівництва різних споруд. У папірусах знайшлася і згадка про завдання з визначенням кількості зерна для приготування необхідного числа кухлів пива і навіть більш складних, де для приготування пива використовувалися одночасно кілька сортів зерна. Однак, незважаючи на всі ці факти, рівень астрономії в Стародавньому Єгипті все ж істотно поступався ступеню її розвитку у Вавилонському царстві. Вся давньоєгипетська писемність була заснована на ієрогліфах. Причому система числення, як і астрономія, сильно поступалася вавилонській системі. Єгиптяни використовували тільки непозиційну десяткову систему, де числа від одного до дев'яти позначалися за допомогою вертикальних паличок відповідним числом. Що стосується послідовних ступенів числа десять, то тут вже використовувалися індивідуальні символи. У єгиптян геометрія здебільшого зводилася до обчислень площ круга, трикутників, прямокутників, трапецій і до формул об'ємів певних тіл. Варто також відзначити, що, незважаючи на всю велич єгипетських пірамід, для їхнього будівництва єгиптяни використовували вкрай просту і примітивну математику.
Піфагорійська школа
Математика як теорія отримала розвиток у школі Піфагора (571—479 рр. до н. е.). Головним досягненням піфагорійців в області науки є істотний розвиток математики як за змістом, так і за формою. За змістом — відкриття нових математичних фактів. За формою — побудова геометрії і арифметики як теоретичних доказових наук, що вивчають властивості абстрактних понять про числа і геометричні форми. Дедуктивна побудова геометрії стала потужним стимулом її подальшого розвитку. Піфагорійці розвинули і обґрунтували планіметрію прямолінійних фігур — вчення про паралельні лінії, трикутники, чотирикутники, правильні багатокутники. Отримала розвиток елементарна теорія кола. Наявність у піфагорійців вчення про паралельні лінії вказує на те, що вони володіли методом доведення від супротивного і вперше довели теорему про суму кутів трикутника. Вершиною досягнень піфагорійців у планіметрії є доказ теореми Піфагора. Остання на багато століть раніше була сформульована вавилонськими, китайськими й індійськими вченими, однак її доказ їм не був відомий. Успіхи піфагорійців у стереометрії були значними. Вони займалися вивченням властивостей кулі, відкрили побудову чотирьох правильних многокутників — тетраедра, куба, октаедра і додекаедра (ікосаедр досліджував згодом Геетет). Однак вони не змогли обґрунтувати твердження, які стосуються об'ємів тіл (піраміди, конуса, циліндра і кулі), хоча, звичайно, ці твердження були встановлені емпірично на багато століть раніше. В галузі арифметики піфагорійці вивчали властивості парних і непарних, простих і складених натуральних чисел, шукали досконалі числа, тобто такі, які дорівнюють сумі всіх своїх дільників (наприклад, 6=1+2+3; 28=1+2+4+7+14). Піфагорійці знали також дробові числа і в зв'язку з цим розробили теорію арифметичної та геометричної пропорцій. Вони володіли поняттями середнього арифметичного, середнього геометричного і середнього гармонійного.
Поворотний пункт в історії античної математики
Якими б великими не були досягнення піфагорійців у розвитку змісту та систематизації геометрії і арифметики, однак всі вони не можуть зрівнятися зі зробленим ними ж відкриттям несумірних величин. Це відкриття стало поворотним пунктом в історії античної математики. З приводу цього відкриття Арістотель говорив, що Піфагор показав, що якщо б діагональ квадрата була б порівнянна з його стороною, то парне дорівнювало б непарному. Це зауваження Арістотеля показує, що при доведенні несумірності діагоналі квадрата з його стороною Піфагор використовував метод від супротивного. Наприкінці V століття до н. е. Феодор із Кирени встановив, що несумірність діагоналі квадрата з його стороною не є винятком. Він показав, що сторони квадратів, площі яких дорівнюють 3, 5, 6, …, 17 несумірні зі стороною одиничного квадрата. Піфагор вчив, що сутність усіх речей є число; число — самі речі; гармонія чисел — гармонія самих речей. Це природно: до відкриття Піфагора давньогрецькі математики вважали, що будь-які два відрізки мають спільну міру, хоча, може бути, і дуже малу. Піфагорійці знали тільки додатні цілі і дробові числа. Дотримуючись своєї філософської установки, вони, по суті справи, вважали, що кожна річ може бути охарактеризована позитивним цілим або дробовим числом, яке «виражає сутність» цієї речі. Насправді це означало, що геометрія будувалася на базі арифметики. Після виявлення існування несумірних величин перед піфагорійцями відкрилися дві можливості. Можна було спробувати розширити поняття числа за рахунок приєднання до раціональних чисел ірраціональних чисел, охарактеризувати несумірні величини числами іншої природи і таким чином відновити силу філософського принципу «все є число». Однак цей шлях, настільки природний і простий з сучасної точки зору, для піфагорійців був закритий. В цьому випадку треба було побудувати досить точну арифметичну теорію дійсних чисел, що при рівні піфагорійської математики було справою нереальною. Тому треба було йти іншим шляхом — шляхом певного перегляду вихідних принципів, наприклад, прийняти, що геометричні об'єкти є величинами більш загальної природи, ніж дробові і цілі числа, і намагатися будувати всю математику не на арифметичній, а на геометричній основі. Саме цей другий шлях і обрали піфагорійці, а слідом за ними більшість давньогрецьких математиків, аж до Архімеда і Аполлонія.
Період Академії
Період цілком самостійної діяльності греків в області математики починається з діяльності Платона і заснованої ним у 389 р. Філософської школи, відомої під ім'ям Академія. З цього часу подальший розвиток, якщо не всієї математики взагалі, то, безсумнівно, геометрії, зосереджується виключно в руках однієї грецької нації, яка й веде його, поки знаходить у своєму розпорядженні необхідні засоби. Головним результатом математичної діяльності самого Платона було створення філософії математики і, зокрема, її методології. Як відомо, його власні роботи дуже мало стосувалися збільшення математичних знань у кількісному відношенні і були спрямовані на встановлення точних визначень основних понять геометрії, на виявлення і відведення справжнього місця її основних положень, на приведення надбаних раніше математичних знань в суворий логічний зв'язок як між собою, так і з основними поняттями та положеннями, і нарешті, на приведення в повну ясність і вивчення методів відкриття та докази нових істин, методів. Методів, розроблених Платоном, за свідченням Прокла, було три: аналітичний, синтетичний та апологічний. Викладені, на підставі пізніших досліджень предмета, більш повним і головне більш певним чином, ці визначення представляються в наступному вигляді. Аналітичний метод полягає в утворенні ланцюга пропозицій, з яких кожне випливає з наступного за ним, як безпосередній наслідок. Синтетичний метод є частиною аналітичного і тому складається з ланцюгів пропозицій, з яких перше є доведена істина, а кожне з наступних є наслідком того, що йому передує. Про апологічний метод, або метод приведення до безглуздості, Евклід не говорить, але досить чітке його визначення поряд з нечіткими визначеннями аналізу і синтезу дає Прокл, при своєму приписуванні їх Платону; «Третій (апологічний) метод, — говорить він, — є приведення до неможливого, яке не доводить прямо того, що шукається, а спростовує те, що йому суперечить, і таким чином через зв'язок того й іншого знаходить істину». Вчені математики, що належали до Академії розпадалися на дві групи: на вчених, які отримали свою математичну освіту незалежно від Академії і перебували тільки в більш або менш тісних зносинах з нею, і на колишніх учнів Академії. До перших належали Теэтет Афінський, Леодам Фасосский, Архіт Тарентським і пізніше Евдокс Кнідський; до числа других — Неоклид, Леон, Амикл з Гераклеї, брати Менехм і Динострат, і під час старості Платона — Теюдий з Магнезії, Кизикен Афінський, Гермотим Колофонский, Філіп Мендейский і Філіп Опунтский.
Китай та Індія
Додатні і від'ємні кількості вперше в історії науки розрізняли в Китаї ще понад 2000 років тому. Уже у 8-й книзі збірника «Математика в дев'яти книгах» автори вільно користувалися від'ємними кількостями. У цій книжці є рівняння з від'ємними першими коефіцієнтами і вільними членами; тут же сформульовано правила додавання і віднімання від'ємних кількостей.
Додатні кількості в китайській математиці назвали «чен», від'ємні — «фу»; їх зображали різними кольорами: «чен» — червоним, «фу» — чорним. Такий спосіб зображення використовувався в Китаї до середини XIII ст., поки Лі Є не запропонував зручніше позначення від'ємних чисел — цифри, що зображали від'ємні числа, перекреслювали рискою навскіс справа наліво.
У V—VI ст. від'ємні числа поширюються в індійській математиці. В Індії від'ємні числа систематично застосовували і тлумачили в основному так само, як це ми робимо тепер.
Уже в творі Брамагупти «Перегляд системи Брами» (628 р.) ми читаємо: «Майно» і «майно» є «майно», сума двох «боргів» є «борг»; сума «майна» і нуля є «майно»; сума двох нулів є нуль… Борг, який віднімають від нуля, стає «майном», а «майно» — «боргом». Якщо треба відняти «майно» від «боргу», а «борг» від «майна», то беруть їх суму…".
Від'ємними числами індійські математики користувалися під час розв'язування рівнянь, причому віднімання замінювали додаванням до рівного й протилежного числа. Про те, як індійські вчені відкрили від'ємні числа, достовірно ми нічого не знаємо.
Слід зазначити, що основною особливістю індійської математики є переважання обчислювальних прийомів, які давалися в догматичній формі.
Розв'язуючи задачі на рух, виграш і. програш та інші, індійці, очевидно, на досвіді переконалися в зручності від'ємних чисел. Так, у творі видатного індійського математика й астронома Аріабхати І (476—бл. 550) подано розв'язування задачі, в якій йдеться про «момент зустрічі в минулому і майбутньому».
Проте, запровадивши від'ємні числа, індійські математики вважали їх не рівноправними елементами математики, а чимось подібним до логічних можливостей, бо, за висловом індійського математика Бхаскари, люди з ними не згодні.
Таким чином, при розв'язуванні алгебраїчних рівнянь математики зустрілися з від'ємними величинами, але почали вважати їх об'єктивними поняттями тільки тоді, коли реально розтлумачили.
Введення від'ємних чисел було зумовлене, в першу чергу, розвитком алгебри як науки, що дає загальні способи розв'язування арифметичних задач незалежно від вихідних числових даних. Від'ємні числа були необхідні вже при розв'язуванні задач, які зводяться до рівнянь першого степеня з однією змінною. Можливий від'ємний розв'язок у таких задачах можна пояснити прикладами протилежних величин (протилежно напрямлені вектори, температура, вища і нижча від нуля, майно — борг і т. д.).
Середньовічна Європа
Незважаючи на всю свою велич, Римська цивілізація не змогла залишити жодного істотного сліду в математиці, бо вона була вже надто стурбована рішенням своїх практичних проблем. А ось цивілізація, яка склалася в Європі часів раннього Середньовіччя (приблизно 400—1100 рр. н. е.) не була настільки продуктивною через ряд причин. По-перше, усе інтелектуальне життя було сконцентровано тільки на теології. Тому рівень математичних знань не піднімався вище простої арифметики, а також найелементарніших розділів «Начала» Евкліда. Мабуть, найголовнішим розділом математики в Середньовіччя залишалася астрологія. В той час будь-якого астролога називали математиком. А оскільки вся медицина на той момент ґрунтувалася переважно на астрологічних показаннях і протипоказаннях, всім медикам довелося терміново стати математиками. Приблизно в 1100 році західноєвропейська математика приступила до освоєння збережених візантійськими греками і арабами спадщини Стародавнього світу Сходу. Це тривало близько трьох століть. А оскільки араби практично повністю володіли усіма працями давніх греків, Європа змогла отримати в своє розпорядження просто величезну кількість математичної літератури. Всі праці перекладалися на латину, що сприяло істотному зростанню знань і підйому математичних досліджень в досить короткі терміни. Практично всі вчені Європи визнавали, що своє натхнення вони черпали саме з праць греків. Одним з найперших європейських математиків, якого варто загадати, став Леонардо Пізанський або Фібоначчі. Завдяки його праці «Книга абака», виданій у 1202 році, європейці змогли познайомитися з індо-арабськими цифрами, а також методами обчислень. З неї вони дізналися і про алгебру. Однак протягом наступних кількох століть математична активність пішла на спад. Весь звід математичних досліджень і знань тієї епохи відбив Лука Пачолі у 1494 році. В його працях написано, що ніяких алгебраїчних нововведень відкрито або придумано не було, все це вже є у Леонардо.
Відродження
Одними з найвидатніших геометрів епохи Відродження, як не дивно, стали художники. Саме вони розвинули ідею перспективи. Поняття проєкції і перерізу ввів художник Леон Баттіста Альберті (1404—1472 рр.). Всі прямі промені світла, що виходять від очей спостерігача до різних точок представленої сцени, утворюють проєкцію. А перетин виходить шляхом проходження площини через проєкцію. Тому для того, щоб картина, яку малює художник, в кінцевому результаті була максимально реалістичною, вона повинна виконувати закони проєкції і бути саме таким перетином. Судження про проєкції і перерізи одразу викликали ряд математичних питань. Завдяки ним і народилася проєктивна геометрія, а заснував її Ж. Дезарг (1593—1662 рр.). Він створив її за допомогою доказів, які ґрунтувалися на проєкції, а також перерізі. Він уніфікував підхід до різних типів конічних перерізів, які видатний геометр з Греції — Аполлоній, розглядав завжди окремо.
Розвиток сучасної математики XVI століття в Західній Європі став визначним у досягненнях алгебри та арифметики. 1582 року іспанський король Філіп II заснував першу в Європі математичну академію.
Математики ввели в ужиток десяткові дроби, а також правила арифметичних дій з ними. Справжній фурор викликав Дж. Непер, який у 1614 році винайшов логарифми. Вже в кінці XVII століття склалося чітке розуміння логарифмів як показників ступенів з абсолютно будь-яким позитивним числом, але тільки не одиницею. У XVI столітті стали активно використовувати ірраціональні числа. Б. Паскаль (1623—1662 рр..), а також І. Барроу (1630—1677 рр.), який був вчителем І. Ньютона (1643—1727 рр.) і викладав у Кембриджському університеті, заявив, що число корінь з двох, можна трактувати виключно як геометричну величину і більше ніяк. Але в той же час Р. Декарт (1596—1650 рр.) і Дж. Валліс (1616—1703 рр.) стверджували наступне: ірраціональні числа припустимі і без посилань на геометрію, тобто самі по собі. Однак у XVI столітті відновилися суперечки з приводу законності від'ємних чисел, а також комплексних чисел (Декарт їх назвав «уявними»), які виникали при розв'язуванні квадратних рівнянь. Незважаючи на доказову базу, ці числа були під підозрою аж до XVIII століття, незважаючи на те, що Л. Ейлер (1707—1783) ними користувався. Комплексні числа остаточно були визнані тільки в XIX столітті, після того, як математики того часу повністю ознайомилися з їх геометричним представленням.
16-19 століття
У XVI столітті італійські математики С. Даль Ферро (1465—1526 рр.), Н. Тарталья (1499—1577 рр.) і Д. Кардано (1501—1576 рр.) змогли знайти спільні рішення рівнянь третього, а також четвертого ступеня. Щоб їх алгебраїчні міркування були зрозумілими, а записи стали більш точними, було прийнято рішення ввести багато відомих сьогодні символів, таких як: «+», «–», "=", «>», «<» та інших. Одним з найбільш яскравих нововведень стало систематичне застосування французьким математиком Ф. Вієтом (1540—1603 рр.) букв, які позначали невідомі, а також постійні величини. Це нововведення дозволило знайти Вієту єдиний метод рішення рівнянь другого, третього і четвертого ступенів. Після того, як усе було знайдено, математики пішли далі, тобто до рівнянь вище четвертого ступеня. Над цим наполегливо працювали Кардано, Ньютон і Декарт. Вони опублікували, щоправда, без будь-яких доказів, цілий ряд своїх результатів, що стосуються числа і виду коренів рівняння. І. Ньютон відкрив співвідношення між коренем і дискримінантом квадратного рівняння. Фрідріх Гаусс (1777—1855 рр.) в 1779 році довів так звану основну теорему алгебри, згідно з якою многочлен n-го ступеню має рівно n коренів. В алгебрі основне завдання полягає в наступному: знайти спільне рішення алгебраїчного рівняння. Це завдання продовжувало хвилювати математиків на початку XIX століття. Коли мова йде про спільне вирішення рівняння другого ступеня, мається на увазі наступне: кожен з двох коренів може бути виражений за допомогою кінцевого числа операцій додавання, віднімання, а також множення, ділення і добування коренів, здійснюваних над коефіцієнтами рівняння. Нільс Абель (молодий норвезький математик, 1802—1829 рр.) довів, що немає ніякої можливості отримати спільне рішення рівнянь вище четвертого ступеня за допомогою кінцевого числа алгебраїчних рішень. Але є багато рівнянь спеціального виду вище четвертого ступеня, які, в принципі, можуть допускати подібне рішення. Зовсім юний французький математик Е. Галуа (1811—1832 рр.) буквально напередодні своєї дуелі на якій і загинув, зміг дати заключну відповідь на питання: які саме рівняння можна відобразити через коефіцієнти за допомогою кінцевого числа алгебраїчних операцій. У його теорії застосовувалися підстановки коренів. Розвиток теорії груп — це хороший приклад того, що в математиці все ж присутні і творчі процеси. Галуа створив свою теорію на основі робіт Абеля. Сам же Абель брав за основу роботи Ж. Лагранжа (1736—1813 рр.). Насправді, дуже багато відомих математиків, включаючи і Гауса, і А. Лежандра (1752—1833 рр.) використовували в своїх працях поняття груп. У свій час Ньютон і заявив: «Якщо я і міг бачити набагато далі, ніж інші, все тільки тому, що я стояв на плечах гігантів».
Аналітична геометрія
Аналітична (координатна) геометрія створювалася незалежно математиками П. Ферма (1601—1655 рр.) і Р. Декартом. Це було зроблено спеціально для розширення можливостей евклідової геометрії в задачах на побудову. Але Ферма оцінював свої роботи тільки як переформулювання творів Аполлонія. Справжнє відкриття — це усвідомлення всієї могутності алгебраїчних методів, яке належить все ж Декарту. Аналітична геометрія виникла саме тоді, коли Декарт приступив до розгляду невизначених задач на побудову шляхом рішень, де є не одна, а відразу безліч різних довжин. Аналітична геометрія застосовує алгебраїчні рівняння, щоб представити дослідження поверхонь і кривих. Декарт вважав, що певну криву можна записати за допомогою єдиного алгебраїчного рівняння відносно x і y. Даний підхід став важливим кроком вперед. Таким чином, у XVII—XVIII ст. ст. більшість головних відкриттів, приміром, циклоїда або ланцюгова лінія, швидко змогли увійти в побут вчених. Швидше за все, першим математиком, який використовував рівняння для доказів властивостей конічних перерізів, став Дж. Валліс (1616—1703 рр.). У 1685 році він алгебраїчним методом отримав всі необхідні йому результати, які були представлені в книзі «Начала» Евкліда. Саме аналітична геометрія змогла повністю обміняти ролями геометрію і алгебру. Видатний французький математик Лагранж сказав: «Алгебра і геометрія, рухаючись своїми шляхами, лише уповільнюють свій прогрес. Однак, як тільки ці науки об'єднуються, вони починають позичати одна у одної життєві сили і можливості, які змушують їх обох рухатися величезними кроками вперед до досконалості».
Такі засновники сучасної науки, як Ньютон, Коперник, Галілей і Кеплер, підходили до вивчення природи так само, як і до математики. Досліджуючи, таким чином, рух, ці великі математики змогли виробити таке фундаментальне поняття, як відношення між змінними і функція. Таке завдання, як визначення миттєвих швидкостей зміни різних величин, цікавило практично всіх математиків XVII століття, у тому числі Барроу, Декарта, Валліса і Ферма. Вони запропонували різні ідеї і методи, які були об'єднані в систематичний універсальний формальний спосіб, що використовувався Ньютоном, а також Г. Лейбніцем (1646—1716 рр.), які, до речі, були творцями диференціального числення. Але в розробці даного обчислення, математики постійно вели гарячі суперечки, з'ясовуючи, кому ж все-таки належить головна заслуга, і Ньютон постійно звинувачував Лейбніца в чистому плагіаті. З плином часу дослідження підтвердили, що Лейбніц не займався плагіатом, а навпаки, створив незалежно від Ньютона математичний аналіз. Через незгоду сторін миритися з ситуацією, обмін знаннями між математиками Англії і континентальної Європи «заморозився» на довгі роки. Хочеться відзначити, що в цій ситуації найбільше постраждала англійська сторона. Математики з Англії так і продовжували аналізувати в геометричному напрямку, тоді як математики з континентальної Європи, включаючи таких гігантів думки, як Я. Бернуллі (1667—1748 рр.), Лагранжа і Ейлера, змогли досягти неймовірно високих результатів, дотримуючись аналітичного або алгебраїчного підходу.
Сучасна математика
Створення диференціального й інтегрального числень ознаменувало початок «вищої математики». Методи математичного аналізу, на відміну від поняття межі, що лежить в його основі, виглядали чіткими і зрозумілими. Багато років математики, у тому числі Ньютон і Лейбніц, марно намагалися дати точне визначення поняттю межі. І все ж, незважаючи на численні сумніви в обґрунтованості математичного аналізу, він знаходив все більш широке застосування. Диференціальне і інтегральне числення стали наріжними каменями математичного аналізу, який з часом включив в себе і такі предмети, як теорія диференціальних рівнянь, звичайних і з частковими похідними, нескінченні ряди, варіаційне числення, диференціальна геометрія і багато іншого. Строге визначення межі вдалося отримати лише в 19-му столітті.
Неевклідова геометрія. До 1800 років, математика лежала на двох «китах», а саме — на числовій системі і евклідовій геометрії. Так як багато властивостей числової системи доводили геометрично, евклідова геометрія була найбільш надійною частиною будівлі математики. Тим не менш, аксіома про паралельні прямі містила твердження про прямі, що тягнуться у нескінченність, яке не могло бути підтверджено досвідом. Навіть версія цієї аксіоми, що належить самому Евкліду, зовсім не стверджувала, що якісь прямі не перетнуться. У ній швидше формулювалася умова, при якій вони перетнуться в деякій кінцевій точці. Математики століттями намагалися знайти аксіомі про паралельні прямі відповідну заміну. Але в кожному варіанті неодмінно, у когось, був пробіл. Честь створення неевклідової геометрії випала Лобачевському М. І. та Я. Бояї, кожен з яких незалежно опублікував свій власний оригінальний виклад неевклідової геометрії. У їх геометріях, через дану точку можна було провести нескінченно багато паралельних прямих. В геометрії Б. Рімана через точку поза прямою не можна провести ні однієї паралельної.
Про фізичні додатки неевклідової геометрії ніхто серйозно не думав. Але, створення в 1915 році А. Ейнштейном загальної теорії відносності, пробудило науковий світ до усвідомлення реальності неевклідової геометрії.
Неевклідова геометрія стала найбільш вражаючим інтелектуальним звершенням 19-го століття. Вона ясно продемонструвала, що математику не можна більше розглядати, як звід незаперечних істин. У кращому випадку, математика могла гарантувати достовірність доказів на основі не достовірних аксіом. Проте, математики надалі здобули свободу досліджувати будь-які ідеї, які могли здаватися їм привабливими. Кожен математик окремо був тепер вільний вводити свої власні нові поняття і встановлювати аксіоми на свій розсуд, стежачи лише за тим, щоб теореми, які виникають з аксіом, не суперечили одна одній. Грандіозне розширення кола математичних досліджень в кінці 19-го століття, по суті, стало наслідком цієї нової свободи.
Математична строгість
Приблизно до 1870 року, математики перебували в переконанні, що діють за визначенням древніх греків, застосовуючи дедуктивні міркування до математичних аксіом, тим самим забезпечуючи своїми висновками не меншу надійність, аніж та, якою володіли аксіоми. Неевклідова геометрія і кватерніони (алгебра, в якій не виконується властивість комутативності) змусили математиків усвідомити, що те, що вони брали за абстрактні і логічно несуперечливі затвердження, в дійсності ґрунтується на емпіричному та прагматичному базисі.
Створення неевклідової геометрії супроводжувалося також усвідомленням існування в евклідової геометрії логічних прогалин. Одним з недоліків евклідової геометрії було використання припущень, не сформульованих в явному вигляді. Мабуть, Евклід не піддавав сумніву ті властивості, якими володіли його геометричні фігури, але ці властивості не були включені в його аксіоми. Окрім того, доводячи подобу двох трикутників, Евклід скористався накладенням одного трикутника на інший, не явно припускаючи, що при русі, властивості фігур не змінюються. Але окрім таких логічних прогалин, виявилося і кілька помилкових доказів.
Створення нових алгебр, що почалося з квартерніонов, породило аналогічні сумніви і стосовно логічної обґрунтованості арифметики і алгебри звичайної числової системи. Всі раніше відомі математикам числа мали властивістю комутативності, тобто ab = ba. Кватерніони, вчинили переворот у традиційних уявленнях про числа, були відкриті в 1843 році В. Гамільтоном. Вони виявилися корисними для вирішення цілого ряду фізичних і геометричних проблем, хоча для кватерніонів не виконувалося властивість комутативності. Квартерніони змусили математиків усвідомити, що якщо не вважати присвяченій цілим числам і далекою від досконалості частини евклідових, арифметика і алгебра не мають власної аксіоматичної основи. Математики вільно поводилися з негативними та комплексними числами й виконували алгебраїчні операції, керуючись лише тим, що вони успішно працюють. Логічна строгість поступилася місцем демонстрації практичної користі введення сумнівних понять і процедур.
Майже з самого зародження математичного аналізу, неодноразово робилися спроби підвести під нього строгі підстави. Математичний аналіз ввів два нових складних поняття — похідна і визначений інтеграл. Над цими поняттями билися Ньютон і Лейбніц, а також математики наступних поколінь, які перетворили диференціальне та інтегральне числення в математичний аналіз. Однак, незважаючи на всі зусилля, в поняттях межі, безперервності і диференційовності залишалося багато неясного. Крім того, з'ясувалося, що властивості алгебраїчних функцій не можна перенести на всі інші функції. Майже всі математики 18-го століття — початку 19-го століття, робили зусилля, щоб знайти строгу основу для математичного аналізу, і всі вони зазнали невдачі. Нарешті, в 1821 році, О. Коші, використовуючи поняття числа, підвів сувору базу під весь математичний аналіз. Однак пізніше, математики виявили у О. Коші логічні пробіли. Бажана строгість була нарешті досягнута в 1859 році К. Вейерштрасом.
К. Вейерштрасс, спочатку вважав властивості дійсних і комплексних чисел самоочевидними. Пізніше він, як і Г. Кантор і Р. Дедекінд, усвідомив необхідність побудови теорії ірраціональних чисел. Вони дали коректне визначення ірраціональних чисел і встановили їх властивості, однак властивості раціональних чисел, як і раніше вважали самоочевидними. Нарешті, логічна структура теорії дійсних і комплексних чисел придбала свій закінчений вигляд в роботах Р. Дедекінда і Дж. Пеано. Створення підстав числової системи дало змогу вирішити також проблеми обґрунтування алгебри.
Завдання посилення строгості формулювань евклідової геометрії було порівняно простим і зводилося до перерахування визначених термінів, уточнення визначень, введення відсутніх аксіом і заповнення прогалин у доказах. Це завдання виконав у 1899 році Д. Гільберт. Майже в той же час були закладені і основи інших геометрій. Д. Гільберт сформулював концепцію формальної аксіоматики. Одна з особливостей запропонованого ним підходу — трактування невизначених термінів: під ними можна мати на увазі будь-які об'єкти, що задовольняють аксіоми. Наслідком цієї особливості стала зростаюча абстрактність сучасної математики. Евклідова і неевклідова геометрії описують фізичний простір. Але в топології, що є узагальненням геометрії, невизначений термін «точка» може бути вільний від геометричних асоціацій. Для топології «точкою» може бути функція або послідовність чисел так само, як і що-небудь інше. Абстрактний простір являє собою багато таких «точок».
Аксіоматичний метод Д. Гільберта увійшов майже в усі розділи математики 20-го століття. Однак, незабаром стало ясно, що цьому методу притаманні певні обмеження. У 1880-х роках, Г. Кантор спробував систематично класифікувати нескінченні множини (наприклад, множина всіх раціональних чисел, множина дійсних чисел і т. д.) шляхом їх порівняльної кількісної оцінки, приписуючи їм т. зв. трансфінітні числа. При цьому, він виявив в теорії множин протиріччя. Таким чином, до початку 20-го століття, математикам довелося мати справу з проблемою їх дозволу, а також з іншими проблемами підстав їх науки, такими, як неявне використання т. зв. аксіоми вибору.
І все ж ніщо не могло зрівнятися з руйнівним впливом теореми неповноти К. Геделя. Ця теорема стверджує, що будь-яка несуперечлива формальна система, що досить багата, щоб утримувати теорію чисел, обов'язково містить нерозв'язну пропозицію, тобто твердження, яке неможливо ні довести, ні спростувати в її рамках. Тепер загальновизнано, що абсолютного доказу в математиці не існує. Щодо того, що ж таке доказ, думки розходяться. Однак більшість математиків схильні вважати, що проблеми основ математики є філософськими. І справді, жодна теорема не змінилася внаслідок знову знайдених логічно строгих структур. Це засвідчує, що в основі математики лежить не логіка, а здорова інтуїція.
Висновок
Якщо математику, відому до 1600, можна охарактеризувати як елементарну, то порівняно з тим, що було створено пізніше, ця елементарна математика нескінченно мала. Розширилися старі галузі та з'явилися нові, як чисті, так і прикладні галузі математичних знань. Виходять близько 500 математичних журналів. Величезна кількість публікованих результатів не дає змоги навіть фахівцеві ознайомитися з усім, що відбувається в тій галузі, в якій він працює, не кажучи вже про те, що багато результатів доступні для розуміння лише фахівцям вузького профілю. Ні один математик сьогодні не може сподіватися знати більше від того, що відбувається в дуже маленькому куточку науки.
Див. також
- Сад Архімеда (музей математики), Флоренція
Примітки
- Бородін, О. І. Історія розвитку поняття про число і системи числення.
Література
- Біографічний словник діячів у галузі математики / О. І. Бородін, А. С. Бугай. — К. : Радянська школа, 1973. — 551 с.
- Георгій Вороний — гордість української математики / Ігнатенко Микола Якович // Проблеми сучасної педагогічної освіти: [зб. ст.] / РВНЗ «Крим. гуманіт. ун-т». — Ялта: [б. в.], 2005. Сер.: Педагогіка і псхологія, Вип. 8. — С. 15-22.
- Історія математики / Бевз В. Г. — Харків: Основа, 2006. — 171 с. — (Бібліотека журналу «Математика в школах України»: серія заснована в 2003 р. ; вип. 2(38)). — Бібліогр.: с. 166—169. —
- Історія математики за стародавніх часів і в середні віки: посіб. для вчителів та студ. педвишів / Г. Г. Цейтен ; передм. М. Вигодського ; пер. з рос. вид. — [Б. м.]: Радянська школа, 1936. — 220 с.
- Історія математики: [навч. посіб.] / Євген Крутиголова ; Дрогобиц. держ. пед. ун-т ім. Івана Франка. — Дрогобич: Коло, 2001. — 118, [1] с. — Бібліогр.: с. 119. —
- Історія математики у фаховій підготовці майбутніх учителів: монографія / В. Г. Бевз ; Нац. пед. ун-т ім. М. П. Драгоманова. — Київ: [б. и.], 2005. — 359, [1] с. — Бібліогр.: с. 328—359. —
- Математики — дійсні члени Наукового товариства імені Шевченка / Григорій Возняк ; Тернопіл. осередок Наук. т-ва ім. Шевченка. — Тернопіль: Підручники і посібники, 2006. — 127 с. — Бібліогр.: с. 124—125. —
- Математична генеалогія: [навч. посіб.] / В. К. Григоренко, К. В. Григоренко. — Черкаси: Видавництво ЧНУ ім. Б. Хмельницького, 2013. — 184 с.
- Математична освіта в Україні: минуле, сьогодення, майбутнє: Міжнар. наук.-практ. конф., присвяч. 60-й річниці каф. математики і методики викладання математики: тези доповідей / Нац. пед. ун-т ім. М. П. Драгоманова, Ін-т фіз.-мат. та інформ. освіти і науки. Каф. математики і методики викладання математики ; [оргком. конф.: Андрущенко В. П. та ін. ; ред. ком.: Бевз В. Г. та ін.]. — Київ: [б. в.], 2007. — 375 с. — Бібліогр. у кінці ст. —
- Михайло Васильович Остроградський. Нарис життя та діяльності / Вячеслав Добровольський. — [Київ]: [Б. в.], [2001]. — 87 с.
- М. Є. Ващенко-Захарченко та його вплив на розвиток Київської математичної школи / А. В. Боярська-Хоменко // Теорія та методика навчання та виховання: зб. наук. пр. / Харк. нац. пед. ун-т ім. Г. С. Сковороди. — Харків: [б. в.], 2008. — Вип. 22. — С. 10-13.
- Нариси з історії математики: навч. посіб. / М. П. Ленюк. — Чернівці: Прут, 2010. — 359, [1] с. — Бібліогр.: с. 350—358. — ISBN 978-966-560-429-461-7
- Практикум з історії математики / В. Г. Бевз ; Нац. пед. ун-т ім. М. П. Драгоманова. — Київ: [б. и.], 2004. — 311 с. : іл. — Бібліогр.: с. 294—296. —
- Чотирнадцята міжнародна наукова конференція імені академіка М. Кравчука : 19-21 квітня, 2012 р., м. Київ: матеріали конференції / Київ. нац. ун-т ім. Т. Шевченка, Нац. пед. ун-т ім. М. П. Драгоманова, Нац. техн. ун-т України «Київський політехнічний інститут»; Гол. оргком. М. Згуровський. — К. : НТУУ «КПІ» . — Укр., рос., англ. мовами.– . — Т. 4 : Історія та методика викладання математики. — 2012. — 299 с. — 170 пр.– Бібліогр. в кінці ст. — Укр., рос., англ. мовами.–
- Matematyka i jej historia / W. Wieslaw. — Opole: NOWIK, 1997. — 416 s. —
Посилання
- Литература по истории математики [ 7 січня 2017 у Wayback Machine.]
Вікіпедія, Українська, Україна, книга, книги, бібліотека, стаття, читати, завантажити, безкоштовно, безкоштовно завантажити, mp3, відео, mp4, 3gp, jpg, jpeg, gif, png, малюнок, музика, пісня, фільм, книга, гра, ігри, мобільний, телефон, android, ios, apple, мобільний телефон, samsung, iphone, xiomi, xiaomi, redmi, honor, oppo, nokia, sonya, mi, ПК, web, Інтернет
Isto riya matema tiki galuz znan sho zajmayetsya doslidzhennyam pohodzhennya ta rozvitku matematichnih vidkrittiv i metodiv a takozh matematichnih prac minulogo Slovo matematika pohodit vid grec ma8hma matema sho oznachaye piznannya chi vivchennya matematik grec ma8hmatikos matematikos lyudina ohoplena zhadoboyu piznannya Matematika pervisno vinikla yak odin iz napryamkiv poshuku istini u greckij filosofiyi u sferi prostorovih vidnoshen zemlemiryannya geometriyi ta obchislen arifmetiki dlya praktichnih potreb lyudini rahuvati obchislyuvati vimiryuvati doslidzhuvati formi i ruh fizichnih til Nini cej termin poznachaye cilkom viznachenu galuz znan pov yazanu z doslidzhennyam zadach pro kilkist prostorovi formi procesi rozvitku ta formalni strukturi v osnovi yakogo lezhat tochni oznachennya ta strogi deduktivni metodi PeriodizaciyaIstoriyu matematiki mozhna podiliti na chotiri periodi U pershij period priblizno 6 5 st do n e sformuvalosya ponyattya cilogo chisla racionalnogo drobu vidstani ploshi ob yemu stvoreni pravila dij z chislami najprostishi pravila viznachennya plosh figur i ob yemiv til Tak nakopichivsya material sho sklavsya v arifmetiku Vimiryuvannya plosh i ob yemiv spriyalo rozvitkovi geometriyi Na bazi stvorennya metodiv arifmetichnih obchislen vinikla algebra a v zv yazku iz zapitami astronomiyi trigonometriya Odnak u cej period matematika she ne bula deduktivnoyu naukoyu vona skladalasya perevazhno z prikladiv na rozv yazuvannya okremih zadach inodi stanovila zbirku pravil dlya yihnogo rozv yazuvannya U drugij period do seredini XVII st matematika staye samostijnoyu naukoyu zi svoyeridnim chitko virazhenim metodom i sistemoyu osnovnih ponyat V Indiyi bulo stvoreno desyatkovu sistemu chislennya v Kitayi metod rozv yazuvannya linijnih rivnyan z dvoma i troma nevidomimi stvorena starodavnimi grekami sistema vikladu elementarnoyi geometriyi stala zrazkom deduktivnoyi pobudovi matematichnoyi teoriyi na bagato stolit vpered U cej period z arifmetiki postupovo vidilyayetsya teoriya chisel Velike znachennya mali praci Pifagora Samoskogo Gippokrata Hioskogo Evdoksa Knidskogo Evklida Arhimeda Diofanta U Kiyivskij Rusi matematichna osvita bula na rivni najkulturnishih krayin Yevropi togo chasu Tretij period do pochatku HH st v yakij bulo stvoreno matematiku zminnih velichin suttyevo novij period u rozvitku matematiki Chetvertij suchasnij period harakterizuyetsya sistematichnim vivchennyam mozhlivih tipiv kilkisnih vidnoshen i prostorovih form Matematika u pervisnomu suspilstviUzhe v najpershih pisemnih znahidkah ye dokazi yaki svidchat pro matematichni znannya yihnih avtoriv sho vikoristovuvalis dlya vimiryuvannya chasu na osnovi sposterezhennya za nebesnimi svitilami Doistorichni artefakti viyavleni v Africi ta Franciyi vkazuyut na zdijsnennya pershih sprob kvantifikaciyi chasu Isnuye pripushennya sho vidlikom chasu zajmalisya zhinki yaki reyestruvali misyachni cikli abo fazi misyacya Paralelno rozvivalisya uyavlennya pro chislo imovirno sposterigayuchi za grupami stadami tvarin lyudi pochali rozriznyati ponyattya odin dva ta bagato Same taki kilkisni uyavlennya donini zbereglisya u zulusiv afrikanskih pigmeyiv ta she ryadu plemen avstralijskih brazilskih tosho Zgodom chisla ob yednuvali u grupi utvoryuyuchi bilshi odinici lichbi zazvichaj vikoristovuvali palci odniyeyi chi oboh ruk abo zh ruk i nig sho davalo lichbu z osnovoyu 5 10 abo 20 Zapisi veli poznachennyam odinic zarubkami kamincyami tosho Matematika najdavnishih civilizacijNajdavnishi vidomosti pro vikoristannya matematiki gospodarski zadachi v Starodavnomu Yegipti Papirus Rinda Moskovskij papirus Shkiryanij suvij yegipetskoyi matematiki ta Vaviloniyi Matematichni teksti Suz Vona vikoristovuvalasya dlya kalendarnih obrahunkiv rozpodilu vrozhayu organizaciyi suspilnih robit zbirannya podatkiv Vavilonske carstvo Dokladnishe Vavilonska matematika Pro vavilonsku civilizaciyu na shastya nam vidomo dovoli bagato Vse ce zavdyaki glinyanim tablichkam na yakih buli klinopisni teksti vik yakih datuyetsya priblizno vid 2000 rokiv do n e ta azh do III stolittya do n e Matematika znajdenih klinopisnih tablichok v osnovnomu stosuvalasya tilki momentiv pov yazanih iz vedennyam gospodarstva Takozh prosta arifmetika i algebra zastosovuvalisya dlya oplati tovariv obchislennya prostih abo skladnih vidsotkiv Z chasom koli pochali buduvati kanali zernoshovisha ta inshi skladni sporudi arifmetichni ta geometrichni zadachi stali skladnishimi Matematika znadobilasya takozh dlya vedennya obliku gromadskih robit yakih u toj chas bulo chimalo Vkraj vazhlivu rol matematika zigrala u rozrahunkah kalendarya Adzhe same za kalendarem viznachali chas sivbi ta zboru vrozhayu a takozh usi religijni svyata Same vavilonska astronomiya poklala pochatok podilu kola na 360 gradusiv a gradusa na hvilini ta sekundi Vavilonyanam nalezhit odna z pershih sistem chislennya Dlya cogo voni vikoristovuvali chisla vid 1 do 59 osnovoyu yakih bula 10 ka Simvol sho poznachav odinicyu vavilonyani povtoryuvali neobhidnu kilkist raziv dlya chisel vid 1 do 9 Podalshi poznachennya tobto vid 11 do 59 poznachalisya kombinaciyeyu simvolu chisla 10 a takozh simvolu odinici Dlya chisel pochinayuchi z 60 i bilshe bula vvedena pozicijna sistema chislennya osnovoyu yakoyi stalo chislo 60 Suttyevim prorivom u vavilonskij matematici stav pozicijnij princip Tobto odin i toj zhe chislovij znak abo simvol mav rizni znachennya zalezhno vid miscya jogo roztashuvannya Prikladom mozhe sluguvati znachennya 6 u ninishnomu zapisi chisla 606 Odnak u vavilonyan nul buv vidsutnij same tomu i nabir simvoliv mig oznachati take 65 ce 60 5 i 3605 ce 602 0 5 Vinikala neodnoznachnist zi sprijnyattyam drobiv oskilki ti zh sami simvoli mogli traktuvatisya i yak chislo i yak drib Odnak cya problema virishuvalasya dosit prosto vse zalezhalo vid konkretnogo kontekstu Yegipet Dokladnishe Matematika v Starodavnomu Yegipti Nashe rozuminnya staroyegipetskoyi matematiki gruntuyetsya v osnovnomu na dvoh papirusah sho datuyutsya priblizno 1700 rokom do n e Odnak ti matematichni vidomosti yaki mistyat ci papirusi nalezhat do zovsim rannogo periodu priblizno 3500 rokiv do n e Yegiptyani vidminno oriyentuvalisya na toj moment v matematici Voni vikoristovuvali yiyi dlya obchislennya masi til plosh posiviv ob yemiv zernoshovish rozmiriv podatkiv kilkosti kameniv yaki priznachalisya dlya budivnictva riznih sporud U papirusah znajshlasya i zgadka pro zavdannya z viznachennyam kilkosti zerna dlya prigotuvannya neobhidnogo chisla kuhliv piva i navit bilsh skladnih de dlya prigotuvannya piva vikoristovuvalisya odnochasno kilka sortiv zerna Odnak nezvazhayuchi na vsi ci fakti riven astronomiyi v Starodavnomu Yegipti vse zh istotno postupavsya stupenyu yiyi rozvitku u Vavilonskomu carstvi Vsya davnoyegipetska pisemnist bula zasnovana na iyeroglifah Prichomu sistema chislennya yak i astronomiya silno postupalasya vavilonskij sistemi Yegiptyani vikoristovuvali tilki nepozicijnu desyatkovu sistemu de chisla vid odnogo do dev yati poznachalisya za dopomogoyu vertikalnih palichok vidpovidnim chislom Sho stosuyetsya poslidovnih stupeniv chisla desyat to tut vzhe vikoristovuvalisya individualni simvoli U yegiptyan geometriya zdebilshogo zvodilasya do obchislen plosh kruga trikutnikiv pryamokutnikiv trapecij i do formul ob yemiv pevnih til Varto takozh vidznachiti sho nezvazhayuchi na vsyu velich yegipetskih piramid dlya yihnogo budivnictva yegiptyani vikoristovuvali vkraj prostu i primitivnu matematiku Antichna GreciyaMuza geometriyi Luvr Dokladnishe Davnogrecka matematika Pifagorijska shkola Matematika yak teoriya otrimala rozvitok u shkoli Pifagora 571 479 rr do n e Golovnim dosyagnennyam pifagorijciv v oblasti nauki ye istotnij rozvitok matematiki yak za zmistom tak i za formoyu Za zmistom vidkrittya novih matematichnih faktiv Za formoyu pobudova geometriyi i arifmetiki yak teoretichnih dokazovih nauk sho vivchayut vlastivosti abstraktnih ponyat pro chisla i geometrichni formi Deduktivna pobudova geometriyi stala potuzhnim stimulom yiyi podalshogo rozvitku Pifagorijci rozvinuli i obgruntuvali planimetriyu pryamolinijnih figur vchennya pro paralelni liniyi trikutniki chotirikutniki pravilni bagatokutniki Otrimala rozvitok elementarna teoriya kola Nayavnist u pifagorijciv vchennya pro paralelni liniyi vkazuye na te sho voni volodili metodom dovedennya vid suprotivnogo i vpershe doveli teoremu pro sumu kutiv trikutnika Vershinoyu dosyagnen pifagorijciv u planimetriyi ye dokaz teoremi Pifagora Ostannya na bagato stolit ranishe bula sformulovana vavilonskimi kitajskimi j indijskimi vchenimi odnak yiyi dokaz yim ne buv vidomij Uspihi pifagorijciv u stereometriyi buli znachnimi Voni zajmalisya vivchennyam vlastivostej kuli vidkrili pobudovu chotiroh pravilnih mnogokutnikiv tetraedra kuba oktaedra i dodekaedra ikosaedr doslidzhuvav zgodom Geetet Odnak voni ne zmogli obgruntuvati tverdzhennya yaki stosuyutsya ob yemiv til piramidi konusa cilindra i kuli hocha zvichajno ci tverdzhennya buli vstanovleni empirichno na bagato stolit ranishe V galuzi arifmetiki pifagorijci vivchali vlastivosti parnih i neparnih prostih i skladenih naturalnih chisel shukali doskonali chisla tobto taki yaki dorivnyuyut sumi vsih svoyih dilnikiv napriklad 6 1 2 3 28 1 2 4 7 14 Pifagorijci znali takozh drobovi chisla i v zv yazku z cim rozrobili teoriyu arifmetichnoyi ta geometrichnoyi proporcij Voni volodili ponyattyami serednogo arifmetichnogo serednogo geometrichnogo i serednogo garmonijnogo Povorotnij punkt v istoriyi antichnoyi matematiki Yakimi b velikimi ne buli dosyagnennya pifagorijciv u rozvitku zmistu ta sistematizaciyi geometriyi i arifmetiki odnak vsi voni ne mozhut zrivnyatisya zi zroblenim nimi zh vidkrittyam nesumirnih velichin Ce vidkrittya stalo povorotnim punktom v istoriyi antichnoyi matematiki Z privodu cogo vidkrittya Aristotel govoriv sho Pifagor pokazav sho yaksho b diagonal kvadrata bula b porivnyanna z jogo storonoyu to parne dorivnyuvalo b neparnomu Ce zauvazhennya Aristotelya pokazuye sho pri dovedenni nesumirnosti diagonali kvadrata z jogo storonoyu Pifagor vikoristovuvav metod vid suprotivnogo Naprikinci V stolittya do n e Feodor iz Kireni vstanoviv sho nesumirnist diagonali kvadrata z jogo storonoyu ne ye vinyatkom Vin pokazav sho storoni kvadrativ ploshi yakih dorivnyuyut 3 5 6 17 nesumirni zi storonoyu odinichnogo kvadrata Pifagor vchiv sho sutnist usih rechej ye chislo chislo sami rechi garmoniya chisel garmoniya samih rechej Ce prirodno do vidkrittya Pifagora davnogrecki matematiki vvazhali sho bud yaki dva vidrizki mayut spilnu miru hocha mozhe buti i duzhe malu Pifagorijci znali tilki dodatni cili i drobovi chisla Dotrimuyuchis svoyeyi filosofskoyi ustanovki voni po suti spravi vvazhali sho kozhna rich mozhe buti oharakterizovana pozitivnim cilim abo drobovim chislom yake virazhaye sutnist ciyeyi rechi Naspravdi ce oznachalo sho geometriya buduvalasya na bazi arifmetiki Pislya viyavlennya isnuvannya nesumirnih velichin pered pifagorijcyami vidkrilisya dvi mozhlivosti Mozhna bulo sprobuvati rozshiriti ponyattya chisla za rahunok priyednannya do racionalnih chisel irracionalnih chisel oharakterizuvati nesumirni velichini chislami inshoyi prirodi i takim chinom vidnoviti silu filosofskogo principu vse ye chislo Odnak cej shlyah nastilki prirodnij i prostij z suchasnoyi tochki zoru dlya pifagorijciv buv zakritij V comu vipadku treba bulo pobuduvati dosit tochnu arifmetichnu teoriyu dijsnih chisel sho pri rivni pifagorijskoyi matematiki bulo spravoyu nerealnoyu Tomu treba bulo jti inshim shlyahom shlyahom pevnogo pereglyadu vihidnih principiv napriklad prijnyati sho geometrichni ob yekti ye velichinami bilsh zagalnoyi prirodi nizh drobovi i cili chisla i namagatisya buduvati vsyu matematiku ne na arifmetichnij a na geometrichnij osnovi Same cej drugij shlyah i obrali pifagorijci a slidom za nimi bilshist davnogreckih matematikiv azh do Arhimeda i Apolloniya Period Akademiyi Period cilkom samostijnoyi diyalnosti grekiv v oblasti matematiki pochinayetsya z diyalnosti Platona i zasnovanoyi nim u 389 r Filosofskoyi shkoli vidomoyi pid im yam Akademiya Z cogo chasu podalshij rozvitok yaksho ne vsiyeyi matematiki vzagali to bezsumnivno geometriyi zoseredzhuyetsya viklyuchno v rukah odniyeyi greckoyi naciyi yaka j vede jogo poki znahodit u svoyemu rozporyadzhenni neobhidni zasobi Golovnim rezultatom matematichnoyi diyalnosti samogo Platona bulo stvorennya filosofiyi matematiki i zokrema yiyi metodologiyi Yak vidomo jogo vlasni roboti duzhe malo stosuvalisya zbilshennya matematichnih znan u kilkisnomu vidnoshenni i buli spryamovani na vstanovlennya tochnih viznachen osnovnih ponyat geometriyi na viyavlennya i vidvedennya spravzhnogo miscya yiyi osnovnih polozhen na privedennya nadbanih ranishe matematichnih znan v suvorij logichnij zv yazok yak mizh soboyu tak i z osnovnimi ponyattyami ta polozhennyami i nareshti na privedennya v povnu yasnist i vivchennya metodiv vidkrittya ta dokazi novih istin metodiv Metodiv rozroblenih Platonom za svidchennyam Prokla bulo tri analitichnij sintetichnij ta apologichnij Vikladeni na pidstavi piznishih doslidzhen predmeta bilsh povnim i golovne bilsh pevnim chinom ci viznachennya predstavlyayutsya v nastupnomu viglyadi Analitichnij metod polyagaye v utvorenni lancyuga propozicij z yakih kozhne viplivaye z nastupnogo za nim yak bezposerednij naslidok Sintetichnij metod ye chastinoyu analitichnogo i tomu skladayetsya z lancyugiv propozicij z yakih pershe ye dovedena istina a kozhne z nastupnih ye naslidkom togo sho jomu pereduye Pro apologichnij metod abo metod privedennya do bezgluzdosti Evklid ne govorit ale dosit chitke jogo viznachennya poryad z nechitkimi viznachennyami analizu i sintezu daye Prokl pri svoyemu pripisuvanni yih Platonu Tretij apologichnij metod govorit vin ye privedennya do nemozhlivogo yake ne dovodit pryamo togo sho shukayetsya a sprostovuye te sho jomu superechit i takim chinom cherez zv yazok togo j inshogo znahodit istinu Vcheni matematiki sho nalezhali do Akademiyi rozpadalisya na dvi grupi na vchenih yaki otrimali svoyu matematichnu osvitu nezalezhno vid Akademiyi i perebuvali tilki v bilsh abo mensh tisnih znosinah z neyu i na kolishnih uchniv Akademiyi Do pershih nalezhali Teetet Afinskij Leodam Fasosskij Arhit Tarentskim i piznishe Evdoks Knidskij do chisla drugih Neoklid Leon Amikl z Gerakleyi brati Menehm i Dinostrat i pid chas starosti Platona Teyudij z Magneziyi Kiziken Afinskij Germotim Kolofonskij Filip Mendejskij i Filip Opuntskij Fales Pifagor Geron PtolemejKitaj ta IndiyaDodatni i vid yemni kilkosti vpershe v istoriyi nauki rozriznyali v Kitayi she ponad 2000 rokiv tomu Uzhe u 8 j knizi zbirnika Matematika v dev yati knigah avtori vilno koristuvalisya vid yemnimi kilkostyami U cij knizhci ye rivnyannya z vid yemnimi pershimi koeficiyentami i vilnimi chlenami tut zhe sformulovano pravila dodavannya i vidnimannya vid yemnih kilkostej Dodatni kilkosti v kitajskij matematici nazvali chen vid yemni fu yih zobrazhali riznimi kolorami chen chervonim fu chornim Takij sposib zobrazhennya vikoristovuvavsya v Kitayi do seredini XIII st poki Li Ye ne zaproponuvav zruchnishe poznachennya vid yemnih chisel cifri sho zobrazhali vid yemni chisla perekreslyuvali riskoyu navskis sprava nalivo U V VI st vid yemni chisla poshiryuyutsya v indijskij matematici V Indiyi vid yemni chisla sistematichno zastosovuvali i tlumachili v osnovnomu tak samo yak ce mi robimo teper Uzhe v tvori Bramagupti Pereglyad sistemi Brami 628 r mi chitayemo Majno i majno ye majno suma dvoh borgiv ye borg suma majna i nulya ye majno suma dvoh nuliv ye nul Borg yakij vidnimayut vid nulya staye majnom a majno borgom Yaksho treba vidnyati majno vid borgu a borg vid majna to berut yih sumu Vid yemnimi chislami indijski matematiki koristuvalisya pid chas rozv yazuvannya rivnyan prichomu vidnimannya zaminyuvali dodavannyam do rivnogo j protilezhnogo chisla Pro te yak indijski vcheni vidkrili vid yemni chisla dostovirno mi nichogo ne znayemo Slid zaznachiti sho osnovnoyu osoblivistyu indijskoyi matematiki ye perevazhannya obchislyuvalnih prijomiv yaki davalisya v dogmatichnij formi Rozv yazuyuchi zadachi na ruh vigrash i progrash ta inshi indijci ochevidno na dosvidi perekonalisya v zruchnosti vid yemnih chisel Tak u tvori vidatnogo indijskogo matematika j astronoma Ariabhati I 476 bl 550 podano rozv yazuvannya zadachi v yakij jdetsya pro moment zustrichi v minulomu i majbutnomu Prote zaprovadivshi vid yemni chisla indijski matematiki vvazhali yih ne rivnopravnimi elementami matematiki a chimos podibnim do logichnih mozhlivostej bo za vislovom indijskogo matematika Bhaskari lyudi z nimi ne zgodni Takim chinom pri rozv yazuvanni algebrayichnih rivnyan matematiki zustrilisya z vid yemnimi velichinami ale pochali vvazhati yih ob yektivnimi ponyattyami tilki todi koli realno roztlumachili Vvedennya vid yemnih chisel bulo zumovlene v pershu chergu rozvitkom algebri yak nauki sho daye zagalni sposobi rozv yazuvannya arifmetichnih zadach nezalezhno vid vihidnih chislovih danih Vid yemni chisla buli neobhidni vzhe pri rozv yazuvanni zadach yaki zvodyatsya do rivnyan pershogo stepenya z odniyeyu zminnoyu Mozhlivij vid yemnij rozv yazok u takih zadachah mozhna poyasniti prikladami protilezhnih velichin protilezhno napryamleni vektori temperatura visha i nizhcha vid nulya majno borg i t d Serednovichna YevropaNezvazhayuchi na vsyu svoyu velich Rimska civilizaciya ne zmogla zalishiti zhodnogo istotnogo slidu v matematici bo vona bula vzhe nadto sturbovana rishennyam svoyih praktichnih problem A os civilizaciya yaka sklalasya v Yevropi chasiv rannogo Serednovichchya priblizno 400 1100 rr n e ne bula nastilki produktivnoyu cherez ryad prichin Po pershe use intelektualne zhittya bulo skoncentrovano tilki na teologiyi Tomu riven matematichnih znan ne pidnimavsya vishe prostoyi arifmetiki a takozh najelementarnishih rozdiliv Nachala Evklida Mabut najgolovnishim rozdilom matematiki v Serednovichchya zalishalasya astrologiya V toj chas bud yakogo astrologa nazivali matematikom A oskilki vsya medicina na toj moment gruntuvalasya perevazhno na astrologichnih pokazannyah i protipokazannyah vsim medikam dovelosya terminovo stati matematikami Priblizno v 1100 roci zahidnoyevropejska matematika pristupila do osvoyennya zberezhenih vizantijskimi grekami i arabami spadshini Starodavnogo svitu Shodu Ce trivalo blizko troh stolit A oskilki arabi praktichno povnistyu volodili usima pracyami davnih grekiv Yevropa zmogla otrimati v svoye rozporyadzhennya prosto velicheznu kilkist matematichnoyi literaturi Vsi praci perekladalisya na latinu sho spriyalo istotnomu zrostannyu znan i pidjomu matematichnih doslidzhen v dosit korotki termini Praktichno vsi vcheni Yevropi viznavali sho svoye nathnennya voni cherpali same z prac grekiv Odnim z najpershih yevropejskih matematikiv yakogo varto zagadati stav Leonardo Pizanskij abo Fibonachchi Zavdyaki jogo praci Kniga abaka vidanij u 1202 roci yevropejci zmogli poznajomitisya z indo arabskimi ciframi a takozh metodami obchislen Z neyi voni diznalisya i pro algebru Odnak protyagom nastupnih kilkoh stolit matematichna aktivnist pishla na spad Ves zvid matematichnih doslidzhen i znan tiyeyi epohi vidbiv Luka Pacholi u 1494 roci V jogo pracyah napisano sho niyakih algebrayichnih novovveden vidkrito abo pridumano ne bulo vse ce vzhe ye u Leonardo VidrodzhennyaOdnimi z najvidatnishih geometriv epohi Vidrodzhennya yak ne divno stali hudozhniki Same voni rozvinuli ideyu perspektivi Ponyattya proyekciyi i pererizu vviv hudozhnik Leon Battista Alberti 1404 1472 rr Vsi pryami promeni svitla sho vihodyat vid ochej sposterigacha do riznih tochok predstavlenoyi sceni utvoryuyut proyekciyu A peretin vihodit shlyahom prohodzhennya ploshini cherez proyekciyu Tomu dlya togo shob kartina yaku malyuye hudozhnik v kincevomu rezultati bula maksimalno realistichnoyu vona povinna vikonuvati zakoni proyekciyi i buti same takim peretinom Sudzhennya pro proyekciyi i pererizi odrazu viklikali ryad matematichnih pitan Zavdyaki nim i narodilasya proyektivna geometriya a zasnuvav yiyi Zh Dezarg 1593 1662 rr Vin stvoriv yiyi za dopomogoyu dokaziv yaki gruntuvalisya na proyekciyi a takozh pererizi Vin unifikuvav pidhid do riznih tipiv konichnih pereriziv yaki vidatnij geometr z Greciyi Apollonij rozglyadav zavzhdi okremo Rozvitok suchasnoyi matematiki XVI stolittya v Zahidnij Yevropi stav viznachnim u dosyagnennyah algebri ta arifmetiki 1582 roku ispanskij korol Filip II zasnuvav pershu v Yevropi matematichnu akademiyu Matematiki vveli v uzhitok desyatkovi drobi a takozh pravila arifmetichnih dij z nimi Spravzhnij furor viklikav Dzh Neper yakij u 1614 roci vinajshov logarifmi Vzhe v kinci XVII stolittya sklalosya chitke rozuminnya logarifmiv yak pokaznikiv stupeniv z absolyutno bud yakim pozitivnim chislom ale tilki ne odiniceyu U XVI stolitti stali aktivno vikoristovuvati irracionalni chisla B Paskal 1623 1662 rr a takozh I Barrou 1630 1677 rr yakij buv vchitelem I Nyutona 1643 1727 rr i vikladav u Kembridzhskomu universiteti zayaviv sho chislo korin z dvoh mozhna traktuvati viklyuchno yak geometrichnu velichinu i bilshe niyak Ale v toj zhe chas R Dekart 1596 1650 rr i Dzh Vallis 1616 1703 rr stverdzhuvali nastupne irracionalni chisla pripustimi i bez posilan na geometriyu tobto sami po sobi Odnak u XVI stolitti vidnovilisya superechki z privodu zakonnosti vid yemnih chisel a takozh kompleksnih chisel Dekart yih nazvav uyavnimi yaki vinikali pri rozv yazuvanni kvadratnih rivnyan Nezvazhayuchi na dokazovu bazu ci chisla buli pid pidozroyu azh do XVIII stolittya nezvazhayuchi na te sho L Ejler 1707 1783 nimi koristuvavsya Kompleksni chisla ostatochno buli viznani tilki v XIX stolitti pislya togo yak matematiki togo chasu povnistyu oznajomilisya z yih geometrichnim predstavlennyam 16 19 stolittyaU XVI stolitti italijski matematiki S Dal Ferro 1465 1526 rr N Tartalya 1499 1577 rr i D Kardano 1501 1576 rr zmogli znajti spilni rishennya rivnyan tretogo a takozh chetvertogo stupenya Shob yih algebrayichni mirkuvannya buli zrozumilimi a zapisi stali bilsh tochnimi bulo prijnyato rishennya vvesti bagato vidomih sogodni simvoliv takih yak gt lt ta inshih Odnim z najbilsh yaskravih novovveden stalo sistematichne zastosuvannya francuzkim matematikom F Viyetom 1540 1603 rr bukv yaki poznachali nevidomi a takozh postijni velichini Ce novovvedennya dozvolilo znajti Viyetu yedinij metod rishennya rivnyan drugogo tretogo i chetvertogo stupeniv Pislya togo yak use bulo znajdeno matematiki pishli dali tobto do rivnyan vishe chetvertogo stupenya Nad cim napoleglivo pracyuvali Kardano Nyuton i Dekart Voni opublikuvali shopravda bez bud yakih dokaziv cilij ryad svoyih rezultativ sho stosuyutsya chisla i vidu koreniv rivnyannya I Nyuton vidkriv spivvidnoshennya mizh korenem i diskriminantom kvadratnogo rivnyannya Fridrih Gauss 1777 1855 rr v 1779 roci doviv tak zvanu osnovnu teoremu algebri zgidno z yakoyu mnogochlen n go stupenyu maye rivno n koreniv V algebri osnovne zavdannya polyagaye v nastupnomu znajti spilne rishennya algebrayichnogo rivnyannya Ce zavdannya prodovzhuvalo hvilyuvati matematikiv na pochatku XIX stolittya Koli mova jde pro spilne virishennya rivnyannya drugogo stupenya mayetsya na uvazi nastupne kozhen z dvoh koreniv mozhe buti virazhenij za dopomogoyu kincevogo chisla operacij dodavannya vidnimannya a takozh mnozhennya dilennya i dobuvannya koreniv zdijsnyuvanih nad koeficiyentami rivnyannya Nils Abel molodij norvezkij matematik 1802 1829 rr doviv sho nemaye niyakoyi mozhlivosti otrimati spilne rishennya rivnyan vishe chetvertogo stupenya za dopomogoyu kincevogo chisla algebrayichnih rishen Ale ye bagato rivnyan specialnogo vidu vishe chetvertogo stupenya yaki v principi mozhut dopuskati podibne rishennya Zovsim yunij francuzkij matematik E Galua 1811 1832 rr bukvalno naperedodni svoyeyi dueli na yakij i zaginuv zmig dati zaklyuchnu vidpovid na pitannya yaki same rivnyannya mozhna vidobraziti cherez koeficiyenti za dopomogoyu kincevogo chisla algebrayichnih operacij U jogo teoriyi zastosovuvalisya pidstanovki koreniv Rozvitok teoriyi grup ce horoshij priklad togo sho v matematici vse zh prisutni i tvorchi procesi Galua stvoriv svoyu teoriyu na osnovi robit Abelya Sam zhe Abel brav za osnovu roboti Zh Lagranzha 1736 1813 rr Naspravdi duzhe bagato vidomih matematikiv vklyuchayuchi i Gausa i A Lezhandra 1752 1833 rr vikoristovuvali v svoyih pracyah ponyattya grup U svij chas Nyuton i zayaviv Yaksho ya i mig bachiti nabagato dali nizh inshi vse tilki tomu sho ya stoyav na plechah gigantiv Analitichna geometriyaAnalitichna koordinatna geometriya stvoryuvalasya nezalezhno matematikami P Ferma 1601 1655 rr i R Dekartom Ce bulo zrobleno specialno dlya rozshirennya mozhlivostej evklidovoyi geometriyi v zadachah na pobudovu Ale Ferma ocinyuvav svoyi roboti tilki yak pereformulyuvannya tvoriv Apolloniya Spravzhnye vidkrittya ce usvidomlennya vsiyeyi mogutnosti algebrayichnih metodiv yake nalezhit vse zh Dekartu Analitichna geometriya vinikla same todi koli Dekart pristupiv do rozglyadu neviznachenih zadach na pobudovu shlyahom rishen de ye ne odna a vidrazu bezlich riznih dovzhin Analitichna geometriya zastosovuye algebrayichni rivnyannya shob predstaviti doslidzhennya poverhon i krivih Dekart vvazhav sho pevnu krivu mozhna zapisati za dopomogoyu yedinogo algebrayichnogo rivnyannya vidnosno x i y Danij pidhid stav vazhlivim krokom vpered Takim chinom u XVII XVIII st st bilshist golovnih vidkrittiv primirom cikloyida abo lancyugova liniya shvidko zmogli uvijti v pobut vchenih Shvidshe za vse pershim matematikom yakij vikoristovuvav rivnyannya dlya dokaziv vlastivostej konichnih pereriziv stav Dzh Vallis 1616 1703 rr U 1685 roci vin algebrayichnim metodom otrimav vsi neobhidni jomu rezultati yaki buli predstavleni v knizi Nachala Evklida Same analitichna geometriya zmogla povnistyu obminyati rolyami geometriyu i algebru Vidatnij francuzkij matematik Lagranzh skazav Algebra i geometriya ruhayuchis svoyimi shlyahami lishe upovilnyuyut svij progres Odnak yak tilki ci nauki ob yednuyutsya voni pochinayut pozichati odna u odnoyi zhittyevi sili i mozhlivosti yaki zmushuyut yih oboh ruhatisya velicheznimi krokami vpered do doskonalosti Matematichnij analizTaki zasnovniki suchasnoyi nauki yak Nyuton Kopernik Galilej i Kepler pidhodili do vivchennya prirodi tak samo yak i do matematiki Doslidzhuyuchi takim chinom ruh ci veliki matematiki zmogli virobiti take fundamentalne ponyattya yak vidnoshennya mizh zminnimi i funkciya Take zavdannya yak viznachennya mittyevih shvidkostej zmini riznih velichin cikavilo praktichno vsih matematikiv XVII stolittya u tomu chisli Barrou Dekarta Vallisa i Ferma Voni zaproponuvali rizni ideyi i metodi yaki buli ob yednani v sistematichnij universalnij formalnij sposib sho vikoristovuvavsya Nyutonom a takozh G Lejbnicem 1646 1716 rr yaki do rechi buli tvorcyami diferencialnogo chislennya Ale v rozrobci danogo obchislennya matematiki postijno veli garyachi superechki z yasovuyuchi komu zh vse taki nalezhit golovna zasluga i Nyuton postijno zvinuvachuvav Lejbnica v chistomu plagiati Z plinom chasu doslidzhennya pidtverdili sho Lejbnic ne zajmavsya plagiatom a navpaki stvoriv nezalezhno vid Nyutona matematichnij analiz Cherez nezgodu storin miritisya z situaciyeyu obmin znannyami mizh matematikami Angliyi i kontinentalnoyi Yevropi zamorozivsya na dovgi roki Hochetsya vidznachiti sho v cij situaciyi najbilshe postrazhdala anglijska storona Matematiki z Angliyi tak i prodovzhuvali analizuvati v geometrichnomu napryamku todi yak matematiki z kontinentalnoyi Yevropi vklyuchayuchi takih gigantiv dumki yak Ya Bernulli 1667 1748 rr Lagranzha i Ejlera zmogli dosyagti nejmovirno visokih rezultativ dotrimuyuchis analitichnogo abo algebrayichnogo pidhodu Suchasna matematikaStvorennya diferencialnogo j integralnogo chislen oznamenuvalo pochatok vishoyi matematiki Metodi matematichnogo analizu na vidminu vid ponyattya mezhi sho lezhit v jogo osnovi viglyadali chitkimi i zrozumilimi Bagato rokiv matematiki u tomu chisli Nyuton i Lejbnic marno namagalisya dati tochne viznachennya ponyattyu mezhi I vse zh nezvazhayuchi na chislenni sumnivi v obgruntovanosti matematichnogo analizu vin znahodiv vse bilsh shiroke zastosuvannya Diferencialne i integralne chislennya stali narizhnimi kamenyami matematichnogo analizu yakij z chasom vklyuchiv v sebe i taki predmeti yak teoriya diferencialnih rivnyan zvichajnih i z chastkovimi pohidnimi neskinchenni ryadi variacijne chislennya diferencialna geometriya i bagato inshogo Stroge viznachennya mezhi vdalosya otrimati lishe v 19 mu stolitti Neevklidova geometriya Do 1800 rokiv matematika lezhala na dvoh kitah a same na chislovij sistemi i evklidovij geometriyi Tak yak bagato vlastivostej chislovoyi sistemi dovodili geometrichno evklidova geometriya bula najbilsh nadijnoyu chastinoyu budivli matematiki Tim ne mensh aksioma pro paralelni pryami mistila tverdzhennya pro pryami sho tyagnutsya u neskinchennist yake ne moglo buti pidtverdzheno dosvidom Navit versiya ciyeyi aksiomi sho nalezhit samomu Evklidu zovsim ne stverdzhuvala sho yakis pryami ne peretnutsya U nij shvidshe formulyuvalasya umova pri yakij voni peretnutsya v deyakij kincevij tochci Matematiki stolittyami namagalisya znajti aksiomi pro paralelni pryami vidpovidnu zaminu Ale v kozhnomu varianti neodminno u kogos buv probil Chest stvorennya neevklidovoyi geometriyi vipala Lobachevskomu M I ta Ya Boyayi kozhen z yakih nezalezhno opublikuvav svij vlasnij originalnij viklad neevklidovoyi geometriyi U yih geometriyah cherez danu tochku mozhna bulo provesti neskinchenno bagato paralelnih pryamih V geometriyi B Rimana cherez tochku poza pryamoyu ne mozhna provesti ni odniyeyi paralelnoyi Pro fizichni dodatki neevklidovoyi geometriyi nihto serjozno ne dumav Ale stvorennya v 1915 roci A Ejnshtejnom zagalnoyi teoriyi vidnosnosti probudilo naukovij svit do usvidomlennya realnosti neevklidovoyi geometriyi Neevklidova geometriya stala najbilsh vrazhayuchim intelektualnim zvershennyam 19 go stolittya Vona yasno prodemonstruvala sho matematiku ne mozhna bilshe rozglyadati yak zvid nezaperechnih istin U krashomu vipadku matematika mogla garantuvati dostovirnist dokaziv na osnovi ne dostovirnih aksiom Prote matematiki nadali zdobuli svobodu doslidzhuvati bud yaki ideyi yaki mogli zdavatisya yim privablivimi Kozhen matematik okremo buv teper vilnij vvoditi svoyi vlasni novi ponyattya i vstanovlyuvati aksiomi na svij rozsud stezhachi lishe za tim shob teoremi yaki vinikayut z aksiom ne superechili odna odnij Grandiozne rozshirennya kola matematichnih doslidzhen v kinci 19 go stolittya po suti stalo naslidkom ciyeyi novoyi svobodi Matematichna strogist Priblizno do 1870 roku matematiki perebuvali v perekonanni sho diyut za viznachennyam drevnih grekiv zastosovuyuchi deduktivni mirkuvannya do matematichnih aksiom tim samim zabezpechuyuchi svoyimi visnovkami ne menshu nadijnist anizh ta yakoyu volodili aksiomi Neevklidova geometriya i kvaternioni algebra v yakij ne vikonuyetsya vlastivist komutativnosti zmusili matematikiv usvidomiti sho te sho voni brali za abstraktni i logichno nesuperechlivi zatverdzhennya v dijsnosti gruntuyetsya na empirichnomu ta pragmatichnomu bazisi Stvorennya neevklidovoyi geometriyi suprovodzhuvalosya takozh usvidomlennyam isnuvannya v evklidovoyi geometriyi logichnih progalin Odnim z nedolikiv evklidovoyi geometriyi bulo vikoristannya pripushen ne sformulovanih v yavnomu viglyadi Mabut Evklid ne piddavav sumnivu ti vlastivosti yakimi volodili jogo geometrichni figuri ale ci vlastivosti ne buli vklyucheni v jogo aksiomi Okrim togo dovodyachi podobu dvoh trikutnikiv Evklid skoristavsya nakladennyam odnogo trikutnika na inshij ne yavno pripuskayuchi sho pri rusi vlastivosti figur ne zminyuyutsya Ale okrim takih logichnih progalin viyavilosya i kilka pomilkovih dokaziv Stvorennya novih algebr sho pochalosya z kvarternionov porodilo analogichni sumnivi i stosovno logichnoyi obgruntovanosti arifmetiki i algebri zvichajnoyi chislovoyi sistemi Vsi ranishe vidomi matematikam chisla mali vlastivistyu komutativnosti tobto ab ba Kvaternioni vchinili perevorot u tradicijnih uyavlennyah pro chisla buli vidkriti v 1843 roci V Gamiltonom Voni viyavilisya korisnimi dlya virishennya cilogo ryadu fizichnih i geometrichnih problem hocha dlya kvaternioniv ne vikonuvalosya vlastivist komutativnosti Kvarternioni zmusili matematikiv usvidomiti sho yaksho ne vvazhati prisvyachenij cilim chislam i dalekoyu vid doskonalosti chastini evklidovih arifmetika i algebra ne mayut vlasnoyi aksiomatichnoyi osnovi Matematiki vilno povodilisya z negativnimi ta kompleksnimi chislami j vikonuvali algebrayichni operaciyi keruyuchis lishe tim sho voni uspishno pracyuyut Logichna strogist postupilasya miscem demonstraciyi praktichnoyi koristi vvedennya sumnivnih ponyat i procedur Majzhe z samogo zarodzhennya matematichnogo analizu neodnorazovo robilisya sprobi pidvesti pid nogo strogi pidstavi Matematichnij analiz vviv dva novih skladnih ponyattya pohidna i viznachenij integral Nad cimi ponyattyami bilisya Nyuton i Lejbnic a takozh matematiki nastupnih pokolin yaki peretvorili diferencialne ta integralne chislennya v matematichnij analiz Odnak nezvazhayuchi na vsi zusillya v ponyattyah mezhi bezperervnosti i diferencijovnosti zalishalosya bagato neyasnogo Krim togo z yasuvalosya sho vlastivosti algebrayichnih funkcij ne mozhna perenesti na vsi inshi funkciyi Majzhe vsi matematiki 18 go stolittya pochatku 19 go stolittya robili zusillya shob znajti strogu osnovu dlya matematichnogo analizu i vsi voni zaznali nevdachi Nareshti v 1821 roci O Koshi vikoristovuyuchi ponyattya chisla pidviv suvoru bazu pid ves matematichnij analiz Odnak piznishe matematiki viyavili u O Koshi logichni probili Bazhana strogist bula nareshti dosyagnuta v 1859 roci K Vejershtrasom K Vejershtrass spochatku vvazhav vlastivosti dijsnih i kompleksnih chisel samoochevidnimi Piznishe vin yak i G Kantor i R Dedekind usvidomiv neobhidnist pobudovi teoriyi irracionalnih chisel Voni dali korektne viznachennya irracionalnih chisel i vstanovili yih vlastivosti odnak vlastivosti racionalnih chisel yak i ranishe vvazhali samoochevidnimi Nareshti logichna struktura teoriyi dijsnih i kompleksnih chisel pridbala svij zakinchenij viglyad v robotah R Dedekinda i Dzh Peano Stvorennya pidstav chislovoyi sistemi dalo zmogu virishiti takozh problemi obgruntuvannya algebri Zavdannya posilennya strogosti formulyuvan evklidovoyi geometriyi bulo porivnyano prostim i zvodilosya do pererahuvannya viznachenih terminiv utochnennya viznachen vvedennya vidsutnih aksiom i zapovnennya progalin u dokazah Ce zavdannya vikonav u 1899 roci D Gilbert Majzhe v toj zhe chas buli zakladeni i osnovi inshih geometrij D Gilbert sformulyuvav koncepciyu formalnoyi aksiomatiki Odna z osoblivostej zaproponovanogo nim pidhodu traktuvannya neviznachenih terminiv pid nimi mozhna mati na uvazi bud yaki ob yekti sho zadovolnyayut aksiomi Naslidkom ciyeyi osoblivosti stala zrostayucha abstraktnist suchasnoyi matematiki Evklidova i neevklidova geometriyi opisuyut fizichnij prostir Ale v topologiyi sho ye uzagalnennyam geometriyi neviznachenij termin tochka mozhe buti vilnij vid geometrichnih asociacij Dlya topologiyi tochkoyu mozhe buti funkciya abo poslidovnist chisel tak samo yak i sho nebud inshe Abstraktnij prostir yavlyaye soboyu bagato takih tochok Aksiomatichnij metod D Gilberta uvijshov majzhe v usi rozdili matematiki 20 go stolittya Odnak nezabarom stalo yasno sho comu metodu pritamanni pevni obmezhennya U 1880 h rokah G Kantor sprobuvav sistematichno klasifikuvati neskinchenni mnozhini napriklad mnozhina vsih racionalnih chisel mnozhina dijsnih chisel i t d shlyahom yih porivnyalnoyi kilkisnoyi ocinki pripisuyuchi yim t zv transfinitni chisla Pri comu vin viyaviv v teoriyi mnozhin protirichchya Takim chinom do pochatku 20 go stolittya matematikam dovelosya mati spravu z problemoyu yih dozvolu a takozh z inshimi problemami pidstav yih nauki takimi yak neyavne vikoristannya t zv aksiomi viboru I vse zh nisho ne moglo zrivnyatisya z rujnivnim vplivom teoremi nepovnoti K Gedelya Cya teorema stverdzhuye sho bud yaka nesuperechliva formalna sistema sho dosit bagata shob utrimuvati teoriyu chisel obov yazkovo mistit nerozv yaznu propoziciyu tobto tverdzhennya yake nemozhlivo ni dovesti ni sprostuvati v yiyi ramkah Teper zagalnoviznano sho absolyutnogo dokazu v matematici ne isnuye Shodo togo sho zh take dokaz dumki rozhodyatsya Odnak bilshist matematikiv shilni vvazhati sho problemi osnov matematiki ye filosofskimi I spravdi zhodna teorema ne zminilasya vnaslidok znovu znajdenih logichno strogih struktur Ce zasvidchuye sho v osnovi matematiki lezhit ne logika a zdorova intuyiciya VisnovokYaksho matematiku vidomu do 1600 mozhna oharakterizuvati yak elementarnu to porivnyano z tim sho bulo stvoreno piznishe cya elementarna matematika neskinchenno mala Rozshirilisya stari galuzi ta z yavilisya novi yak chisti tak i prikladni galuzi matematichnih znan Vihodyat blizko 500 matematichnih zhurnaliv Velichezna kilkist publikovanih rezultativ ne daye zmogi navit fahivcevi oznajomitisya z usim sho vidbuvayetsya v tij galuzi v yakij vin pracyuye ne kazhuchi vzhe pro te sho bagato rezultativ dostupni dlya rozuminnya lishe fahivcyam vuzkogo profilyu Ni odin matematik sogodni ne mozhe spodivatisya znati bilshe vid togo sho vidbuvayetsya v duzhe malenkomu kutochku nauki Dokladnishe Matematika v UkrayiniDiv takozhSad Arhimeda muzej matematiki FlorenciyaPrimitkiBorodin O I Istoriya rozvitku ponyattya pro chislo i sistemi chislennya LiteraturaBiografichnij slovnik diyachiv u galuzi matematiki O I Borodin A S Bugaj K Radyanska shkola 1973 551 s Georgij Voronij gordist ukrayinskoyi matematiki Ignatenko Mikola Yakovich Problemi suchasnoyi pedagogichnoyi osviti zb st RVNZ Krim gumanit un t Yalta b v 2005 Ser Pedagogika i pshologiya Vip 8 S 15 22 Istoriya matematiki Bevz V G Harkiv Osnova 2006 171 s Biblioteka zhurnalu Matematika v shkolah Ukrayini seriya zasnovana v 2003 r vip 2 38 Bibliogr s 166 169 ISBN 9663332867 Istoriya matematiki za starodavnih chasiv i v seredni viki posib dlya vchiteliv ta stud pedvishiv G G Cejten peredm M Vigodskogo per z ros vid B m Radyanska shkola 1936 220 s Istoriya matematiki navch posib Yevgen Krutigolova Drogobic derzh ped un t im Ivana Franka Drogobich Kolo 2001 118 1 s Bibliogr s 119 ISBN 966 7996 12 9 Istoriya matematiki u fahovij pidgotovci majbutnih uchiteliv monografiya V G Bevz Nac ped un t im M P Dragomanova Kiyiv b i 2005 359 1 s Bibliogr s 328 359 ISBN 9666602245 Matematiki dijsni chleni Naukovogo tovaristva imeni Shevchenka Grigorij Voznyak Ternopil oseredok Nauk t va im Shevchenka Ternopil Pidruchniki i posibniki 2006 127 s Bibliogr s 124 125 ISBN 9660705514 Matematichna genealogiya navch posib V K Grigorenko K V Grigorenko Cherkasi Vidavnictvo ChNU im B Hmelnickogo 2013 184 s Matematichna osvita v Ukrayini minule sogodennya majbutnye Mizhnar nauk prakt konf prisvyach 60 j richnici kaf matematiki i metodiki vikladannya matematiki tezi dopovidej Nac ped un t im M P Dragomanova In t fiz mat ta inform osviti i nauki Kaf matematiki i metodiki vikladannya matematiki orgkom konf Andrushenko V P ta in red kom Bevz V G ta in Kiyiv b v 2007 375 s Bibliogr u kinci st ISBN 978 966 660 344 2 Mihajlo Vasilovich Ostrogradskij Naris zhittya ta diyalnosti Vyacheslav Dobrovolskij Kiyiv B v 2001 87 s M Ye Vashenko Zaharchenko ta jogo vpliv na rozvitok Kiyivskoyi matematichnoyi shkoli A V Boyarska Homenko Teoriya ta metodika navchannya ta vihovannya zb nauk pr Hark nac ped un t im G S Skovorodi Harkiv b v 2008 Vip 22 S 10 13 Narisi z istoriyi matematiki navch posib M P Lenyuk Chernivci Prut 2010 359 1 s Bibliogr s 350 358 ISBN 978 966 560 429 461 7 Praktikum z istoriyi matematiki V G Bevz Nac ped un t im M P Dragomanova Kiyiv b i 2004 311 s il Bibliogr s 294 296 ISBN 9666601966 Chotirnadcyata mizhnarodna naukova konferenciya imeni akademika M Kravchuka 19 21 kvitnya 2012 r m Kiyiv materiali konferenciyi Kiyiv nac un t im T Shevchenka Nac ped un t im M P Dragomanova Nac tehn un t Ukrayini Kiyivskij politehnichnij institut Gol orgkom M Zgurovskij K NTUU KPI Ukr ros angl movami ISBN 978 617 696 013 3 T 4 Istoriya ta metodika vikladannya matematiki 2012 299 s 170 pr Bibliogr v kinci st Ukr ros angl movami ISBN 978 617 696 017 1 Matematyka i jej historia W Wieslaw Opole NOWIK 1997 416 s ISBN 83 905456 7 5PosilannyaLiteratura po istorii matematiki 7 sichnya 2017 u Wayback Machine