第365回 シーズン37 エピソード5

転がる円が描くもの（前編）

図書室にて

僕「……そんなふうに、極座標で遊んでいたんだよ」

テトラ「なるほど、おもしろいですねえ……」

僕「テトラちゃんは正方形を描いたことがあったよね。あれもおもしろかった（第90回参照）」

テトラ「あたしというよりも、ミルカさんに教えていただいたようなものですが……でも、楽しかったですっ！」

僕「描いた図形はパッと見ても楽しいけど、数式で表せるなら、いろんな性質が確かめられて楽しいよね」

テトラ「そうですね……あたしが印象深く感じるのは、先輩のお話にもありましたが、 『図形は点の集まり』というところです（第361回参照）」

僕「そうだね。平面上に描かれた図形を、平面上の点の集まりだと考えてる」

テトラ「それって、とても大事なことですよね。だって……点の話をすればいいからです」

僕「点の話？」

テトラ「はい。点の話、です。 一つの点について考えるんですけれど、そこには文字が含まれていて、 その文字に具体的な数値が入ります。だから、その数値を変えることで《点の話》がいつのまにか《図形全体の話》に なっている。そんなふうに思っています」

僕「まさに！　まさにそうだよね。文字を使って表しておけば、《点の話》がすうっと《図形全体の話》になる。 うん、テトラちゃんの言うとおりだ。 ユーリと話していたときには《数式は無限と戦う武器になる》と言ってたなあ。 『武器になる』というときには、僕はテトラちゃんのことを思い出してたよ。テトラちゃん、よく武器を構えるよね」

テトラ「お、思い出していただけるのは光栄ですが……《よく武器を構える》としてあたしを思い出されるのはちょっと」

僕「ごめんごめん」

点が動いて図形を描く

テトラ「先輩は直交座標よりも極座標の方が『回転が得意』とおっしゃっていました（第361回参照）が、 あたしはお話を聞きながら別のことを考えていました」

僕「へえ……どんなことだろう」

テトラ「あのですね、極座標の方が『一つの点が動いていく』感じがするんです。 極座標では、動径が $r$ で、偏角が $\theta$ のとき、 $$ r = \TEXT{《$\theta$の式》} $$ という形がよく出てきますよね。 $\theta$ を決めると $r$ が決まりますから、 ちょうどコンパスを回すように一つの点がすうっと動いていく感覚があります……あ、 でも、これって結局は『回転が得意』と同じことですけど」

僕「いや、でも、テトラちゃんの感覚はわかるよ。僕もそう思う。 $$ r = \TEXT{《$\theta$の式》} $$ で、 $\theta$ というパラメータに図形が支配されている感じというのかな。 支配というと大げさだから、制御というかコントロールというか……」

テトラ「パラメータ……」

僕「うん。もっとも、直交座標でも、たとえば、関数のグラフみたいに、 $$ y = \TEXT{《$x$の式》} $$ という形なら、『一つの点が動いていく』感じはするよね。 $x$ の値を決めれば $y$ が決まるから、 $x$ の値で図形が制御されている感覚がある」

テトラ「そ、そのパラメータの話をもう少しお聞きしたいです。 あたしが持ってる感覚がはっきりするような気がします」

僕「うん、いいよ。ものすごく単純な例。 半径が $a$ の円を直交座標で表すことにするね」

テトラ「はい」

僕「直交座標で、原点が中心にある、半径が $a$ の円を表す方程式は、 $$ x^2 + y^2 = a^2 $$ と書ける。これはいいよね」

テトラ「はい、大丈夫です」

僕「この $x^2 + y^2 = a^2$ という書き方だと、《円上の点 $(x,y)$ は、 $x$ の座標値と $y$ の座標値がどういう関係を満たしているか》を表している」

テトラ「そうですね。 原点 $(0,0)$ からの距離が $a$ になっている……ということですよね？」

僕「うん、そうそう。だから『一つの点が動いていく』感じはあまりしない」

テトラ「……」

僕「でも同じ直交座標で同じ円を、 $\theta$ というパラメータを使ってこう表現してみよう」

テトラ「ははあ……わかりました！　これだと、 $\theta$ というパラメータの値を変えていくことで、 $x$ と $y$ の値がすうっと変わっていきます。だから『一つの点が動いていく』感じがしますね！」

僕「そういう話。ただ、これはあくまでも感覚的な話。 というのは、 $x^2 + y^2 = a^2$ という式を少し変形すれば、同じようなことができるから。 たとえば、こんな式で表せば、 $x$ の値を変えていくことで $y$ の値が変わっていくようすがわかる」

テトラ「確かに……あっ、でも、これだと動いていくのは『二つの点』ですよね。 だって、 $x$ の値一つに対して、 $y$ の値は $y = +\SQRT{a^2 - x^2}$ と $y = -\SQRT{a^2 - x^2}$ という二つの値になりますから」

僕「おっと、そうだね。確かにそうだ」

まっすぐな円

テトラ「花のような図形の極方程式を調べるとき、先輩は横軸が $\theta$ で縦軸が $r$ の直交座標をお使いになりましたよね」

僕「そうだね。もともとユーリが描いていたんだけど。 $r = \sin^25\theta$ のグラフだね」

テトラ「あれはまさに、 $\theta$ を動かしていくときの $r$ の変化を表していると思いました」

僕「うん」

テトラ「ところで、すごくおもしろいことに気付いたんですよ。 単位円の極方程式は、 $$ r = 1 $$ ですよね？」

僕「そうだね。単位円は偏角 $\theta$ によらず動径の長さが $1$ になるから。……おもしろいことって？」

テトラ「はい。 横軸が $\theta$ で縦軸が $r$ の直交座標で、単位円を表すと、こんなふうに横一直線になります。 $r$ が変化しないんだから当然ですけれど」

僕「うん、そりゃそうだ」

テトラ「つまり、円が円であることが、《まっすぐなグラフ》として表現されている！　……とあたしは思ったんですっ！」

僕「そうだね」

テトラ「あ、あらら……先輩の反応、薄いですね」

僕「うーん……テトラちゃんの感動ポイントがよくわからなかったんだ。ごめんね」

テトラ「ええっ！　 円がちょうどよく《丸い》ことが《まっすぐ》なグラフに現れているんですよっ！　……あたし、おもしろいと思うんですが……」

僕「うーん……あ、待って。アルキメデス・スパイラルについても同じことが考えられるね（第362回参照）」

テトラ「ははあ……こちらも《まっすぐなグラフ》になります」

僕「うん、だから、そういう意味では、円とアルキメデス・スパイラルは仲間だといえる」

テトラ「仲間？　ええと……そうなんでしょうか」

僕「仲間というか……何というのかな。 円とアルキメデス・スパイラルを一つの式の別の形として考えることもできそうだと思ったんだけど」

テトラ「？」

僕「ちょっと待って。いま考えながらしゃべっているから、ウソ言ってるかもしれない……つまりね、 アルキメデス・スパイラルの極方程式は、一般的に書けば $c$ を定数として、 $$ r = c\theta $$ になる」

テトラ「$c$ が大きければ、すばやく広がるらせんになる？」

僕「そうそう。そこで $r = c\theta$ の $c$ を $0$ にするとうまいこと円に……いや、円にはならないな、だめか。 ……いや、わかった。別の定数を用意すればいいんだよ」

テトラ「先輩は……何をなさっているんでしょう」

僕「うん、もたもたしてごめん。もうわかった。 $c$ と $d$ を $0$ 以上の定数として、 $$ r = c\theta + d $$ という極方程式を考えるんだよ！」

テトラ「はい……偏角 $\theta$ を $c$ 倍して $d$ を加えたものが動径 $r$ に等しいとする……？」

僕「うん。そうすると……」