第369回 シーズン37 エピソード9

曲線を裏返す（前編）

図書室にて

僕「今日は《ライオンテトラ》なの？」

テトラ「あ、先輩！　《ライオンテトラ》とは何でしょうか？」

僕「いや、ガルルル……ってうなってたからね。 テトラちゃんが《ライオン》になったのかなって思ったんだ」

テトラ「《ライオンテトラ》よりも《テトライオン》がいいですね——って、テトラはライオンじゃありませんし、 ガルルルなんてうなってませんようっ！　……うなってました？」

僕「ちょっとね」

テトラ「あたしは、 村木先生からの《カード》で式の計算をしてたんです」

僕「ああ、カージオイドの続き？（第367回参照）」

テトラ「あ、いえ、そうじゃありません。村木先生から、こんな問題を新たにいただいたんです」

新たな《カード》に挑戦！

僕「なるほど。曲線 $L$ は楕円かな？」

テトラ「えっ！」

僕「おっと、違うね。一定なのは《和》じゃなくて《積》か。ごめんごめん。楕円じゃなかった」

テトラ「ああ、びっくりです。一瞬で答えがわかる問題なのかと思っちゃいました」

僕「もしも $PF_1$ と $PF_2$ の《和》が一定の点 $P$ を考えるなら、 点 $P$ が作る曲線は楕円になる。 だから、二つのピンに糸を張って、糸がたるまないようにして線を描くと、楕円が描ける」

テトラ「ああ、それは聞いたことがあります」

僕「うん、でも、この《カード》に書かれているような《積》が一定の場合は知らないなあ。曲線 $L$ はどんな曲線なんだろう……」

テトラ「はい。あたしも『$L$ って、どんな曲線になるんだろう』と思いました」

僕「線分 $PF_1$ と線分 $PF_2$ の長さの積が一定値 $a^2$ に等しい……つまり、こういうことだね」

テトラ「そうです。あたしも、これと同じ式を立てて計算を進めていたんです……けれど、 まだ全然《わかった感じ》がしていません。そうだ！　あたしがどんなふうに考えたか、 話を聞いていただけますか？」

僕「もちろん！」

線分の長さ（二点の距離）を考える

テトラ「あたしはまず《カード》に書かれている二点 $F_1(-a, 0), F_2(a, 0)$ を描きました。 それから適当なところに点 $P$ を描いて、その座標を $P(x, y)$ と表すことにしました」

僕「うん、いいよ」

テトラ「それから、《カード》に書かれている条件を、 $a, x, y$ を使った数式で表そうと思いました」

僕「うんうん、自然な流れだ」

テトラ「先輩は先日、

　数式で表現することは《お友達》になったしるしの一つ

とおっしゃってましたよね（第368回参照）。 だから、この点 $P$ や曲線 $L$ と《お友達》になるために数式で書こうと思ったんです」

僕「なるほど」

テトラ「《カード》に書かれている条件というのは、

　《線分 $PF_1$ と線分 $PF_2$ の長さの積は $a^2$ に等しい》

というものですが、これはさっき先輩が書いてくださった、 $$ PF_1 \cdot PF_2 = a^2 $$ と式で表せます。ですからこの式を $x, y, a$ を使った式に書き換えていきます」

僕「うん」

テトラ「まず線分 $PF_1$ の長さは、 $$ PF_1 = \SQRT{(x - (-a))^2 + (y - 0)^2} $$ になります。ごちゃごちゃしてますけど、いまは勘違いしないようにわざと冗長に書いているんです」

僕「いやいや、よくわかるよ。点 $P(x, y)$ と点 $F_1(-a, 0)$ の距離だ。 ココとココに $-a$ と $0$ をそのまま入れたという意味だよね」

テトラ「はいはい、そうです。また、線分 $PF_2$ の長さも同じように考えて、 $$ PF_2 = \SQRT{(x - a)^2 + (y - 0)^2} $$ になります。点 $F_2$ の座標は $(a, 0)$ だからです。 これで、 $PF_1 \cdot PF_2 = a^2$ は $x,y,a$ を使った式に書き換えることができます。 つまり…… $$ \begin{align*} PF_1 \cdot PF_2 &= a^2 \\ \SQRT{(x - (-a))^2 + (y - 0)^2}\cdot \SQRT{(x - a)^2 + (y - 0)^2} &= a^2 \\ \SQRT{(x + a)^2 + y^2}\cdot \SQRT{(x - a)^2 + y^2} &= a^2 \end{align*} $$ ……ということです」

僕「うんうん。着々と計算が進んでいるね」

テトラ「はい。この $\heartsuit$ の式、 $$ \SQRT{(x + a)^2 + y^2}\cdot \SQRT{(x - a)^2 + y^2} = a^2 $$ で《カード》に書かれた条件はすべて表されていると思いました。 つまり、ポリア先生の《条件はすべて使ったか》という問いかけへの答えはYesです」

僕「おお！」

テトラ「それはいいんですが、 $\heartsuit$ の式を見てもさっぱり《わかった感じ》がしません。 なので——この左辺の式を計算することで、もっと簡単な式が作れるんじゃないかと思いました。 『$L$ って、そういう曲線なんですね！』 と声を上げたくなるような式です」

僕「そこで、計算を始めた……と」

テトラ「はい、そうです。 $\heartsuit$ の式全体に、 $x, y, a$ という文字が散らばっていますので、 計算を進めていって、文字を整理すれば《何か》がわかるはずだと思ったんです」

僕「すばらしいな！」

テトラ「き、恐縮です」

僕「テトラちゃんは、自分の考えた道筋を言葉にして表現できるんだね。 だから、いま話を聞いていて、テトラちゃんがどんなふうに考えたかがよくわかったよ」

テトラ「そんなこと言われると……何だか照れちゃいます」

僕「僕も、いまのテトラちゃんと同じように考えることがよくあるよ。 文字が散らばっていたり、式が整理されていなかったりするとき、 まずは式をちゃんと整理してみようと思うんだ。 そうすれば、きっと、面白いことが《何か》見つかるはずだと考える」

テトラ「はい……」

僕「それで、この $\heartsuit$ から計算を進めていったんだね」

テトラ「はいっ！　そうです、そうです」