第313回　ふれあう三角関数：タンジェントをなぞって（前編）

$ \newcommand{\ABS}[1]{\left|\mathstrut #1\right|} \newcommand{\KAKUDO}[1]{#1^\circ} \newcommand{\TT}[1]{\textrm{#1}} \newcommand{\ANGLE}[1]{\angle\textrm{#1}} \newcommand{\TRI}[1]{\triangle\textrm{#1}} \newcommand{\HIRANO}{\unicode[sans-serif,STIXGeneral]{x306E}} \newcommand{\SQRT}[1]{\sqrt{\mathstrut #1}} \newcommand{\TRUE}{\textbf{true}} \newcommand{\FALSE}{\textbf{false}} \newcommand{\FOCUS}[1]{\fbox{$#1$}} \newcommand{\GEQ}{\geqq} \newcommand{\LEQ}{\leqq} \newcommand{\NEQ}{\neq} \newcommand{\TRIANGLE}{\triangle} \newcommand{\REMTEXT}[1]{\textbf{#1}} \newcommand{\PS}[1]{\left(#1\right)} \newcommand{\SET}[1]{\{\,#1\,\}} \newcommand{\SETM}{\,|\,} \newcommand{\EMPTYSET}{\{\,\}} \newcommand{\REAL}{\mathbb R} \newcommand{\ZEE}{\mathbb Z} $

僕の部屋

ユーリ「うんうん、予想どーり！　90度に近づくと、ぎゅーんと増えてく！」

僕「そうだね。タンジェントは、$$ \tan \theta = \frac{\sin\theta}{\cos\theta} $$ で定義されている。 $\theta$の値が0度から90度に近づいていくと、 $\cos$の値は1から0に向かって小さくなる。 分数の分母が0に近づくから、$\tan$の値はものすごく大きくなっていくわけだよね」

ユーリ「90度だとゼロ割が起きちゃうから、そこは《なし》でいーんでしょ？」

僕「うん。$\cos$の値が0になるところは$\tan$の定義域には含まれていないから、グラフには描けないよ。 もっとも、90度になるずっと手前で、グラフとしては描けなくなっちゃうけどね。上にはみ出しちゃうから」

90度を越したらどうなる？

ユーリ「ねー、お兄ちゃん。90度を越したらどーなんの？」

僕「どうなるの、とは？」

ユーリ「ほら、90度だと点Pが原点Oの真上にくるから、交点Qがなくなるじゃん？」

僕「そうだね。平行になるから」

ユーリ「90度を越しても、交点Qは作れないじゃん？」

僕「いやいや、交点Qはこっちにあるよ」

ユーリ「あーなるほど……え？　それでいーの？　だって、半直線OPと直線$x=1$との交点じゃなかったっけ」

僕「ああ、そうだね。半直線OPという表現はよくなかったかもしれない。原点OとPとを結ぶ直線と直線$x = 1$の交点をQとしたほうが正確だね」

ユーリ「うーん……ほんとにこの点Qのy座標が$\tan\theta$なのー？」

僕「確かめたかったら、また《定義にかえれ》を使えばいいよね」

ユーリ「またかい」

僕「だって、『$\tan\theta$とは何か』を定めているのが定義なんだから、そこをしっかり足場にしなかったら、何をやってるかわからなくなっちゃうよね」

ユーリ「へいへい。$\tan$の定義は、$$ \tan\theta = \frac{\sin\theta}{\cos\theta} $$ ですよっと。それで……」

​

僕「……どうかな？」

ユーリ「$\tan$の定義を考えるんだから、こことこことを考えるんだよね？」

僕「そうだね。この長さは……」

​

ユーリ「待って待って！　三角形でしょ？　またこれも三角形の相似を使えばいいんだね！」

​

ユーリ「二つの三角形が相似だから、$$ \frac{\sin\theta}{\cos\theta} = \frac{\text{点$Q$ $\HIRANO$ $y$座標}}{1} $$ になって、 $$ \tan\theta = \text{点$Q$ $\HIRANO$ $y$座標} $$ だ！」

僕「それでいいね」

ユーリ「でも、プラスマイナスがおかしくね？」

僕「いやいや、おかしくないよ」

ユーリ「でも、点Qのy座標はマイナスだし……」

僕「だって点Pの位置を考えると、$$ \begin{align*} \cos\theta &< 0 \\ \sin\theta &> 0 \end{align*} $$ で正負が異なるから、$\tan$つまり割り算の結果はマイナス。 点Qのy座標もマイナス。 さっきユーリが書いた等式、 $$ \frac{\sin\theta}{\cos\theta} = \frac{\text{点$Q$の$y$座標}}{1} $$ は両辺ともマイナスになっていて、正しい。 三角形の辺の長さという意味では、絶対値を取って、 $$ \frac{\ABS{\sin\theta}}{\ABS{\cos\theta}} = \frac{\ABS{\text{点$Q$の$y$座標}}}{1} $$ ということになるけどね」

ユーリ「あっ、わかった。勘違い、勘違い。もーわかったよー」

僕「どんな勘違いをしたんだろう？」

ユーリ「いやー《ほんのちょっとしたこと》だからいーよ。プラスマイナスの勘違いってこと！」

僕「それは、どんな勘違いなんだろう？」

ユーリ「出た出た《根掘り葉掘りお兄ちゃん》！」

僕「変な名前付けるなよ」

ユーリ「あのね、さっき、$\tan$の定義を、$$ \tan \theta = \frac{\sin\theta}{\cos\theta} $$ って言ったけど、コサインがマイナスのときには、 $$ \tan \theta = \frac{\sin\theta}{-\cos\theta} \qquad \REMTEXT{（？）} $$ じゃね？　って思ったの。でも違うよね。錯覚、サッカク」

僕「なるほどなあ。うん、違うよ。$\tan$の定義は、$$ \tan \theta = \frac{\sin\theta}{\cos\theta} $$ でいい。$\cos\theta,\,\sin\theta$の正負によらないね」

ユーリ「だよね」

僕「$\theta$の値に応じて自動的に$\cos\theta,\sin\theta,\tan\theta$の正負はそれぞれに決まる。いちいち式の方でプラスマイナスの記号を個別に付ける必要はない。便利なところだね」

ユーリ「は？　何が便利なの？」

僕「文字を含んだ式で書くと便利だという話」

ユーリ「んー……？」

僕「たとえば$0.5$のような数で考えるのはわかりやすい。数直線ではここにあるとか、$0$より大きいとかいうイメージもとらえやすい」

ユーリ「そだね。具体的」

僕「それはそれでいいんだけど、文字や式を使って書くと、$\theta$がどんな値のときでも、たとえば、 $$ \cos\theta $$ という式は、点Pのx座標を表す。表し続けてくれる。 それは考えを進める上ですごくありがたいと思わない？　 $\cos\theta$がプラスだろうがゼロだろうがマイナスだろうが、安心して式変形できる。それは便利だよ」

​

ユーリ「ゼロ割は気をつけるけどねー」

僕「ああ、それはそうだね。だから、考えている数学的なことを《数式で表す》っていうのはすごいことなんだよ」

ユーリ「ふんふん。さすが、数式のまじゅちゅし……まずちゅ……さすが、《数式の手品師》だにゃ」

僕「魔術師と手品師。ずいぶんニュアンス違うなあ！」

$y = \tan\theta$のグラフを描く

ユーリ「角度が、$$ \KAKUDO{0} < \theta < \KAKUDO{90} $$ の範囲にあるときと同じよーに、 $$ \KAKUDO{90} < \theta < \KAKUDO{180} $$ という範囲でも、グラフって書けるよね。点Qのy座標を使えば」

​

僕「そうだね。じゃあ、やってみようか！」