0:00:01.062,0:00:03.636
これはルネ・デカルトの写真だ。

0:00:03.636,0:00:05.698
知っての通り、数学と哲学の分野で

0:00:05.698,0:00:07.554
すごい発見をした人なんだ。

0:00:07.554,0:00:09.923
優れた哲学者が優れた数学者でもある

0:00:09.923,0:00:13.190
ってことは結構多いのかもね。

0:00:13.190,0:00:15.200
逆も然りかな。

0:00:15.200,0:00:17.021
彼はガリレオと同じくらいの時代に生まれた。

0:00:17.021,0:00:18.733
デカルトのほうが32歳若かったけど、

0:00:18.733,0:00:21.706
ガリレオが亡くなってすぐ、デカルトも亡くなってしまった。

0:00:21.706,0:00:23.467
こいつは短命だった、

0:00:23.467,0:00:25.400
ガリレオは70代までピンピンしてたのに、

0:00:25.400,0:00:28.067
デカルトが亡くなったのは わずか54歳の時だ。

0:00:28.067,0:00:30.867
彼の有名な言葉を

0:00:30.867,0:00:32.733
ここに書いてみたよ。

0:00:32.733,0:00:33.800
哲学的な名言だね。

0:00:33.800,0:00:35.867
「我思う。故に我あり。」

0:00:35.867,0:00:37.467
それから、こっちも一緒に紹介したい。

0:00:37.467,0:00:38.867
代数学とは関係ないんだけど、

0:00:38.867,0:00:40.733
すごく良い言葉だと思うから紹介するね。

0:00:40.733,0:00:42.800
全く有名でない言葉だけど、

0:00:42.800,0:00:44.467
ここに書いてみた。

0:00:44.467,0:00:46.800
この言葉がお気に入りな理由は、すごく実用的で、

0:00:46.800,0:00:48.852
こういう精神が 哲学や数学を支える柱であることを

0:00:48.852,0:00:51.113
気づかせてくれるからなんだ。

0:00:51.113,0:00:52.282
時代に関わらず、

0:00:52.282,0:00:54.467
人間に必要な精神だと思う。

0:00:54.467,0:00:56.498
その言葉とは、「進み続けよ。

0:00:56.498,0:00:58.133
進み続けよ。

0:00:58.133,0:01:00.015
私はある限りの失敗を全て経験したが

0:01:00.015,0:01:02.031
それでも進み続けた。」

0:01:02.031,0:01:05.267
すごく良い人生のアドバイスだと思うんだ。

0:01:05.267,0:01:07.733
さて、彼は哲学と数学の分野で

0:01:07.733,0:01:09.077
すごく沢山の発見をしたわけだ。

0:01:09.077,0:01:11.062
特に代数学の基礎を築いた人として

0:01:11.062,0:01:12.933
紹介される理由は、

0:01:12.933,0:01:15.600
代数学と幾何学の間に

0:01:15.600,0:01:18.800
とても強い結びつきを見出せたのは

0:01:18.800,0:01:21.425
彼のおかげだからなんだ。

0:01:21.425,0:01:22.898
さて スペースの左側を使って、

0:01:22.898,0:01:24.752
代数学について書こう。

0:01:24.752,0:01:26.415
前にも少し聞いたと思う。

0:01:26.415,0:01:28.477
記号を使った数式があって、

0:01:28.477,0:01:30.236
記号は基本的に

0:01:30.236,0:01:31.933
様々な値をとる。

0:01:31.933,0:01:32.800
例えば

0:01:32.800,0:01:37.677
y = 2x - 1 という式は

0:01:37.677,0:01:39.267
様々な値 x と

0:01:39.267,0:01:40.733
y の

0:01:40.733,0:01:42.133
関係を表す。

0:01:42.133,0:01:44.333
これを元に表を書いてみよう。

0:01:44.333,0:01:46.733
x の値を好きに選んで、

0:01:46.733,0:01:48.292
y の値がどうなるかを見てみるよ。

0:01:48.292,0:01:51.652
選ぶ x の値は何でも良い。

0:01:51.652,0:01:53.133
それから y の値を求めよう。

0:01:53.133,0:01:55.000
でも計算があんまり複雑になると困るから、

0:01:55.000,0:01:57.662
比較的シンプルな値を選ぶよ。

0:01:57.662,0:01:59.252
それじゃあ 例えば

0:01:59.252,0:02:00.533
x が -2 の時、

0:02:00.533,0:02:03.600
y は 2 × (-2) - 1 となる。

0:02:03.600,0:02:06.513
「 2 × (-2) - 1 、」と。

0:02:06.513,0:02:10.113
- 4 - 1 になって

0:02:10.113,0:02:12.267
結果は -5 だ。

0:02:12.267,0:02:14.785
x が -1 の時、

0:02:14.785,0:02:20.452
y は 2 × (-1) - 1 となり、

0:02:20.452,0:02:21.733
計算すると

0:02:21.733,0:02:24.554
-2 -1 で、 -3 になる。

0:02:24.554,0:02:28.725
x が 0 の時、

0:02:28.725,0:02:32.590
y は 2 × 0 - 1 となり

0:02:32.600,0:02:35.667
2 × 0 は 0 で, 1 を引いて -1 だ。

0:02:35.667,0:02:37.333
もう2つだけやってみるよ。

0:02:37.333,0:02:38.282
x が 1 の時ーー

0:02:38.282,0:02:39.421
別に x は何でも良くて、

0:02:39.421,0:02:40.352
x が -√2 だろうと

0:02:40.352,0:02:42.005
x が -5/2 だろうと

0:02:42.005,0:02:45.067
x が +6/7 だろうと

0:02:45.067,0:02:47.867
y は計算できるんだけど、

0:02:47.867,0:02:49.000
y の計算を

0:02:49.000,0:02:50.600
簡単にするために

0:02:50.600,0:02:52.600
こういう値を x として選んでいるよ。

0:02:52.600,0:02:54.133
さて x が 1 の時、

0:02:54.133,0:02:57.338
y は 2(1) - 1 で

0:02:57.338,0:02:59.733
2×1 は 2, 1を引いて 1 だ。

0:02:59.733,0:03:03.052
次で最後だ。

0:03:03.052,0:03:05.133
他と違う色に変えよう。

0:03:05.133,0:03:06.667
紫色が良いかな。

0:03:06.667,0:03:08.041
x が 2 の時、

0:03:08.041,0:03:09.333
y は

0:03:09.333,0:03:14.005
2(2) - 1 になって

0:03:14.005,0:03:16.615
イコール 4-1, 結果は 3 だ。

0:03:16.615,0:03:17.800
これで十分かな。

0:03:17.800,0:03:19.548
これは x と y の関係性のごく一部だけど、

0:03:19.548,0:03:22.533
これだけあれば 関係性の全体像が

0:03:22.533,0:03:25.200
見えてくるね。

0:03:25.200,0:03:26.908
これは x と y の具体的な例だ。

0:03:26.908,0:03:28.000
でも表で表せる値の組は

0:03:28.000,0:03:29.882
ごく一部にすぎない。

0:03:29.882,0:03:31.200
あらゆる x に対して

0:03:31.200,0:03:33.800
y の値を知るにはどうすれば良い？

0:03:33.800,0:03:35.698
デカルトは、これを

0:03:35.717,0:03:37.467
絵で表せると気付いたんだ。

0:03:37.467,0:03:40.405
1つ1つ点を書いていくと、

0:03:40.405,0:03:42.667
関係性を表す絵ができて、

0:03:42.667,0:03:45.800
視覚的に理解できる。

0:03:45.800,0:03:47.333
だから 彼の主な功績は

0:03:47.333,0:03:52.329
とても抽象的な代数学の世界と

0:03:52.329,0:03:55.200
形や大きさ、角度をもった幾何学の世界の

0:03:55.200,0:03:57.600
橋渡しをしたことなんだ。

0:03:57.600,0:04:02.933
それじゃあ、右側のスペースを使って幾何学について書こう。

0:04:02.933,0:04:04.887
昔から、歴史に忘れられた

0:04:04.887,0:04:07.067
たくさんの数学愛好者たちが

0:04:07.067,0:04:09.067
幾何学を発展させてきたわけだけど、

0:04:09.067,0:04:12.467
デカルトが登場する前は

0:04:12.467,0:04:14.800
幾何学といえばユークリッド幾何学だったんだ。

0:04:14.800,0:04:16.133
(米国の)伝統的な

0:04:16.133,0:04:17.533
学校のカリキュラムでは

0:04:17.533,0:04:20.333
第8〜10学年で

0:04:20.333,0:04:22.533
学んだのがそれだよ。

0:04:22.533,0:04:24.200
ユークリッド幾何学では、

0:04:24.200,0:04:28.554
三角形の角度の関係とか

0:04:28.554,0:04:30.667
円の特性とか

0:04:30.667,0:04:33.887
弧度法とか

0:04:33.887,0:04:36.200
円に内接する三角形について学んだね。

0:04:36.200,0:04:37.190
これを学べる

0:04:37.190,0:04:39.667
ビデオも用意してあるよ。

0:04:39.667,0:04:42.938
ここでデカルトは気付いた。「ねぇ、この x と y の関係だけど

0:04:42.938,0:04:46.581
ユークリッド幾何学の三角形や円と同じように絵にできるんじゃない？

0:04:46.581,0:04:48.299
やってみようよ。」

0:04:48.299,0:04:50.575
1枚の紙を

0:04:50.575,0:04:52.339
2次元の平面に見立てることができる。

0:04:52.339,0:04:53.825
1枚の紙を、2次元平面の

0:04:53.825,0:04:55.915
一部として見るんだ。

0:04:55.915,0:04:57.819
何故 2次元かと言うと、

0:04:57.819,0:04:59.584
2種類の方向があるからだ。

0:04:59.584,0:05:01.256
まず縦方向がある。

0:05:01.256,0:05:02.510
これが1つ目だ。

0:05:02.510,0:05:04.825
おっと、青色に変更しよう。

0:05:04.841,0:05:06.666
絵にするんだから、上に書いた

0:05:06.666,0:05:08.384
幾何学の色に合わせたほうが良いよね。

0:05:08.384,0:05:11.827
まず縦の方向があって、

0:05:11.827,0:05:14.139
それから横の方向がある。

0:05:14.139,0:05:16.720
これが平面が2次元である理由だ。

0:05:16.720,0:05:18.160
もし3次元を考えるなら、

0:05:18.160,0:05:21.339
もう1つ 手前-奥 方向を足せば良い。

0:05:21.339,0:05:23.200
さて、この画面は2次元だから

0:05:23.200,0:05:25.425
2次元空間を学ぶには都合が良いね。

0:05:25.425,0:05:27.071
デカルトはこう考えた。

0:05:27.071,0:05:29.744
「ここに、関係性を持った2つの変数がある。

0:05:29.744,0:05:32.548
これら変数を、1つづつ

0:05:32.548,0:05:34.600
こっちの次元に割り当ててみようよ。」

0:05:34.600,0:05:38.010
じゃあ慣習に従って、こっちを y にしよう。

0:05:38.010,0:05:39.421
さっき示した通り、

0:05:39.421,0:05:40.456
y は x に依存する、

0:05:40.456,0:05:41.815
従属な変数だね。

0:05:41.815,0:05:43.605
これを、慣習に従って縦軸に割り当てる。

0:05:43.605,0:05:45.333
次に独立な変数、つまり

0:05:45.333,0:05:46.800
y がどうなるかを見るために

0:05:46.800,0:05:48.348
さっき勝手に値を選んだ変数を

0:05:48.348,0:05:50.867
水平の軸にとろう。

0:05:50.867,0:05:52.533
実は x と y を変数とする慣習は

0:05:52.533,0:05:55.600
デカルトが始まりなんだ。

0:05:55.600,0:05:58.600
後で習う代数学では、

0:05:58.600,0:06:02.098
未知数 z を扱うこともある。

0:06:02.098,0:06:03.867
彼は言った、「ねぇ、この次元に

0:06:03.867,0:06:07.452
数字を割り当ててみるのはどう？」

0:06:07.452,0:06:09.723
それじゃあ x軸上の

0:06:09.723,0:06:15.702
ここを -3 としよう。

0:06:15.702,0:06:17.805
ここは -2 で、

0:06:17.805,0:06:19.498
ここは -1,

0:06:19.498,0:06:21.067
ここは 0 だ。

0:06:21.067,0:06:23.800
x 軸に数字を割り振っているよ。

0:06:23.800,0:06:25.333
x は左右方向だから

0:06:25.333,0:06:26.837
こっちが 1 で、

0:06:26.837,0:06:28.338
ここが 2、

0:06:28.338,0:06:30.169
そしてここが 3 。

0:06:30.169,0:06:32.333
y の方向も同じようにできるね。

0:06:32.333,0:06:34.400
さっそく、

0:06:34.400,0:06:40.400
こっちを -5, -4, -3…

0:06:40.400,0:06:42.333
…もう少し綺麗に書かないとね。

0:06:42.333,0:06:45.067
この部分を直そう。

0:06:45.067,0:06:47.800
ここを消して、下に伸ばして、

0:06:47.800,0:06:49.533
-5 をもっと下に書かないと

0:06:49.533,0:06:51.867
ゴチャゴチャしてしまう。

0:06:51.867,0:06:53.410
下に伸ばしたから、

0:06:53.410,0:06:54.867
これで数字を書ける。

0:06:54.867,0:06:58.144
ここが1, 2, 3,

0:06:58.144,0:07:00.867
そしてこっちが -1,

0:07:00.867,0:07:02.733
-2 、といっても、これはあくまで慣習だから

0:07:02.733,0:07:04.067
他のやり方で数字を割り当てても良い。

0:07:04.067,0:07:05.692
例えば 縦を x , 横を y

0:07:05.692,0:07:06.733
にしても良いし、

0:07:06.733,0:07:07.969
左が正で

0:07:07.969,0:07:09.277
右を負にしても良い。

0:07:09.277,0:07:11.333
こう書いている理由は、デカルトを真似た

0:07:11.333,0:07:12.733
単なる慣習からさ。

0:07:12.733,0:07:18.062
-2, -3, -4 それから -5

0:07:18.062,0:07:20.200
デカルトは言った。「さて

0:07:20.200,0:07:22.667
1つの x と y の組を、2次元上の点と

0:07:22.667,0:07:25.333
対応させることができる。

0:07:25.333,0:07:28.467
x 座標, x の値を

0:07:28.467,0:07:30.333
ここから選ぼう。」うん、この -2 は

0:07:30.333,0:07:34.195
この図の左右の方向を表す。

0:07:34.195,0:07:35.831
負の数だから左だね。

0:07:35.831,0:07:39.395
そして、これと垂直方向の -5 が対応する。

0:07:39.395,0:07:41.667
y が -5 になるからね。

0:07:41.667,0:07:46.400
左に2つ、下に5つ行くと

0:07:46.400,0:07:49.267
この点が得られる。

0:07:49.267,0:07:53.518
デカルトは言った、「 -2, -5 の2つの値を、

0:07:53.518,0:07:55.733
この2次元平面上の

0:07:55.733,0:07:59.133
1つの点と対応させることができる。」

0:07:59.133,0:08:02.933
さらに、点には座標がある。

0:08:02.933,0:08:06.400
点の場所を (-2, -5) のように表すものだ。

0:08:06.400,0:08:08.959
こういった座標は「カルテシアン座標」といって、

0:08:08.959,0:08:12.077
これを思いついた

0:08:12.077,0:08:13.800
ルネ・デカルトの名前から取ったものなんだ。

0:08:13.800,0:08:15.067
彼のおかげで、変数の関係と座標平面上の点が

0:08:15.067,0:08:17.667
いっぺんに繋がったわけさ。

0:08:17.667,0:08:19.800
さて、デカルトなら「他のもやってみようよ」と言うだろう。

0:08:19.800,0:08:21.600
x, y の組は他にもある。

0:08:21.600,0:08:27.452
x = -1 なら y = -3 だ。

0:08:27.452,0:08:30.031
x が -1, y が -3 だから

0:08:30.031,0:08:31.544
この点だね。

0:08:31.544,0:08:33.333
また慣習の話だけど、

0:08:33.333,0:08:34.375
座標を書く時は

0:08:34.375,0:08:36.600
x座標、y座標の順に書くんだ。

0:08:36.600,0:08:38.400
昔の人がたまたまそう決めただけだけどね。

0:08:38.400,0:08:42.067
(-1, -3) はこの場所だ。

0:08:42.067,0:08:45.933
次は x が 0, y が -1。

0:08:45.933,0:08:48.067
x = 0 はこの場所だ。

0:08:48.067,0:08:50.267
右にも左にも行かないという意味になる。

0:08:50.267,0:08:52.667
y = -1 は、1つ下。

0:08:52.667,0:08:56.390
だからこの点が (0, -1) だ。

0:08:56.390,0:08:57.359
これを

0:08:57.359,0:08:58.852
続けてみるよ。

0:08:58.852,0:09:03.810
x = 1 の時, y = 1.

0:09:03.810,0:09:09.575
x = 2 の時, y = 3.

0:09:09.575,0:09:11.733
色を合わせたほうが良いかな。

0:09:11.733,0:09:15.400
x = 2 の時, y = 3.

0:09:15.400,0:09:20.652
ここは (2, 3) で、こっちのオレンジの点は (1, 1).

0:09:20.652,0:09:22.195
次が巧妙なところだよ。

0:09:22.195,0:09:24.615
私は勝手な x を選んだだけだけど、

0:09:24.615,0:09:25.867
これの他にも

0:09:25.867,0:09:27.775
x を選んで

0:09:27.775,0:09:29.677
点を打ち続け、

0:09:29.677,0:09:31.318
あらゆる x , y を描いてみると、

0:09:31.318,0:09:34.000
何と直線になるんだ。

0:09:34.000,0:09:36.067
あらゆる x に対して点を打つと、

0:09:36.067,0:09:38.067
最終的に直線になる。

0:09:38.067,0:09:44.492
どういうものかと言うと…こんな感じ。

0:09:44.492,0:09:47.533
どれでも何でも、勝手な x を選んで

0:09:47.533,0:09:50.867
y を求めると、必ず直線上の点になるんだ。

0:09:50.867,0:09:52.400
別の考え方では、

0:09:52.400,0:09:54.171
この直線上のどの点も

0:09:54.171,0:09:57.051
この式の解の1つなんだ。

0:09:57.051,0:09:58.902
例えばこの点は、

0:09:58.902,0:10:01.600
図で見ると x = 1.5 で

0:10:01.600,0:10:03.467
y = 2 だから

0:10:03.467,0:10:07.133
(1.5, 2) だ。

0:10:07.133,0:10:09.133
これは式の解の1つだ。

0:10:09.133,0:10:13.652
x = 1.5 なら、 2 × 1.5 が 3、 1を引いて 2 だから

0:10:13.652,0:10:15.600
ちょうど解みたいだ。

0:10:15.600,0:10:17.400
こうしてデカルトは、代数学の式と

0:10:17.400,0:10:22.400
幾何学の間の隔たりをいっぺんに埋めてしまった。

0:10:22.400,0:10:27.133
このおかげで、方程式を満たす全てのー

0:10:27.133,0:10:31.498
x,y の組を、絵で表せるようになった。

0:10:31.498,0:10:36.092
それを成し遂げたー

0:10:36.092,0:10:38.067
デカルトの名にちなんで、

0:10:38.067,0:10:42.677
こういった座標は「カルテシアン座標」と呼ばれるようになった。

0:10:42.677,0:10:45.467
伝統的な代数学で、

0:10:45.467,0:10:48.600
最初に勉強する式は

0:10:48.600,0:10:50.446
こういう形をしているんだ。

0:10:50.446,0:10:52.733
これを一次方程式（直線の式）という。

0:10:52.733,0:10:55.733
一次方程式（直線の式）。

0:10:55.733,0:10:57.738
君はこう思うかも。「なるほどこれは式だね、

0:10:57.738,0:10:59.533
左右が等しいことを示す等式だもの。

0:10:59.533,0:11:00.744
でも『直線の』って何？

0:11:00.744,0:11:02.333
一体どこが直線なの？」

0:11:02.333,0:11:04.379
どこが直線かに気づくためには、

0:11:04.379,0:11:07.467
ルネ・デカルトの考え方を追う必要がある。

0:11:07.467,0:11:09.133
カルテシアン座標を使って

0:11:09.133,0:11:10.759
点を打っていけば、

0:11:10.759,0:11:14.492
ユークリッド平面上で直線ができるんだ。

0:11:14.492,0:11:15.846
さらに近い将来、

0:11:15.846,0:11:17.723
直線にならない式も目にすることになるよ。

0:11:17.723,0:11:21.656
曲線とか、クレイジーとかファンキーな線になるものもあるんだ。