Seki Takakazu (関 孝和, 1642 – 5. decembar 1708),[1] takođe poznat kao Seki Kōwa (関 孝和),[2] bio je japanski matematičar i autor iz Edo perioda.[3]

Seki Takakazu
Seki Takakazu
Seki Takakazu
Druga imenaSeki Kōwa
Datum rođenja1642(?)
Mesto rođenjaEdo ili Fudžioka
 Japan
Datum smrti5. decembar 1708.(1708-12-05) (66 god.)
Mesto smrtiJapan
PrebivališteJapan
Državljanstvojapansko
Zanimanjematematičar
Delovanjematematika

Seki je položio temelje za kosniji razvoj japanske matematike poznate kao vasan;[2] i bio je opisivan kao „Japanski Njutn”.[4]

On je stvorio novi algebarski notacioni sistem i, motivisan astronomskim proračunima, radio je na infinitezimalnom računu i diofantskim jednačinama. Iako je bio savremenik nemačkog polmata matematičara i filozofa Gotfrida Lajbnica i britanskog matematičara Isaka Njutna, Sekijevo delo je bilo nezavisno. Njegovi naslednici su kasnije razvili školu koja je bila dominantna u japanskoj matematici do kraja Edo perioda.

Iako nije jasno koliko od dostignuća visana je Sekijevo, jer se mnoga od njih pojavljuju samo u spisima njegovih učenika, neki od rezultata su paralelni ili predviđaju one otkrivene u Evropi.[5] Na primer, on je zaslužan za otkriće Bernulijevih brojeva.[6] Rezultata i determinanta (prvo 1683. godine, kompletna verzija najkasnije 1710.) pripisuju se njemu.

Karijera уреди

Kineski matematički koreni уреди

 
Crtež tušem Seki Takakaza, iz arhive klana Išikava.

Njegova matematika (i vasan u celini) bila je zasnovana na matematičkom znanju akumuliranom od 13. do 15. veka.[7] Materijal u ovim radovima činile su algebra sa numeričkim metodama, polinomska interpolacija i njene primene i neodređene celobrojne jednačine. Sekijev rad je manje-više zasnovan i povezan sa ovim poznatim metodama.

Kineski algebraisti su otkrili numeričku procenu (Hornerov metod,[8][9][10] koji je ponovo uspostavio Vilijam Džordž Horner u 19. veku) algebarske jednačine proizvoljnog stepena sa realnim koeficijentima. Koristeći Pitagorinu teoremu, oni su sistematski sveli geometrijske probleme na algebru. Međutim, broj nepoznatih u jednačini bio je prilično ograničen. Koristili su zapise niza brojeva da bi predstavili formulu; na primer,   za  .

Kasnije su razvili metod koji koristi dvodimenzionalne nizove, koji predstavljaju najviše četiri varijable, ali je obim ove metode bio ograničen. Shodno tome, cilj Sekija i njegovih savremenih japanskih matematičara bio je razvoj opštih multivarijabilnih algebarskih jednačina i teorije eliminacije.

U kineskom pristupu polinomskoj interpolaciji, motivacija je bila predviđanje kretanja nebeskih tela iz observacionih podataka. Metoda je primenjena i za pronalaženje različitih matematičkih formula. Seki je ovu tehniku naučio, najverovatnije, kroz pažljivo ispitivanje kineskih kalendara.

Takmičenje se sa savremenicima уреди

 
Replika Hacubi Sanpoa izložena u Nacionalnom muzeju prirode i nauke, Tokio, Japan.

Godine 1671, Savaguči Kazujuki (沢口 一之), učenik Hašimoto Masakazua (橋本 正数) u Osaki, objavio je Kokon Sanpo Ki (古今算法記), u kojem je dao prvi opis kineske algebre u Japanu. Uspešno ga je primenio na probleme koje su mu predlagali savremenici. Pre njega, ovi zadaci su rešavani aritmetičkim metodama. Na kraju knjige, izazvao je druge matematičare sa 15 novih problema, koji zahtevaju algebarske jednačine sa više varijabli.

Seki je 1674. objavio Hacubi Sanpo (発微算法), dajući rešenja za svih 15 problema. Metoda koju je koristio zove se bošo-ho. Uveo je upotrebu kandžija za predstavljanje nepoznatih i promenljivih u jednačinama. Iako je bilo moguće predstaviti jednačine proizvoljnog stepena (jednom je tretirao 1458. stepen) sa negativnim koeficijentima, nije bilo simbola koji odgovaraju zagradi, jednakosti ili deljenju. Na primer,   takođe može značiti  . Kasnije su sistem poboljšali i drugi matematičari, da bi na kraju postao izražajan kao oni koji su se razvili u Evropi.

 
Stranica iz Sekijeve knjige Kacuio Sanpo (1712), sa tabelama binomnih koeficijenata i Bernulijevih brojeva

Međutim, u svojoj knjizi iz 1674. Seki je dao samo jednačine sa jednom promenljivom koje su rezultat eliminacije, ali uopšte nije prikazao proces, niti svoj novi sistem algebarskih simbola. Bilo je nekoliko grešaka u prvom izdanju. Matematičar iz Hašimotoove škole kritikovao je rad, rekavši da su „samo tri od 15 tačna“ rešenja. Godine 1678, Tanaka Zošizane (田中 由真), koji je bio iz Hašimotoove škole i bio je aktivan u Kjotu, napisao je Sanpo Meiki (算法明記) i dao nova rešenja za Savagučijevih 15 problema, koristeći svoju verziju multivarijabilne algebre, slične Sekijovoj. Da bi odgovorio na kritike, 1685, TTakebe Katahiro (建部 賢弘), jedan od Sekijevih učenika, objavio je Hacubi Sanpo Genkaj (発微算法諺解), beleške o Hacubi Sanpo, u kojima je pokazao detalje procesa eliminacije algeeliskih simbola.

Efekat uvođenja nove simbolike nije bio ograničen samo na algebru. Sa njim su matematičari u to vreme postali u stanju da izraze matematičke rezultate na opštiji i apstraktniji način. Oni su se koncentrisali na proučavanje eliminacije varijabli.

Teorija eliminacije уреди

Godine 1683, Seki je nastavio sa teorijom eliminacije, zasnovanom na rezultantama, u Kajfukudai no Ho (解伏題之法). Da bi izrazio rezultantu, razvio je pojam determinante.[11] Dok je u njegovom rukopisu formula za matrice 5×5 očigledno pogrešna, jer je uvek 0, u njegovoj kasnijoj publikaciji, Tajsei Sankei (大成算経), napisanom 1683-1710 sa Katahiro Takebe ((建部 賢弘) i njegovom braćom, pojavljuje se tačna i opšta formula (Laplasova formula za determinantu).

Tanaka je samostalno došao na istu ideju. Indikacija se pojavila u njegovoj knjizi iz 1678: neke od jednačina nakon eliminacije su iste kao rezultanta. U Sanpo Funkaj (算法紛解) (1690?), on je eksplicitno opisao rezultantu i primenio je na nekoliko problema. Godine 1690, Izeki Tomotokii (井関 知辰), matematičar aktivan u Osaki, ali ne i u Hašimotovoj školi, objavio je Sanpo Haki (算法発揮), u kome je dao rezultantu i Laplasovu formulu determinante za slučaj n×n. Odnosi između ovih dela nisu jasni. Seki je svoju matematiku razvio u konkurenciji sa matematičarima u Osaki i Kjotu, u kulturnom centru Japana.

U poređenju sa evropskom matematikom, Sekijev prvi rukopis bio je u vreme Lajbnicovog prvog komentara na ovu temu, koji je tretirao matrice samo do slučaja 3x3. Tema je bila zaboravljena na Zapadu sve dok Gabrijela Kramera nisu doveli isti motivi 1750. godine. Teoriju eliminacije ekvivalentnu vasan formi ponovo je otkrio Etjen Bezu 1764. Laplasova formula je uspostavljena ne ranije od 1750. godine.

Sa teorijom eliminacije u ruci, veliki deo problema tretiranih u Sekijevo vreme postao je u principu rešiv, s obzirom da je kineska tradicija geometrije skoro svedena na algebru. U praksi, metoda bi se mogla osnovati pod ogromnom računskom složenošću. Ipak, ova teorija je imala značajan uticaj na pravac razvoja vasana. Nakon što je eliminacija završena, ostaje da se numerički pronađu pravi koreni jednačine sa jednom promenljivom. Hornerova metoda, iako dobro poznata u Kini, nije preneta u Japan u svom konačnom obliku. Tako da je Seki to morao sam da reši. Ponekad mu se pripisuje Hornerov metod, što istorijski nije tačno. On je takođe predložio poboljšanje Hornerovog metoda: izostavljanje termina višeg reda nakon nekih iteracija. Ova praksa je ista kao kod Njutn-Rafsonove metode, ali sa potpuno drugom perspektivom. Ni on, ni njegovi učenici nisu imali, striktno govoreći, ideju derivata.

Seki je takođe proučavao svojstva algebarskih jednačina za pomoć u numeričkom rešavanju. Najznačajniji od njih su uslovi za postojanje višestrukih korena na osnovu diskriminanti, što je rezultanta polinoma i njegovog „derivata“: Njegova radna definicija „derivacije“ bila je O(h) -termin u f(x + h), koji je izračunat binomnom teoremom.[12][13][14]

On je dobio izvesne procene broja realnih korena polinomske jednačine.

Izabrani radovi уреди

U statističkom pregledu koji je proizveden iz radova Sekija Takakazua i o njemu, OCLC/WorldCat obuhvata oko 50+ radova u 50+ publikacija na tri jezika i 100+ bibliotečkih fondova.[15]

Reference уреди

  1. ^ Selin, Helaine. (1997). Encyclopaedia of the History of Science, Technology, and Medicine in Non-Western Cultures, p. 890
  2. ^ а б Selin, p. 641., стр. 641, на сајту Гугл књиге
  3. ^ Smith, David. (1914) A History of Japanese Mathematics, pp. 91-127. , стр. 91, на сајту Гугл књиге
  4. ^ Restivo, Sal P. (1992). Mathematics in Society and History: Sociological Inquiries, p. 56. , стр. 56, на сајту Гугл књиге
  5. ^ Smith, pp. 128-142. , стр. 128, на сајту Гугл књиге
  6. ^ Poole, David. (2005). Linear algebra: a Modern Introduction, p. 279. , стр. 279, на сајту Гугл књиге; Selin, стр. 891.
  7. ^ 和算の開祖 関孝和 ("Seki Takakazu, founder of Japanese mathematics"), Otonanokagaku. June 25, 2008. Seki was greatly influenced by Chinese mathematical books Introduction to Computational Studies (1299) by Zhu Shijie and Yang Hui suan fa (1274-75) by Yang Hui. (とくに大きな影響を受けたのは、中国から伝わった数学書『算学啓蒙』(1299年)と『楊輝算法』(1274-75年)だった。)
  8. ^ Cajori, Florian (1911). „Horner's method of approximation anticipated by Ruffini”. Bulletin of the American Mathematical Society. 17 (8): 409—414. doi:10.1090/s0002-9904-1911-02072-9 . 
  9. ^ Cormen, Thomas H.; Leiserson, Charles E.; Rivest, Ronald L.; Stein10.1016/0315-0860(81)90069-0, Clifford (2009). „Introduction to Algorithms”. Historia Mathematica (3rd изд.). MIT Press. 8 (3): 277—318. doi:10.1016/0315-0860(81)90069-0 . 
  10. ^ Fateman, R. J.; Kahan, W. (2000). Improving exact integrals from symbolic algebra systems (PDF) (Извештај). PAM. University of California, Berkeley: Center for Pure and Applied Mathematics. Архивирано из оригинала (PDF) 2017-08-14. г. Приступљено 2018-05-17. 
  11. ^ Eves, Howard. (1990). An Introduction to the History of Mathematics, p. 405.
  12. ^ Weisstein, Eric W. „Binomial Theorem”. Wolfram MathWorld. 
  13. ^ Coolidge, J. L. (1949). „The Story of the Binomial Theorem”. The American Mathematical Monthly. 56 (3): 147—157. JSTOR 2305028. doi:10.2307/2305028. 
  14. ^ Bourbaki, N. (18. 11. 1998). Elements of the History of Mathematics Paperback . J. Meldrum (Translator). ISBN 978-3-540-64767-6. 
  15. ^ WorldCat Identities: 関孝和 ca. 1642-1708

Literatura уреди

Spoljašnje veze уреди