順像法と逆像法(自然法と逆手法)

定理
  • 順像法(順手流・順手法・自然流)
    変数を1つ固定し,他の変数に応じて図形がどのように動くか調べる。

  • 逆像法(逆手流・逆手法)
    各点 (x,y)(x,y) に対して図形が通過するかどうか調べる。(存在条件を調べる)

この記事では,通過領域を求める際に用いられる2つの手法を解説します。

イメージ

pic00

通過領域を求める問題では,変数(例えば tt)を代入すると,それに応じた図形 CtC_t が得られます。

この対応を「関数」だと思いましょう。

  • 順像法は,tt を入れて出てきたものを観察する方法です。
  • 逆像法は,この (x,y)(x,y) が出力される tt は存在するだろうかと考察する方法です。

さて,実際に具体的な計算例を見ていきましょう。

例題

次の例題を用いて解説します。

例題
  1. tt が実数全体を動くとき,直線 y=2txt2y = 2tx - t^2 の通過領域を求めよ。
  2. tt0t20 \leqq t \leqq 2 の範囲を動くとき,直線 y=2txt2y = 2tx - t^2 の通過領域を求めよ。

イメージ図

pic01

pic04

順手法

まずは順手法で解いてみます。

1の解

求める通過領域を CC とする。

CC を直線 x=kx=k での切り口の yy 座標の範囲を求める。

直線の式に x=kx=k を代入すると y=2tkt2=(tk)2+k2\begin{aligned} y &= 2tk - t^2\\ &= -(t-k)^2 + k^2 \end{aligned} である。

tt は任意の実数値を取るので yk2y \leqq k^2 である。

よって CCyx2y \leqq x^2 となる。

2の解

1の計算同様にすると x=kx = k において y=(tk)2+k2 y = -(t-k)^2 + k^2 となる。

f(t)=(tk)2k2f(t) = -(t-k)^2 - k^2 とおく。 二次関数の軸は t=kt = k となる。

  1. k<0k < 0 のとき
    t=2t = 2 のとき最小値 4k44k-4t=0t = 0 のとき最大値 00 を取る。

  2. 0k10 \leqq k \leqq 1 のとき
    t=2t = 2 のとき最小値 4k44k-4t=kt = k のとき最大値 k2k^2 を取る。

  3. 1<k21 < k \leqq 2 のとき
    t=0t = 0 のとき最小値 00t=kt = k のとき最大値 k2k^2 を取る。

  4. 2<k2 < k のとき
    t=0t = 0 のとき最小値 00t=2t = 2 のとき最大値 4k44k-4 を取る。

以上をまとめると {4x4y0(x<0)4x4yx2(0x1)0yx2(1<x2)0y4x4(2<x)\begin{cases} 4x-4 \leqq y \leqq 0 &(x < 0)\\ 4x-4 \leqq y \leqq x^2 &(0 \leqq x \leqq 1)\\ 0 \leqq y \leqq x^2 &(1 < x \leqq 2)\\ 0 \leqq y \leqq 4x-4 &(2 < x) \end{cases} となる。

x=kx=k での切り口を考えて解きました。このような手法は順手法の中でもファクシミリの原理と呼ばれます。
→ファクシミリの原理と通過領域の例題2問

逆手法

1の解

通過領域を CC とする。

(X,Y)C(X,Y) \in C とする。このとき,ある tt があって,直線 y=2txt2y = 2tx - t^2 上に (X,Y)(X,Y) がある。

ゆえに

  • (X,Y)C(X,Y) \in C     \iff Y=2tXt2Y = 2tX - t^2 を満たす実数 tt が存在

となる。式を変形することで

  • (X,Y)C(X,Y) \in C     \iff t22tX+Y=0t^2 - 2tX + Y = 0 を満たす実数 tt が存在

となる。t22tX+Y=0t^2 - 2tX + Y = 0 の判別式を DD とすると D=X2Y D = X^2 - Y となる。

以上をまとめると

  • (X,Y)C    D0(X,Y) \in C \iff D \geqq 0 すなわち YX2Y \leqq X^2

である。

よって CCyx2y \leqq x^2 となる。

2の解

1と同様に考えると,t22tX+Y=0t^2 - 2tX + Y = 00t20 \leqq t \leqq 2 の範囲に解を持つ条件を求めればよい。

f(t)=t22tX+Yf(t) = t^2 - 2tX + Y とおく。

f(t)=(tX)2X2+Y f(t) = (t-X)^2 - X^2 + Y

XX を自由に動かしたときの f(t)f(t) の最小値が 00 より以下で,最大値が 00 以上である条件を求めるとよい。

  1. X<0X < 0 のとき
    fft=2t=2 のとき最小値 44X+Y4-4X+Yt=0t=0 のとき最大値 YY を取る。
    よって,求めるべき条件は 44X+Y04-4X+Y \leqq 0Y0Y \geqq 0 である。

  2. 0X10 \leqq X \leqq 1 のとき
    fft=2t=2 のとき最小値 44X+Y4-4X+Yt=Xt=X のとき最大値 YX2Y-X^2 を取る。
    よって,求めるべき条件は 44X+Y04-4X+Y \leqq 0YX20Y-X^2 \geqq 0 である。

  3. 1<X21 < X \leqq 2 のとき
    fft=0t=0 のとき最小値 YYt=Xt=X のとき最大値 YX2Y-X^2 を取る。
    よって,求めるべき条件は Y0Y \leqq 0YX20Y-X^2 \geqq 0 である。

  4. 2<X2 < X のとき
    fft=0t=0 のとき最小値 YYt=2t=2 のとき最大値 44X+Y4-4X+Y を取る。
    よって,求めるべき条件は Y0Y \leqq 044X+Y04-4X+Y \geqq 0 である。

以上をまとめると {4x4y0(x<0)4x4yx2(0x1)0yx2(1<x2)0y4x4(2<x)\begin{cases} 4x-4 \leqq y \leqq 0 &(x < 0)\\ 4x-4 \leqq y \leqq x^2 &(0 \leqq x \leqq 1)\\ 0 \leqq y \leqq x^2 &(1 < x \leqq 2)\\ 0 \leqq y \leqq 4x-4 &(2 < x) \end{cases} となる。

どっちでやるのが簡単?

順手法と逆手法のどちらで解くのが簡単か,それは問題によります。

例えば先ほどの例題はどちらで解いても難易度はそこまで変わりません。

それではここからの例題2問,それぞれどちらでやるのが簡単か,考えてみましょう。

例題2

x,yx,y がそれぞれ x>0,y<1x > 0, y < 1 の範囲で動くとき,点 (X,Y)=(x+y,xy)(X,Y) = (x+y,xy) の動く範囲を求めよ。

これは逆手法で解きましょう。本問のように変数が複数ある場合は,順手法は難しいです。

解答

求める領域を CC とおく。

t2Xt+Y=0t^2 - Xt + Y = 0x,yx,y を解に持つ二次方程式である。

この方程式が 11 より小さい解と 00 より大きい解の2解を持つ条件を調べる。

特に,2解が共に 11 以上のときと,2解が共に 00 以下の場合を求めれば,その補集合が DD である。

方程式の判別式を DD とおくと,D=X24YD = X^2 - 4Y である。よって,実数解を持つためには Y14X2Y \leqq \dfrac{1}{4} X^2 が必要となる。

以下,f(t)=t2Xt+Yf(t) = t^2 - Xt + Y とおく。

(i) 2解が 11 以上のとき

条件は

  • f(1)0f(1) \geqq 0,対称軸について X21\dfrac{X}{2} \geqq 1

の2つである。それぞれ

  • YX1Y \geqq X-1X2X \geqq 2

と表される。

(ii) 2解が 00 以下のとき

条件は

  • f(0)0f(0) \geqq 0,対称軸について X20\dfrac{X}{2} \leqq 0

の2つである。それぞれ

  • Y0Y \geqq 0X0X \leqq 0

と表される。

以上より求める範囲は {Y<0(X0)Y14X2(0<X<2)Y<X1(2X)\begin{cases} Y < 0 &(X \leqq 0)\\ Y \leqq \dfrac{1}{4} X^2 &(0 < X < 2)\\ Y < X-1 &(2 \leqq X) \end{cases} となる。

図示すると下図のようになる。(点線は含まない)

pic02

(なお,上図ではイメージしやすいように点を打ってあるが,実際に答案にする際に描く必要はない)

それでは次の問題です。

例題3

実数 tt0t10 \leqq t \leqq 1 の範囲を動く。このとき,2点 (t,t2)(t,t^2)(t+1,0)(t+1,0) を通る直線が通過する領域を求めよ。

一見逆手法のほうが簡単に見えます。

実際に直線の式を計算すると y=t2(xt)+t2=t2x+t3+t2\begin{aligned} y &= -t^2 (x-t) + t^2\\ &= -t^2 x + t^3 + t^2 \end{aligned} となり,tt の3次式について考察することになります。

2次なら判別式を考えて計算できますが,今回はやや大変そうです。というわけで順手法でいきましょう。

求める領域を CC とする。

直線の式は y=t2x+t3+t2 y = -t^2 x + t^3 + t^2 である。

x=kx = kCC を切ったとき,その切り口の yy 座標は y=t3(k1)t2 y = t^3 - (k-1) t^2 と表される。

y=3t22(k1)t=3t(t23(k1))\begin{aligned} y' &= 3t^2 - 2(k-1) t\\ &= 3 t \left( t - \dfrac{2}{3} (k-1) \right) \end{aligned} であるため,t=0,23(k1)t = 0 , \dfrac{2}{3} (k-1) で極値をとる。

  1. 23(k1)0\dfrac{2}{3} (k-1) \leqq 0 すなわち k1k \leqq 1 のとき
    増減表は t01y0++y02k\begin{array}{c|ccc} t & 0 & \cdots & 1\\ \hline y' & 0 & + & +\\ \hline y & 0 & \nearrow & 2-k \end{array} である。

  2. 023(k1)10 \leqq \dfrac{2}{3} (k-1) \leqq 1 すなわち 1k521 \leqq k \leqq \dfrac{5}{2} のとき
    増減表は t023(k1)1y00+y0427(k1)32k\begin{array}{c|ccccc} t & 0 & \cdots & \dfrac{2}{3} (k-1) & \cdots & 1 \\ \hline y' & 0 & - & 0 & + & \\ \hline y & 0 & \searrow & -\dfrac{4}{27} (k-1)^3 & \nearrow & 2-k \end{array} である。

  3. 23(k1)1\dfrac{2}{3} (k-1) \geqq 1 すなわち k52k \geqq \dfrac{5}{2} のとき
    増減表は t01y0y02k\begin{array}{c|ccc} t & 0 & \cdots & 1\\ \hline y' & 0 & - & -\\ \hline y & 0 & \searrow & 2-k \end{array} である。

増減表を元に値域をまとめると次のようになる。 {0y2x(x1)427(x1)3y2x(1x2)427(x1)3y0(2y52)2xy0(52x)\begin{cases} 0 \leqq y \leqq 2-x &(x \leqq 1)\\ -\dfrac{4}{27} (x-1)^3 \leqq y \leqq 2-x &(1 \leqq x \leqq 2)\\ -\dfrac{4}{27} (x-1)^3 \leqq y \leqq 0 &\left( 2 \leqq y \leqq \dfrac{5}{2} \right)\\ 2-x \leqq y \leqq 0 &\left( \dfrac{5}{2} \leqq x \right) \end{cases}

pic03

(なお,上図ではイメージしやすいように線を引いてあるが,実際に答案にする際に描く必要はない)

+α+\alpha の話~包絡線について

tt などのパラメタに応じて動く曲線群に対して,全ての曲線と接する曲線のことを包絡線と言います。

詳しくは 包絡線の求め方と例題 をご覧ください。

その他例題

東京大学理科2021年大問1は軌跡の問題で,順手法・逆手法で解くことができます。是非トライしてみてください。 → 【解答・解説】東大理系数学2021

今回紹介した例題のように,二次関数や三次関数の解の問題に帰着されることが多いです。三角関数や対数関数に帰着される場合もあります。