Секи Такаказу
Секи Такаказу | |
---|---|
Друга имена | Секи Кōwа |
Датум рођења | 1642(?) |
Место рођења | Едо или Фуџиока Јапан |
Датум смрти | 5. децембар 1708. (66 год.) |
Место смрти | Јапан |
Пребивалиште | Јапан |
Држављанство | јапанско |
Занимање | математичар |
Деловање | математика |
Секи Такаказу (関 孝和, 1642 – 5. децембар 1708),[1] такође познат као Секи Кōwа (関 孝和),[2] био је јапански математичар и аутор из Едо периода.[3]
Секи је положио темеље за коснији развој јапанске математике познате као vasan;[2] и био је описиван као „Јапански Њутн”.[4]
Он је створио нови алгебарски нотациони систем и, мотивисан астрономским прорачунима, радио је на инфинитезималном рачуну и диофантским једначинама. Иако је био савременик немачког полмата математичара и филозофа Готфрида Лајбница и британског математичара Исака Њутна, Секијево дело је било независно. Његови наследници су касније развили школу која је била доминантна у јапанској математици до краја Едо периода.
Иако није јасно колико од достигнућа висана је Секијево, јер се многа од њих појављују само у списима његових ученика, неки од резултата су паралелни или предвиђају оне откривене у Европи.[5] На пример, он је заслужан за откриће Бернулијевих бројева.[6] Резултата и детерминанта (прво 1683. године, комплетна верзија најкасније 1710.) приписују се њему.
Каријера
[уреди | уреди извор]Кинески математички корени
[уреди | уреди извор]Његова математика (и васан у целини) била је заснована на математичком знању акумулираном од 13. до 15. века.[7] Материјал у овим радовима чиниле су алгебра са нумеричким методама, полиномска интерполација и њене примене и неодређене целобројне једначине. Секијев рад је мање-више заснован и повезан са овим познатим методама.
Кинески алгебраисти су открили нумеричку процену (Хорнеров метод,[8][9][10] који је поново успоставио Вилијам Џорџ Хорнер у 19. веку) алгебарске једначине произвољног степена са реалним коефицијентима. Користећи Питагорину теорему, они су систематски свели геометријске проблеме на алгебру. Међутим, број непознатих у једначини био је прилично ограничен. Користили су записе низа бројева да би представили формулу; на пример, за .
Касније су развили метод који користи дводимензионалне низове, који представљају највише четири варијабле, али је обим ове методе био ограничен. Сходно томе, циљ Секија и његових савремених јапанских математичара био је развој општих мултиваријабилних алгебарских једначина и теорије елиминације.
У кинеском приступу полиномској интерполацији, мотивација је била предвиђање кретања небеских тела из обсервационих података. Метода је примењена и за проналажење различитих математичких формула. Секи је ову технику научио, највероватније, кроз пажљиво испитивање кинеских календара.
Такмичење се са савременицима
[уреди | уреди извор]Године 1671, Савагучи Казујуки (沢口 一之), ученик Хашимото Масаказуа (橋本 正数) у Осаки, објавио је Кокон Санпо Ки (古今算法記), у којем је дао први опис кинеске алгебре у Јапану. Успешно га је применио на проблеме које су му предлагали савременици. Пре њега, ови задаци су решавани аритметичким методама. На крају књиге, изазвао је друге математичаре са 15 нових проблема, који захтевају алгебарске једначине са више варијабли.
Секи је 1674. објавио Хацуби Санпо (発微算法), дајући решења за свих 15 проблема. Метода коју је користио зове се бошо-хо. Увео је употребу канџија за представљање непознатих и променљивих у једначинама. Иако је било могуће представити једначине произвољног степена (једном је третирао 1458. степен) са негативним коефицијентима, није било симбола који одговарају загради, једнакости или дељењу. На пример, такође може значити . Касније су систем побољшали и други математичари, да би на крају постао изражајан као они који су се развили у Европи.
Међутим, у својој књизи из 1674. Секи је дао само једначине са једном променљивом које су резултат елиминације, али уопште није приказао процес, нити свој нови систем алгебарских симбола. Било је неколико грешака у првом издању. Математичар из Хашимотоове школе критиковао је рад, рекавши да су „само три од 15 тачна“ решења. Године 1678, Танака Зошизане (田中 由真), који је био из Хашимотоове школе и био је активан у Кјоту, написао је Санпо Меики (算法明記) и дао нова решења за Савагучијевих 15 проблема, користећи своју верзију мултиваријабилне алгебре, сличне Секијовој. Да би одговорио на критике, 1685, ТТакебе Катахиро (建部 賢弘), један од Секијевих ученика, објавио је Хацуби Санпо Генкај (発微算法諺解), белешке о Хацуби Санпо, у којима је показао детаље процеса елиминације алгеелиских симбола.
Ефекат увођења нове симболике није био ограничен само на алгебру. Са њим су математичари у то време постали у стању да изразе математичке резултате на општији и апстрактнији начин. Они су се концентрисали на проучавање елиминације варијабли.
Теорија елиминације
[уреди | уреди извор]Године 1683, Секи је наставио са теоријом елиминације, заснованом на резултантама, у Кајфукудаи но Хо (解伏題之法). Да би изразио резултанту, развио је појам детерминанте.[11] Док је у његовом рукопису формула за матрице 5×5 очигледно погрешна, јер је увек 0, у његовој каснијој публикацији, Тајсеи Санкеи (大成算経), написаном 1683-1710 са Катахиро Такебе ((建部 賢弘) и његовом браћом, појављује се тачна и општа формула (Лапласова формула за детерминанту).
Танака је самостално дошао на исту идеју. Индикација се појавила у његовој књизи из 1678: неке од једначина након елиминације су исте као резултанта. У Санпо Функај (算法紛解) (1690?), он је експлицитно описао резултанту и применио је на неколико проблема. Године 1690, Изеки Томотокии (井関 知辰), математичар активан у Осаки, али не и у Хашимотовој школи, објавио је Санпо Хаки (算法発揮), у коме је дао резултанту и Лапласову формулу детерминанте за случај н×н. Односи између ових дела нису јасни. Секи је своју математику развио у конкуренцији са математичарима у Осаки и Кјоту, у културном центру Јапана.
У поређењу са европском математиком, Секијев први рукопис био је у време Лајбницовог првог коментара на ову тему, који је третирао матрице само до случаја 3x3. Тема је била заборављена на Западу све док Габријела Крамера нису довели исти мотиви 1750. године. Теорију елиминације еквивалентну васан форми поново је открио Етјен Безу 1764. Лапласова формула је успостављена не раније од 1750. године.
Са теоријом елиминације у руци, велики део проблема третираних у Секијево време постао је у принципу решив, с обзиром да је кинеска традиција геометрије скоро сведена на алгебру. У пракси, метода би се могла основати под огромном рачунском сложеношћу. Ипак, ова теорија је имала значајан утицај на правац развоја васана. Након што је елиминација завршена, остаје да се нумерички пронађу прави корени једначине са једном променљивом. Хорнерова метода, иако добро позната у Кини, није пренета у Јапан у свом коначном облику. Тако да је Секи то морао сам да реши. Понекад му се приписује Хорнеров метод, што историјски није тачно. Он је такође предложио побољшање Хорнеровог метода: изостављање термина вишег реда након неких итерација. Ова пракса је иста као код Њутн-Рафсонове методе, али са потпуно другом перспективом. Ни он, ни његови ученици нису имали, стриктно говорећи, идеју деривата.
Секи је такође проучавао својства алгебарских једначина за помоћ у нумеричком решавању. Најзначајнији од њих су услови за постојање вишеструких корена на основу дискриминанти, што је резултанта полинома и његовог „деривата“: Његова радна дефиниција „деривације“ била је О(х) -термин у ф(x + х), који је израчунат биномном теоремом.[12][13][14]
Он је добио извесне процене броја реалних корена полиномске једначине.
Изабрани радови
[уреди | уреди извор]У статистичком прегледу који је произведен из радова Секија Такаказуа и о њему, ОЦЛЦ/WорлдЦат обухвата око 50+ радова у 50+ публикација на три језика и 100+ библиотечких фондова.[15]
Референце
[уреди | уреди извор]- ^ Селин, Хелаине (1997). Енцyцлопаедиа оф тхе Хисторy оф Сциенце, Тецхнологy, анд Медицине ин Нон-Wестерн Цултурес. стр. 890.
- ^ а б Селин, Селин, Хелаине (31. 7. 1997). п. 641. Спрингер. стр. 641. ИСБН 978-0-7923-4066-9.
- ^ Смитх, Давид. Смитх, Давид Еугене; Миками, Yосхио (1914). А Хисторy оф Јапанесе Матхематицс, пп. 91-127. стр. 91.
- ^ Рестиво, Сал П. Рестиво, Сал П. (1992). Матхематицс ин Социетy анд Хисторy: Социологицал Инqуириес, п. 56. Спрингер. стр. 56. ИСБН 978-0-7923-1765-4.
- ^ Смитх, Смитх, Давид Еугене; Миками, Yосхио (1914). пп. 128-142. стр. 128.
- ^ Пооле, Давид. Пооле, Давид (2005). Линеар алгебра: а Модерн Интродуцтион, п. 279. Тхомсон Броокс/Цоле. стр. 279. ИСБН 978-0-534-99845-5.; Селин, стр. 891 .
- ^ 和算の開祖 関孝和 ("Секи Такаказу, фоундер оф Јапанесе матхематицс"), Отонанокагаку. Јуне 25, 2008. Секи wас греатлy инфлуенцед бy Цхинесе матхематицал боокс Интродуцтион то Цомпутатионал Студиес (1299) бy Зху Схијие анд Yанг Хуи суан фа (1274-75) бy Yанг Хуи. (とくに大きな影響を受けたのは、中国から伝わった数学書『算学啓蒙』(1299年)と『楊輝算法』(1274-75年)だった。)
- ^ Цајори, Флориан (1911). „Хорнер'с метход оф аппроxиматион антиципатед бy Руффини”. Буллетин оф тхе Америцан Матхематицал Социетy. 17 (8): 409—414. дои:10.1090/с0002-9904-1911-02072-9 .
- ^ Цормен, Тхомас Х.; Леисерсон, Цхарлес Е.; Ривест, Роналд L.; Стеин10.1016/0315-0860(81)90069-0, Цлиффорд (2009). „Интродуцтион то Алгоритхмс”. Хисториа Матхематица (3рд изд.). МИТ Пресс. 8 (3): 277—318. дои:10.1016/0315-0860(81)90069-0 .
- ^ Фатеман, Р. Ј.; Кахан, W. (2000). Импровинг еxацт интегралс фром сyмболиц алгебра сyстемс (ПДФ) (Извештај). ПАМ. Университy оф Цалифорниа, Беркелеy: Центер фор Пуре анд Апплиед Матхематицс. Архивирано из оригинала (ПДФ) 2017-08-14. г. Приступљено 2018-05-17.
- ^ Евес, Хоwард. . Евес, Хоwард (1990). Ан Интродуцтион то тхе Хисторy оф Матхематицс. Саундерс Цоллеге Пуб. ИСБН 978-0-03-029558-4.
- ^ Wеисстеин, Ериц W. „Биномиал Тхеорем”. Wолфрам МатхWорлд.
- ^ Цоолидге, Ј. L. (1949). „Тхе Сторy оф тхе Биномиал Тхеорем”. Тхе Америцан Матхематицал Монтхлy. 56 (3): 147—157. ЈСТОР 2305028. дои:10.2307/2305028.
- ^ Боурбаки, Н. (18. 11. 1998). Елементс оф тхе Хисторy оф Матхематицс Папербацк. Ј. Мелдрум (Транслатор). ИСБН 978-3-540-64767-6.
- ^ WорлдЦат Идентитиес: 関孝和 ца. 1642-1708
Литература
[уреди | уреди извор]- Ендō Тосхисада (1896). Хисторy оф матхематицс ин Јапан (日本數學史史 Даи Нихон сūгакусх). Тōкyō: _____. ОЦЛЦ 122770600
- Хориуцхи, Анницк. (1994). Парис: Либраирие Пхилосопхиqуе Ј. Врин. Хориуцхи, Анницк (1994). Лес Матхематиqуес Јапонаисес а L'Епоqуе д'Едо (1600–1868): Уне Етуде дес Травауx де Секи Такаказу (?-1708) ет де Такебе Катахиро (1664–1739).. ИСБН 9782711612130. ОЦЛЦ 318334322.
- Хоwард Wхитлеy, Евес. (1990). Пхиладелпхиа: Саундерс. Евес, Хоwард (1990). Ан Интродуцтион то тхе Хисторy оф Матхематицс.. Саундерс Цоллеге Пуб. ИСБН 9780030295584. ОЦЛЦ 20842510.
- Пооле, Давид. (2005). Белмонт, Цалифорниа: Тхомсон Броокс/Цоле. Пооле, Давид (2005). Линеар алгебра: а Модерн Интродуцтион.. Тхомсон Броокс/Цоле. ИСБН 9780534998455. ОЦЛЦ 67379937.
- Рестиво, Сал П. (1992). Дордрецхт: Клуwер Ацадемиц Публисхерс. Рестиво, Сал П. (30. 11. 1992). Матхематицс ин Социетy анд Хисторy: Социологицал Инqуириес.. Спрингер. ИСБН 9780792317654. ОЦЛЦ 25709270.
- Сато, Кеницхи. (2005). Кинсеи Нихон Суугакусхи -Секи Такаказу но јитсузоу wо мотомете. Токyо: Университy оф Токyо Пресс. ИСБН 4-13-061355-3.
- Селин, Хелаине. (1997). Дордрецхт: Клуwер/Спрингер. Селин, Хелаине (31. 7. 1997). Енцyцлопаедиа оф тхе Хисторy оф Сциенце, Тецхнологy, анд Медицине ин Нон-Wестерн Цултурес.. Спрингер. ИСБН 9780792340669. ОЦЛЦ 186451909.
- Давид Еугене Смитх анд Yосхио Миками. . Смитх, Давид Еугене; Миками, Yосхио (1914). А Хисторy оф Јапанесе Матхематицс. ОЦЛЦ 1515528. Цхицаго: Опен Цоурт Публисхинг. Алтернате онлине, фулл-теxт цопy ат арцхиве.орг
Спољашње везе
[уреди | уреди извор]- Sugaku-bunka
- О'Цоннор, Јохн Ј.; Робертсон, Едмунд Ф. „Такаказу Схинсуке Секи”. МацТутор Хисторy оф Матхематицс арцхиве. Университy оф Ст Андреwс.