ビジュアライゼーションと数学 〜 すうがくむかしばなし 負の数・複素数編 〜 オープンセミナー2022@広島 2022/06/25(土) #OSH2022
ϏδϡΞϥΠθʔγϣϯͱֶΦʔϓϯηϛφʔ2022@ౡ 2022/06/25() 㝳๏ (͖͍ͨͩΏ͖ͷΓ)ʙ͢͏͕͘Ή͔͠ͳ͠ෛͷɾෳૉฤʙ
View Slide
ࣗݾհ
͋Μͨ͊୭ͳΜ?• 㝳๏ (͖͍ͨͩΏ͖ͷΓ)• (ʮ๏ʯΛԻಡΈͯ͠) ʹΐ΄͏, Nyoho• ༵ϓϩάϥϚ• ֶ (ౡେֶେֶӃਓؒࣾձՊֶݚڀՊ)• ϋΠύɾϝσΟΞɾτϥϯεϨʔλ• ౡหਧ͖ସ͑γϦʔζ
ݕࡧৄ͘͠iPad ౡห
ʮ͜Μͳײ͡ͷ͕ग़͖ͯ·͢ɻʯ
ݕࡧ࠷ۙ؟ڸࢢ ౡݶఆCM
ౡΧʔϓಊྛᠳଠબख
ࠓ:ϏδϡΞϥΠθʔγϣϯͱֶ
ಥવͰ͕͢
ݟ͑ΔΑ͏ʹ͢Δ͜ͱ = ՄࢹԽ= visualization
Visualization• visual (ϏδϡΞϧ, ܗ༰ࢺ) ʹݟ͑Δɺࢹ֮ͷ• visualize (ϏδϡΞϥΠζ, ಈࢺ) ʹݟ͑ΔΑ͏ʹ͢Δɺࢹ֮Խ͢Δ• visualization (ϏδϡΞϥΠθʔγϣϯ, ໊ࢺ) ʹݟ͑ΔΑ͏ʹ͢Δ͜ͱ
visualization
visualization/vìʒuəlaizéiʃən/[ͼ͡Ύ͋Β͍͍ͥ͠ΐΜ]
ՄࢹԽ
ࠓճ୯ͳΔϏδϡΞϥΠθʔγϣϯͰͳ͘
ֶͱϏδϡΞϥΠθʔγϣϯͱͷ
ͷࢢຽݖ֫ಘͱϏδϡΞϥΠθʔγϣϯ
ෛͷෳૉຊͷϝχϡʔ
ϏδϡΞϥΠθʔγϣϯͱෛͷ
ෛͷ• ํఔࣜͷʮʯͱͯ͠ʮղʯͱͯ͠ͳ͔ͳ͔ड͚ೖΕΒΕͳ͔ͬͨɻ• ܭࢉํ๏ΒΕ͍ͯͨͷʹɻ
ෛͷͷܭࢉ• ݱͰɺ;ͱʮͯʯͱࢥ͏͜ͱɻ• (࣮͜͜໘ന͍ (ࠓলུ))( 1) ( 1) = +1
3ੈل͝Ζ Τδϓτ• σΟΦϑΝϯτε 200–284• ਖ਼ͷ༗ཧͷΈΛղͱͯ͠ೝΊΔɻ• ଞࣺͯΔɻ
7ੈلɾ12ੈل Πϯυ• 7ੈل• ਖ਼ͷΛࢿ࢈ɺෛͷΛआۚΛද͢ͷʹ͏ɻ• (आۚʹΘΕ͍ͯͨ!)• 12ੈل όʔεΧϥ• ਖ਼ͷͷฏํࠜʹϓϥεϚΠφε྆ํ͋Δͱؾ͘• ʮෛͷͷղෆదɻղͱͯ͠࠾͞Εͳ͍ɻਓʑෛͷͷղΛೝΊͳ͍ɻʯ
9ੈل Ξϥϒ• Πϯυֶͷෛͷͷԋࢉنଇਫ਼௨͍ͯͨ͠ɻ• ͔͠͠ɺෛͷΛड͚ೖΕͳ͔ͬͨɻ
17ੈل σΧϧτRené Descartes (1596—1650)• ҼఆཧͰଟ߲ࣜͷ࣍ΛԼ͛ΔͨΊʹෛͷղར༻• ͔͠͠ෛͷͷղ false root (ؒҧͬͨղ) ͱ͢Δ
17ੈل ύεΧϧBlaise Pascal (1623—1662)• ʮ0 ͔Β 4 ΛҾ͘ͳΜͯφϯηϯεͩʯ0 4 = 4
Ξʔϊϧυ(ύεΧϧͷ༑ୡ)• ʮൺʯΛߟ͑ͯΈΔͱ• ʮେ͖͍ : খ͍͞ʯͱ͍͏ൺͱʮখ͍͞ : େ͖͍ʯͱ͍͏ൺ͕͍͠ͳΜ͓͔͍ͯ͠ by ύεΧϧ1 : 1 = 1 : 1
ͳ͔ͳ͔ղͱͯ͠ೝΊΒΕͳ͍
ͦΜͳத……
16ੈل εςϏϯSimon Stevin (1548–1620)• ෛͷͱͯ͠͏• ෛͷͷղड͚ೖΕΔ• ʮฏํࠜɺແཧɺෛͷͳͲͯ͢ʮʯͱͯ۠͠ผͤͣѻΘΕΔ͖ʯ
17ੈل δϥʔϧAlbert Girard (1595 — 1632)• ෛͷʮޙΖʹΔ͜ͱʯΛද͢ɻ• ʮϓϥεه߸Ͱલਐ͢Δͱ͖ɺϚΠφεه߸ͰΔɻʯ• ෛͷͷزԿֶతͳղऍ• ͭ·ΓෛͷͷϏδϡΞϥΠθʔγϣϯ
δϥʔϧ• ͨͿΜ͜͏ݴͬͨΜ͡Όͳ͍͔ܶ
͔ͦ͠͠ͷޙ
19ੈل υŋϞϧΨϯAugustus De Morgan (1806–1871)• ͕56ࡀɺଉࢠ29ࡀɻԿޙʹ2ഒʹ?• (2લ!)• υŋϞϧΨϯʮෆ߹ཧͩ!ʯ56 + x = 2(29 + x)x = 2
19ੈل υŋϞϧΨϯ• ͕56ࡀɺଉࢠ29ࡀɻԿલʹ2ഒʹ?• υŋϞϧΨϯʮ͜ΕͳΒOKʯ56 x = 2(29 x)x = 2
17ੈل δϥʔϧAlbert Girard (1595 — 1632)• ෛͷʮޙΖʹΔ͜ͱʯΛද͢• ෛͷͷزԿֶతͳղऍ• ͭ·ΓෛͷͷϏδϡΞϥΠθʔγϣϯ
ϏδϡΞϥΠθʔγϣϯͱෳૉ
ෳૉͱ?
ෳૉi2 = 1iڏ୯Ґx2 = 1 (x2 + 1 = 0) ͷղΛ࣮ʹ͚Ճ͑ͨମܥi
2ͯ͠ϚΠφε1??• Ͳ͏͓͔͠ͳͩͳɻ• ͜ͷੈͷͷͰͳ͍ͳɻ• ͦΜͳߟ͍͍͑ͯͷ?• ͦΜͳʮ͋Δʯͷ?• Ͳ͜ʹ͋Δͷ?• ܭࢉͰ͖Δ͚Ͳ…i2 = 1
ΞϧΨϯJean Robert Argand (1768 — 1822)• ͜ͷෳૉͷҧײΛݟࣄʹ১ɻ• ͦΕ·ͰͳΜ͔Α͘Θ͔Βͳ͍ԾతͳͩͱࢥΘΕ͍ͯͨෳૉ͕ҰؾʹΘΕΔΑ͏ʹͳΔͷʹଟେͳӨڹΛ༩͑ͨɻ• ΞϧΨϯਤ (Argand diagram)
ΞϧΨϯਤArgand diagram• ෳૉͷϏδϡΞϥΠθʔγϣϯ
( 1)※ ͜͜Ξχϝʔγϣϯ͍ͯͨ͠ɻ
( 1) ( 1)=1ͱ͍͏͜ͱʮϚΠφεഒʯͬͯճసͬͯ͜ͱͳΜ͡Όʜ※ ͜͜Ξχϝʔγϣϯ͍ͯͨ͠ɻ
͡Ό͋iഒͬͯʜ·͔͞ʜ( 1)=i2※ ͜͜Ξχϝʔγϣϯ͍ͯͨ͠ɻ
i͟Θɾɾɾ͟Θɾɾɾ͟Θɾɾɾ͟Θɾɾɾ͡Ό͋iഒͬͯʜ·͔͞ʜ※ ͜͜Ξχϝʔγϣϯ͍ͯͨ͠ɻ
i i= 1͡Ό͋iഒͬͯʜ·͔͞ʜ※ ͜͜Ξχϝʔγϣϯ͍ͯͨ͠ɻ
i ഒ = 90ճస
ࠓͷ·ͱΊ• ֶͷ֓೦ͷϏδϡΞϥΠθʔγϣϯ• ֓೦͕ड͚ೖΕΒΕΔ͔ɺࢢຽݖΛಘΔ͔• ७ਮͳֶͷੈքͰ͢Βɺ֓೦͕ʮड͚ೖΕΒΕΔʯ͜ͱʹϏδϡΞϥΠθʔγϣϯɺՄࢹԽ͕ॏཁɻ• ʮΘ͔ͬͨؾ͕͢ΔʯʮΘ͔ΔʯͱԿ͔• ֶͬͯʮཧతʹਖ਼͍͠ʯ͚ͩͰͳ͍• ͕͕ͪͪͷཧͰͳֶ͍ͷ࢟
ࢀߟจݙ• ଜढ़Ұ, ʰఱ࠽ֶऀ͜͏ղ͍ͨɺ͜͏ੜ͖ͨʱ, ߨஊࣾબॻϝνΤ, 2001• Morris Kline, Mathematical Thoughtfrom Ancient to Modern Times, Vol.1, Oxford University Press, 1990.• The MacTutor History ofMathematics archive, http://www-history.mcs.st-andrews.ac.uk/
͋Γ͕ͱ͏͍͟͝·ͨ͠ʔ