問1
で、 のときの の値を求めなさい。
目次 / いろいろな関数 / 数学III
—— 反比例のグラフを、漸近線の十字ごと動かす ——
中学校で学んだ反比例 $y = \dfrac{6}{x}$ のように、$x$ の分数式で表される関数を**分数関数**といいます。この章では、まず $y = \dfrac{k}{x}$ のグラフの形と、グラフが限りなく近づく 2 本の直線(漸近線)を確かめます。次に、$y = \dfrac{2x + 1}{x - 1}$ のような式を割り算で「$y = \dfrac{k}{x - p} + q$」の形に直し、$y = \dfrac{k}{x}$ のグラフを漸近線の十字ごと平行移動したものとして読みます。二次関数で学んだ「基本形を動かす」考え方が、そのまま使えます。最後に、定義域を限ったときの値域と、条件から式を決める方法を扱います。
の分数式で表される関数を、 の分数関数といいます。,, などがその例です。分母が になる では値が決まらないので、とくに断りがなければ、分数関数の定義域は分母を にしない実数全体とします。数学IIIで中心になるのは、分母・分子が の 1 次式(または定数)の分数関数です。その出発点が、中学校で学んだ反比例 です。
に、いくつか の値を入れてみます。
を大きくしていくと、 は ,,,…… と小さくなり、 軸にいくらでも近づきます。それでも が になることはありません。反対に を正の側から に近づけると、 は ,,,…… といくらでも大きくなり、グラフは 軸にいくらでも近づきます。こちらも にはなれないので、 軸と交わることはありません。
指数関数・対数関数の章と同じく、グラフが限りなく近づいていく直線を漸近線(ぜんきんせん)といいます。 のグラフは、 軸と 軸の 2 本を漸近線にもちます。
とする。 のグラフは直角双曲線とよばれる曲線で
グラフは 2 つの部分に分かれています。 をはさんで、左の部分と右の部分がつながっていないことに注意しましょう。「 なら右下がり」は、左の部分・右の部分それぞれの中での話です。左の部分の点 と右の部分の点 を比べると、 が大きいほうが も大きくなっています。
原点について対称なのは、点 がグラフ上にあれば なので、 となり、点 もグラフ上にあるからです。「直角双曲線」という名前は、漸近線の 軸と 軸が直角に交わる双曲線であることから来ています(双曲線そのものは「複素数平面と二次曲線」の分野 第7章で詳しく扱います)。
ピザ 1 枚を 人で分けると、1 人分は 枚です。10 人なら 枚、1000 人なら 枚。人数を増やすほど 1 人分は に近づきますが、どれだけ人数を増やしても、1 人分がぴったり 枚になることはありません。一方、分ける人数を 人にすることはできません。グラフが 軸に近づくのに届かないこと、 軸の上に点がないことは、この 2 つの事情をそのまま絵にしたものです。
のグラフは、 軸と 軸を漸近線にもつ 2 つの部分からなる曲線で、 なら第1・第3象限、 なら第2・第4象限にあるということです。
(1) のグラフ上で、 座標が ,,, である点の座標を求めなさい。
(2) のグラフが点 を通るとき、 の値を定めなさい。また、そのグラフがある象限を求めなさい。
【解答】
(1) ,,, なので
と , と が、それぞれ原点について対称な位置にあります。
(2) , を代入すると なので
なので、グラフ は にあります。
は「グラフ上の点の 座標と 座標の積」と読むこともできます。 です。
二次関数の分野(第2章)で、 のグラフを 軸方向に , 軸方向に だけ平行移動したグラフの式は になることを学びました。 に当てはめると
です。形は変わらず、2 本の漸近線もいっしょに動きます。 軸()は直線 に、 軸()は直線 に移ります。
のグラフは、 のグラフを 軸方向に , 軸方向に だけ平行移動した直角双曲線で
この形を、この分野では「 の形」とよびます。この形になっていれば、漸近線・定義域・値域がすべて式から読みとれます。値域が になるのは、 が 以外のすべての値をとり、 だけはとらないからです。
透明なシートに、 のグラフを座標軸の十字といっしょに描いておいたとします。このシートを方眼紙の上に置き、十字の中心を点 に合わせてずらせば、それが のグラフです。描くときも、まず漸近線の十字を点線で引き、その十字を「座標軸」とみなして を描き込めば迷いません。十字から見て、 なら右上と左下、 なら左上と右下に曲線が入ります。
描くときは、座標軸との交点も求めておくと、グラフの位置がはっきりします。
のグラフは、漸近線の十字の中心を原点から点 に移して を描いたもので、漸近線は , だということです。
関数 について
(1) グラフは のグラフをどのように平行移動したものかを求めなさい。
(2) グラフの漸近線の方程式と、関数の定義域・値域を求めなさい。
(3) グラフと 軸, 軸との交点の座標を求めなさい。
【解答】
(1) と見て、
(2) 漸近線は 。定義域は ,値域は
(3) のとき なので ,。 のとき 。
なので、十字 の左下の部分が 2 つの交点を通り、右上の部分は第1象限の中にあります。
のように、分子にも がある式は、そのままでは漸近線が読めません。そこで、分子を分母で割って「商 + 」の形にします。数と式の分野 第8章で学んだ「分子の次数を下げる」変形です。
これで となり、 を 軸方向に , 軸方向に だけ平行移動したグラフだと分かります。
のとき、分子 を分母 で割ると、 は
の形に直せる。漸近線は、分母を にする直線 と、直線 である。
横の漸近線 は、割り算の商です。 の係数どうしの比になるので、割り算の前に見当がつきます。ただし、変形で出てくる が になると、式は定数 になり、グラフは直角双曲線になりません(たとえば 。厳密定義で扱います)。
分母の の係数が でないときは、 を求めるところで分母の係数をくくり出します。
卵を 6 個入りのパックに詰めていく場面を考えます。卵が 27 個あれば「4 パックと、はみ出した 3 個」です。 と書けば、パックの数が商、はみ出した卵が余りです。 も同じで、 を「 のパック」にできるだけ詰めると 2 パック分、はみ出すのが です。パックに入った部分は定数 になって横の漸近線に、はみ出した部分 がグラフの曲がり方を決めます。
は、分子を分母で割って の形に直せば、 の平行移動として描けるということです。
次の関数を の形に表し、グラフの漸近線と、グラフと座標軸との交点の座標を求めなさい。
(1)
(2)
【解答】
(1) より 。漸近線は
となるのは分子が のときで ,。 のとき 。
(2) より 。漸近線は
分子が になるのは 。 のとき 。
軸との交点は、変形後の式より、もとの式の「分子 」から求めるほうが速いことが多いです(分母が でないことは確かめておきます)。
のグラフは、 と のそれぞれの範囲の中では、一方向に上がり続けるか下がり続けます。だから定義域がどちらか一方の範囲に収まっていれば、値域は両端の値で決まり、最大値・最小値も両端でとります。
問題は、定義域が漸近線 をまたぐときです。
で、定義域を区間に限るとき
で、定義域を (ただし )とすると、 の と の を見て「」としたくなります。しかし図のとおり、グラフは の左右で上下に遠く離れています。 では は から下へどこまでも下がり、 では上のほうから まで下りてきます。 と の間の値は、1 つもとりません。
川の両岸に 1 本ずつ道があって、橋がかかっていない場面を思い浮かべてください。それぞれの道の中では、行きたいところへ歩いていけます。けれども、こちらの岸の道と向こう岸の道は、地図の上では近く見えてもつながっていません。漸近線 はこの橋のない川です。両端の値だけを見て「間はつながっているはず」と考えると、川を歩いて渡ったことになってしまいます。
定義域を限った分数関数の値域は、区間が漸近線 の片側にあれば両端の値で決まり、漸近線をまたぐときは左右に分けて考える、ということです。
関数 について、定義域が次のときの値域を求めなさい。また、最大値・最小値があれば求めなさい。
(1)
(2)
(3)
【解答】
で なので、, のそれぞれの範囲で右下がりです。
(1) 区間は に含まれます。 で , で なので、値域は
(2) 区間は に含まれます。 で , で なので、値域は
(3) では、 の から右下がりにいくらでも小さくなるので 。 では、いくらでも大きい値から右下がりに の まで下がるので 。値域は
で、。
分数関数の式を条件から決めるときは、まず漸近線に注目します。漸近線が分かれば , が決まり、残りは だけです。
(2) は公式1の「原点について対称」を、十字ごと へ平行移動したものです。点 と点 の中点は なので、この 2 点は について対称な位置にあります。
掲示板に、1 本の画びょうだけでカードを留めたとします。カードを画びょうのまわりにくるりと半回転させても、元とまったく同じに見えるなら、そのカードの絵は画びょうの位置について点対称です。 のグラフでは、漸近線の十字の中心 に画びょうを刺して半回転させると、左右 2 つの部分がちょうど入れかわって重なります。
の形で決めたいときも、漸近線 , を先に使うと、未知の文字を早く減らせます。
分数関数の式は、漸近線から , を決めて残りの を通る点で決めればよく、グラフは漸近線の交点 について点対称だということです。
(1) 漸近線が 2 直線 , で、点 を通る分数関数を の形で求めなさい。
(2) (1) のグラフ上の点 と、漸近線の交点について対称な点の座標を求め、その点もグラフ上にあることを確かめなさい。
(3) 関数 のグラフが 2 点 , を通り、直線 を漸近線にもつとき、定数 ,, の値を定めなさい。
【解答】
(1) とおきます。点 を通るので ,。
(2) 対称の中心は なので、対称な点は
を代入すると となり、点 は ことが確かめられました。
(3) 分母の の係数は なので、横の漸近線は 。よって で、。
点 を通るので、分子について ,。
点 を通るので 。 より 。
このとき で、定数にはならず、たしかに直線 が漸近線です。最後に「 で本当に分数関数になっているか」を確かめる習慣をつけておきましょう。
| 式の形 | 漸近線 | 定義域 | 値域 | 対称の中心 |
|---|---|---|---|---|
| , | 原点 | |||
| , | ||||
| 割り算で上の形に直してから読む |
どの形でも、最初に漸近線の十字を置き、その十字を座標軸とみなして を描く、という手順は同じです。次の第2章では、このグラフを使って や のような方程式・不等式の解の見通しを立て、式で解きます。
まずは公式をそのまま使う、ごく簡単な問題で確認しましょう。
問1
で、 のときの の値を求めなさい。
問2
のグラフの漸近線を求めなさい。
問3
関数 の定義域を求めなさい。
(分母 )
問4
を の形に表しなさい。
()
問5
のグラフがある象限を求めなさい。
()
難易度マークは ★=基礎、★★=標準、★★★=入試レベルです。★から順に取り組みましょう。
問1 ★
のグラフが点 を通るとき、 の値と、 のときの の値を求めなさい。
,
より 。
に を代入して
点 も 座標と 座標の積が になっています。
問2 ★
(1)
(2)
上の各関数について、グラフの漸近線と、関数の定義域・値域を求めなさい。
(1) 漸近線 ,定義域 ,値域
(2) 漸近線 ,定義域 ,値域
の形なら、漸近線は ,、定義域は 、値域は です。
(1) と見て ,。漸近線 ,定義域 ,値域
(2) ,。漸近線 ,定義域 ,値域
(1) の横の漸近線は 軸()です。 のときも忘れずに書きます。
問3 ★
のグラフを 軸方向に , 軸方向に だけ平行移動したグラフの方程式を、 の形で求めなさい。
を に、 を に置きかえて
通分すると
逆に を で割れば、もとの形に戻ります。
問4 ★
(1)
(2)
(3)
上の各関数を の形に表し、グラフの漸近線を求めなさい。
(1) ,漸近線
(2) ,漸近線
(3) ,漸近線
分子を分母で割って「商 + 余り/分母」にします。
(1) より 。漸近線
(2) より 。漸近線
(3) より 。漸近線
横の漸近線は、どれも の係数の比(,,)になっています。
問5 ★
のグラフと 軸, 軸との交点の座標を求めなさい。
軸との交点 , 軸との交点
となるのは分子が のときです。 より (このとき分母は )。 軸との交点は
を代入すると 。 軸との交点は
なお で、漸近線は , です。
問6 ★
(1) ()
(2) ()
上の各関数の値域を求めなさい。
(1) (2)
どちらも区間が漸近線 の片側にあるので、両端の値を見れば足ります。
(1) で、 では右下がり。 で , で なので
(2) で、 では右上がり。 で , で なので
問7 ★
関数 ()の最大値と最小値を求めなさい。
で最大値 , で最小値
より 。漸近線 は区間 の外にあり、 なので区間で右下がりです。
で , で 。
問8 ★
漸近線が 2 直線 , で、点 を通る分数関数を の形で求めなさい。
漸近線から とおけます。点 を通るので
よって
問9 ★★
のグラフと座標軸との交点を調べ、グラフが通る象限をすべて求めなさい。
第1象限・第2象限・第3象限・第4象限のすべて
漸近線は , で、 なので、曲線は十字 の右上と左下に入ります。
のとき より 。 のとき 。交点は と です。
よって を通ります。十字の中心が第1象限にあっても、左下の部分は座標軸を 2 回横切ります。
問10 ★★
関数 のグラフが 2 直線 , を漸近線にもち、点 を通るとき、定数 ,, の値を定めなさい。
,,
分母が になる が縦の漸近線なので ,。分母の の係数が なので横の漸近線は ,よって 。
点 を通るので分子が :,。
このとき で、 なので、たしかに漸近線は , です。
問11 ★★
とします。関数 ()の値域が となるとき、 の値を定めなさい。
より 。漸近線 は区間の外で、 なので区間で右上がりです。
値域は の値 から の値までなので
よって ( を満たす)
問12 ★★
関数 の定義域を とするとき、値域を求めなさい。
より 。 なので、, のそれぞれで右上がりです。区間は漸近線 をまたぐので、左右に分けます。
値域は
両端の値 と だけを見て「」とするのは誤りです。実際は の値を 1 つもとりません。
問13 ★★
のグラフを、(1) 軸,(2) 軸,(3) 原点 に関してそれぞれ対称移動したグラフの方程式と、その漸近線を求めなさい。
(1) ,漸近線
(2) ,漸近線
(3) ,漸近線
二次関数の分野で学んだ置きかえ( 軸なら , 軸なら ,原点なら両方)を使います。
(1) より 。漸近線
(2) より 。漸近線
(3) より 。漸近線
十字の中心 も、それぞれ ,, へ同じ規則で移っています。
問14 ★★
関数 のグラフが点 について対称であるとき、定数 , の値を定めなさい。
,
対称の中心は 2 本の漸近線の交点です。縦の漸近線は ,横の漸近線は なので、交点は 。これが なので
このとき で、 なので直角双曲線になり、条件を満たします。
問15 ★★
関数 のグラフの対称の中心を求めなさい。また、グラフ上の点 とその中心について対称な点の座標を求め、その点もグラフ上にあることを確かめなさい。
対称の中心 ,対称な点 (グラフ上にある)
より 。漸近線は , で、対称の中心は
点 と対称な点は
を代入すると なので、点 は ことが確かめられました。
問16 ★★
関数 のグラフが 2 点 , を通り、直線 を漸近線にもつとき、定数 ,, の値と、もう 1 本の漸近線を求めなさい。
,,,漸近線
縦の漸近線 が なので 。
点 を通るので ,。
点 を通るので ,。
このとき なので、もう 1 本の漸近線は です()。
問17 ★★★
関数 の定義域を とします。ただし、 は または を満たす実数です。この関数の最大値が 以上となるような の値の範囲を求めなさい。
より 。 で、, のそれぞれで右下がりです。 なら区間は に、 なら に含まれるので、どちらの場合も最大値は左端 でとります。
のとき では なので 。最大値は より小さく、 以上にはなりません。
のとき 最大値は です。 に注意して
と合わせて 。
以上より
2 つ目の で両辺に を掛けられるのは、 だからです。符号が分からない式を掛けるときの注意は、第2章で詳しく扱います。
問18 ★★★
は でない定数とします。関数 のグラフが第3象限を通るような の値の範囲を求めなさい。
第3象限を通るとは、 かつ となる点がグラフ上にあることです。 の範囲は漸近線 の左側にあります。
のとき では なので 。第3象限は通りません。
のとき では右下がりで、 です。 の部分は、 の値 より上にあり、左へ行くほど に近づきます。つまり での の値は の範囲をすべてとります。この中に負の値があるための条件は
以上より
のときはグラフが原点を通り、 では なので、第3象限には入りません。グラフの位置を「 軸との交点が 軸より上か下か」で判定するのがポイントです。
問19 ★★★
関数 について、 のとき が成り立つことを示し、これを用いて のグラフが点 について対称であることを示しなさい。
(証明) から 、和は 。点 がグラフ上なら もグラフ上。
より 。 のとき なので も定義され
よって が成り立ちます。
次に、点 がグラフ上にある、すなわち ()とします。点 について対称な点は で、上の式から
なので、この点もグラフ上にあります。グラフ上のどの点についても、点 について対称な点がグラフ上にあるので、グラフは点 について対称です。(証明終)
一般に「」は、グラフが点 について対称であることを表す式です。
問20 ★★★
曲線 ()上の点 から、2 本の漸近線にそれぞれ垂線を引きます。2 本の垂線と 2 本の漸近線で囲まれる長方形について、(1) 面積は の位置によらず一定であることを示し、その値を求めなさい。(2) 周の長さの最小値と、そのときの の座標を求めなさい。
(1) 面積は (一定) (2) 最小値 ,
漸近線は , です。()とおくと、長方形の 2 辺の長さは
(1) 面積は で、 によらず (一定)です。
(2) ()とおくと、周の長さは 。相加平均と相乗平均の関係から
等号は ,すなわち のとき成り立ちます。よって周の長さの最小値は で、そのとき , より
十字を座標軸とみなすと、曲線は です。面積が一定なのは、反比例の「 と の積が一定」をそのまま長方形の面積として見たものです。
注射器の先を指でふさいで、ピストンを押し込んでみてください。中の空気は押し返してきます。半分まで押し込むと、押し返す力はおよそ 2 倍になります。
17 世紀のイギリスで、ロバート・ボイルはこの「空気のばね」を測りました。片方の端を閉じた J 字形のガラス管に水銀を注ぎ、閉じ込めた空気の体積と、それを押す圧力の関係を調べたのです。1662 年に発表された結果は、「温度が一定なら、気体の圧力 と体積 の積は一定」というものでした。
この章の そのものです。体積を にすれば圧力は 倍、 にすれば 倍。グラフは第1象限だけの直角双曲線になります。同じ関係は、フランスのエドム・マリオットも 1670 年代に独立に発表したので、フランスでは「マリオットの法則」とよばれることがあります(※イギリスでも、ボイルより前にヘンリー・パワーらが気づいていたという話があります)。
ただし、本物の気体は、いくらでも小さく押し縮められるわけではありません。気体をつくる分子そのものに大きさがあるからです。1873 年、オランダのファン・デル・ワールスは、分子が自由に動ける体積は、容器の体積 から分子自身の分だけ を引いた だと考えました(分子どうしが引き合う効果も加えて、1910 年にノーベル物理学賞を受けています)。引き合う効果を無視すると、式は
となります。公式2で横へのずれだけがある形、つまり反比例のグラフを右へ だけずらしたものです。縦の漸近線は から へ移ります。体積が に近づくと圧力は限りなく大きくなり、どれだけ強く押しても、分子の大きさより小さくはできない——漸近線の移動が、そのまま「分子には大きさがある」という主張になっているのです。
豆知識
ふもとで買ったポテトチップスの袋を持って山に登ると、袋がぱんぱんにふくらみます。富士山の山頂の気圧は、平地のおよそ 弱です。ボイルの法則だけで計算すると、袋の中の空気は約 倍の体積になろうとします(※実際には山頂の気温の低さや袋の伸び方でも変わります)。反対に、水に潜ると水深 m ごとに約 気圧ずつ圧力が増えるので、水深 m では肺の中の空気の体積はおよそ半分になります。
わたしたちの体の中では、酵素とよばれるたんぱく質が、食べ物の分解などの化学反応を大きく速めています。材料(基質)を増やすと反応は速くなりますが、いくらでも速くなるわけではありません。酵素 1 つが 1 秒間にこなせる仕事には限りがあるからです。
1913 年、ドイツのベルリンで、レオノール・ミカエリスとモード・メンテンは、砂糖(ショ糖)を分解する酵素の反応の速さを丁寧に測り、次の式にまとめました。基質の濃度を 、反応の速さを とすると
と は酵素ごとに決まる正の定数です。これは分子と分母が 1 次式の分数関数で、この章のやり方で割り算をすると
となります。 を平行移動した形で、漸近線は と です。実際に意味があるのは の部分だけで、グラフは原点から右上がりに立ち上がり、横の漸近線 に下から近づいていきます。基質をどれだけ増やしても、速さは上限 に届きません。
定数 にも分かりやすい意味があります。 を代入すると 。つまり は「上限のちょうど半分の速さになる濃度」です。 が小さい酵素ほど、少ない材料で素早く働けます。100 年以上たった今も、この式は生化学の教科書の最初のほうに載っています。
豆知識
実験のデータから と を読みとるのは、曲線のままでは大変です。そこで 1934 年、ラインウィーバーとバークは、式の両辺の逆数をとりました。
を横軸、 を縦軸にとると、データは直線に並びます。分数関数も、目盛りの取り方しだいで 1 次関数に見えるわけです。なお、共同研究者のメンテンは、カナダで医学の学位を得た最初期の女性の一人とされています(※「最初の」とする紹介もあり、資料によって言い方が違います)。
虫めがねで、窓の外の景色を白い紙に映してみましょう。紙を近づけたり離したりすると、ある距離でくっきりした逆さまの像が現れます。このとき、レンズから物体までの距離 、レンズから像までの距離 、レンズの焦点距離 の間には
という関係があります( で、紙に像が映る場合)。これをレンズの公式といいます。 について解くと
となり、 の分数関数です。漸近線は と 。遠くの山のように がとても大きいと、 はほとんど に等しくなります。カメラのピントリングにある「(無限遠)」の目盛りは、レンズと撮像素子の距離をちょうど にした位置です。
近くのものを撮るときは、レンズを だけ前へ繰り出します。焦点距離 mm のレンズで m 先の人を撮るなら
わずか mm です。ところが被写体を cm まで近づけると、 mm も繰り出さなければなりません。被写体が焦点距離に近づくほど繰り出し量が急に増えるのは、グラフが縦の漸近線 に沿って駆け上がっていくからです。接写のときにレンズの鏡筒が長く伸びたり、レンズとカメラの間に筒(接写リング)をはさんだりするのは、このためです。
豆知識
と を、レンズからではなく焦点から測った距離 , で書き直すと、公式は
というきれいな形になります。これは「ニュートンの結像式」とよばれます。漸近線の十字 を座標軸に選び直すと、ただの反比例に見える——この章の「十字ごと動かす」考え方を、光学の側から見たものです。
※ここは発展ページです。本文では「 のグラフは左右の部分それぞれで右上がり(右下がり)」「漸近線に限りなく近づく」「点 について対称」を、グラフを見て納得するだけにしていました。ここでは分数関数を定義し直し、これらの性質を証明します。極限の記号 は使いません(極限を使った漸近線の扱いは、微分積分の分野 第10章・第12章で学びます)。
, を の整式とし、 は でない(定数 ではない)とする。 を の分数式といい、関数
を の分数関数という。とくに断りがなければ、定義域は を満たす実数 全体とする。
定義域は「式の形」で決まることに注意してください。 は、約分すれば ですが、定義域は です。したがって のグラフは、直線 から点 を除いたものになり、直線 とは別の図形です。
以下、,, を定数として
とします。
とし、()とする。このとき
が成り立つ。したがって
証明 なので
1,2 はこの式から直ちに従う。(証明終)
本文の例 は ,,, で、 なので 2 の場合です。分数関数の式を条件から決める問題で、最後に「」を確かめたのは、答えが 2 の場合になっていないかを見るためでした。
次は向きです。実数全体の部分集合 で、 ならいつでも となるとき、 は で単調に減少するといいます。 となるときは単調に増加するといいます。
なら、 は区間 と区間 のそれぞれで単調に減少する。 なら、それぞれで単調に増加する。
しかし、 は定義域 全体では、単調に増加も減少もしない。
証明 , がともに ,またはともに にあり、 とする。
と は同符号なので、分母は正である。また 。よって は と同符号で、 なら , なら である。
後半について、 の場合、, とすると だが なので、定義域全体で単調に減少してはいない。一方、同じ区間の中では減少するので、単調に増加してもいない。 の場合も同様である。(証明終)
「 は減少関数である」という言い方は、定理2の後半により正しくありません。正しくは「, のそれぞれで減少する」です。本文の公式4で、定義域が漸近線をまたぐと両端の値だけでは値域が決まらなかったのは、この後半のためです。
の値域は、 以外の実数全体である。
証明 どの に対しても なので 。逆に、 以外の実数 を任意にとり
とおくと、 なので で、 から 。よって は値域に含まれる。(証明終)
証明の中で、 から を求める式 を作りました。これは「 の値から がただ 1 つ決まる」ことを示していて、第5章(逆関数)で使います。
どんな正の数 に対しても
が成り立つ。また、どんな正の数 に対しても
が成り立つ。さらに、 のグラフは直線 とも直線 とも共有点をもたない。
証明 である。 なら、分母が より大きいので 。 なら、同様に 。
共有点について、 は定義域に含まれず、 となる は定理3よりない。(証明終)
前半は「 を左右どちらへでも十分遠くへとれば、グラフと直線 の縦のずれを、どれだけ小さな よりも小さくできる」、後半は「 を に十分近くとれば、ずれをどれだけ大きな よりも大きくできる」ということです。 はグラフ上の点と直線 との距離ですから、前半が「 が漸近線」の中身です。後半は、グラフ上の点が上下に遠ざかるほど、その点と直線 との距離 が小さくなることを表していて、こちらが「 が漸近線」の中身です。本文の「限りなく近づく」は、この 2 つを言葉にしたものでした。
最後に、本文の公式5の対称性を、一般の関数の言葉で確かめます。
点 と図形 について、 上のどの点 に対しても、 について対称な点 が 上にあるとき、 は点 について対称であるという。
関数 の定義域 が、「 ならば 」を満たすとする。 のすべての で
が成り立つなら、 のグラフは点 について対称である。とくに のグラフは点 について対称である。
証明 点 がグラフ上にある、すなわち , とする。仮定から で、。よって点 もグラフ上にある。
については、定義域 は条件を満たし( なら )
なので、前半より従う。(証明終)
定理5の等式は、「 から左右に同じだけ離れた 2 か所の値の平均が、いつも になる」と読めます。実践問題 j19 は、この定理を具体的な関数で確かめたものです。3 次関数のグラフも、ある点について対称になることが知られていて、同じ等式で確かめられます。
この章の学習が終わったら
学習完了テストを受ける