高校数学の窓LaTeX版: 質問＜３５８０＞２００７／７／２２from=どっと「指数・対数の問題」

「 $x>0$ , $y>0$ で $y^{\log_2 x}=4$ となる $(xy)^2$ のとりうる値の範囲を求め
よ。」を教えてください。よろしくお願いします。

ふ～～ん･･････。この問題難しいですね。ちょっとやっていってみます。
基本的に問題の数式変換をしていくと、

$\log_2 y^{\log_2 x}=\log_2 4$
$\log_2 x\times\log_2 y=\log_2 2^2$
$\therefore\log_2 x\log_2y=2$

とはなるんですが、『だからどーした!?』とかツッコミそうになります(笑)。そりゃそうだ(笑)。
しょうがないんで、取りあえず $u=\log_2 x$ 、 $v=\log_2 y$ として

$uv=2$

とでもしましょうか。依然として『だから?』ってカンジですけどね(笑)。式は簡単になりましたが、依然とx、y単独に付いては何も分かりませんし。しかも『取りうる値の範囲』ですから、何の情報にもなりそうにありません。
一応上の式をプロットしてみましょうか。何か分かるかな?

分かりませんね(爆)。これはいわゆる反比例のグラフですがuが増えればvが減る、なんてこたぁ言われなくても初めから分かっていた事です。これじゃあ何にもなりません。クソ。
どうやら方針変更するしか無いですね。上の式ですと、見た目にはuが自由な値を取っても良さそうですし、vもしかり、です。かけた値が2と言う固定した値に収まるだけで、何の情報も与えてくれそうにない。もっとuとvを切り離して、もうちょっと情報を与えるなり、制限を加えてくれる条件があれば良さそうなんですが・・・・・・。
そこでちょっと視点を移してみます。 $uv=2$ と言うフォームに注目して、もっとuとvが絡み合ってなくて、どんな場合にも使える普遍的な制限が何か無いのか･･････と言うと実はあったんですね。次の式がそれです。

$uv\le\frac{u^2+v^2}{2}$

はい。お馴染みの相加平均･相乗平均の関係式、ですね。これである程度動き回るuとvに制限を付けてくれそうです。まだxとyそのものに付いては何も分かりませんが、とりうる値の範囲を求めると言う命題には一役買ってくれそうです。
しかも左辺の値は既に分かってますんで、

$\frac{u^2+v^2}{2}\ge2$
$\therefore u^2+v^2\ge 2^2$

となります。そして上の式はu-v平面での円の公式を表してるんですよ。しめしめ。

$\vec{r}=(u,v)$ が上図の円の範囲内に存在したらアウトですが、円の外側だったらどんな $\vec{r}$ でも取りえます。これで少しは見通しが良くなりそうです。すなわち、

$u=|\vec{r}|\cos{\theta}$

$v=|\vec{r}|\sin{\theta}$

として構わない、と言う事です。そして、 $\theta$ は今のトコどんな値も取れますが、先ほどの図により $|\vec{r}|\ge 2$ でなければならない事が分かります。
ところで、元々 $u=\log_2 x$ 、 $v=\log_2 y$ だったので、

$\log_2 x=|\vec{r}|\cos{\theta}$

$\log_2 y=|\vec{r}|\sin{\theta}$

と言う事です。そしてこの時点で、 $uv\not=0$ だった事から、 $\theta\not=\frac{n}{2}\pi$ 、 $n=0,1,2,3\dots$ だと言う事が分かります。また、 $uv=|\vec{r}|^2\sin{\theta}cos{\theta}$ なんで $|\vec{r}|\ge 2$ より $\sin{\theta}>0$ なら $\cos{\theta}>0$ 。または $\sin{\theta}<0$ なら $\cos{\theta}<0$ だと言う事が分かります。つまりu-v平面上で言うと $\vec{r}$ は第1象限上、または第3象限上にしか存在しないのです。このアトは明示しませんが、一応頭の片隅に置いておいて下さい。
書き換えると、

$x=2^{|\vec{r}|\cos{\theta}}$

$y=2^{|\vec{r}|\sin{\theta}}$

となりますね。こう言うカタチでx、yを分解して記述出来ました。すなわち、題意の $(xy)^2$ は

$(xy)^2=(2^{|\vec{r}|\cos{\theta}}\times 2^{|\vec{r}|\sin{\theta}})^2$
$\therefore (xy)^2=2^{2|\vec{r}|(\cos{\theta}+\sin{\theta})}$

と記述出来ます。
ところで、現在、x、yを記述するパラメータは $|\vec{r}|$ 、 $\theta$ の二つです。そして先ほども言ったように、今、分かっているのは $|\vec{r}|\ge 2$ と言う事で、2以上だったら $|\vec{r}|$ はいくらでも大きく出来ます。と言う事は $\theta$ の値がいくらであろうが最大値を考える事は無意味なんです。すなわち、実は範囲を求めよと言うのは $(xy)^2$ の最小値を求めよ、って事になるんです。
そうなると、 $|\vec{r}|$ の最小値は2である事は確定なので、 $\cos{\theta}+\sin{\theta}$ の最小値を求めれば問題が解ける事になります。ちなみに $\cos{\theta}+\sin{\theta}$ のグラフは以下の様になります。

まあ当然ですが、 $\cos{\theta}+\sin{\theta}$ は上のグラフの様に振動します。最大値(これは無視して構わない)と最小値があります。
最小値を求めるには、解析がお好きだったら $\cos{\theta}+\sin{\theta}$ を微分して求めてみたらイイでしょう。ないしは微分なんてしなくっても、高校2年の三角関数程度の知識で最小値は簡単に分かるとは思います。
ちなみに、 $0\le\theta\le\2\pi$ の範囲で $\theta=\frac{5}{4}\pi$ の時 $\cos{\theta}+\sin{\theta}$ はその最小値 $-sqrt{2}$ をとります。
従って、

$(xy)^2\ge 2^{-4sqrt{2}}$
$\therefore (xy)^2\ge \frac{1}{2^{4sqrt{2}}}$

となります。

以上です。

上図:与題の幾何的解釈。本文では円を中心に展開していったが、実際u-v平面上、と言う事で考えれば最初の $v=\frac{2}{u}$ のグラフと $u^2+v^2=2^2$ のグラフを同時にプロットしても構わない。そして、 $\vec{r}$ は円内でなければどこでもプロットできる、と言う言い方をしたが、上を見ても分かるように、実際は $\vec{r}$ は $v=\frac{2}{u}$ 上に存在する。

修正です。

UnderBird氏のお陰でミスに気づきました。これもやり直した方が良さそうです。
微分積分を介入させたくない場合は、＜3584＞のUnderBird氏の解法に従って解いていってみて下さい。
ここでは微分法を介在して解きなおしてみます。

前出の方法では $|\vec{r}|=2$ として固定して解こう、と考えてたんですが、どうやらここでも $|\vec{r}|$ を $\theta$ の関数として正攻法でやったほうが良さそうですね。あんまメンド臭い方法を使いたくなかったんですが、ウラメに出たみたいです。
どちらにしても題意は

$(xy)^2=2^{2|\vec{r}|(\cos{\theta}+\sin{\theta})}$

と表現出来るので、

$Q=|\vec{r}|(\cos{\theta}+\sin{\theta})$

がどうなるのか、と言う視点で考えてみます。
合成関数の微分公式

$D(wz)=\dot{w}z+w\dot{z}$

を用いるとQの微分 $\dot{Q}$ は

$\dot{Q}=\dot{|\vec{r}|}(\cos{\theta}+\sin{\theta})+|\vec{r}|(\cos{\theta}-\sin{\theta})$

と書き表せます。同様にして

$f(\theta)=uv=|\vec{r}|^2\cos{\theta}\sin{\theta}$

を微分すると、

$\dot{f(\theta)}=\dot{|\vec{r}|}|\vec{r}|\sin{2\theta}+|\vec{r}|^2\cos{2\theta}$

となります。 $\dot{Q}=0$ , $\dot{f(\theta)}=0$ の時、 $Q$ 、 $f(\theta)$ は極値を取るので、

$\dot{|\vec{r}|}(\cos{\theta}+\sin{\theta})+|\vec{r}|(\cos{\theta}-\sin{\theta})=0$
$\dot{|\vec{r}|}\sin{2\theta}+|\vec{r}|\cos{2\theta}=0$

が解くべき連立方程式となります。行列表記して書き直すと、

$\left(\begin{array}\cos{\theta}+\sin{\theta}&\cos{\theta}-\sin{\theta}\\\sin{2\theta}&\cos{2\theta}\end{array}\right)\left(\begin{array}\dot{|\vec{r}|}\\|\vec{r}|\end{array}\right)=\left(\begin{array}0\\0\end{array}\right)$

となり、求めるべきは自明ではない解なので、

$A=\left(\begin{array}\cos{\theta}+\sin{\theta}&\cos{\theta}-\sin{\theta}\\\sin{2\theta}&\cos{2\theta}\end{array}\right)$

は逆行列を持ちません。従って行列式 $\det{A}=0$ より

$\cos{2\theta}(\cos{\theta}+\sin{\theta})-\sin{2\theta}(\cos{\theta}-\sin{\theta})=0$

加法定理を利用して整理して

$\sin{\theta}=\cos{\theta}$
$\therefore \theta=\pi/4+n\pi$ 、 $n=0,1,2,3\dots$

よって前出の通り、 $\vec{r}$ は第一象限、第三象限にしか存在しないので、 $0<\theta<\frac{\pi}{2}$ 、 $\pi<\theta<\frac{3}{2}\pi$ の二つの範囲に関して増減を調べれば事足ります。

$0<\theta<\frac{\pi}{2}$ の増減表

$\theta$
0
$\dots$
$\frac{\pi}{4}$
$\dots$
$\frac{\pi}{2}$
$\dot{Q}$

-
0
+

Q
$\infty$
$\searrow$
$2\sqrt{2}$
$\nearrow$
$\infty$
$(xy)^2$
$\infty$
$\searrow$
$2^{4\sqrt{2}}$
$\nearrow$
$\infty$

$\pi<\theta<\frac{3}{2}\pi$ の増減表

$\theta$
$\pi$
$\dots$
$\frac{5}{4}\pi$
$\dots$
$\frac{3}{2}\pi$
$\dot{Q}$

+
0
-

Q
$-\infty$
$\nearrow$
$-2\sqrt{2}$
$\searrow$
$-\infty$
$(xy)^2$
0
$\nearrow$
$\frac{1}{2^{4\sqrt{2}}}$
$\searrow$
0

と言うワケで、

$0<(xy)^2\le\frac{1}{2^{4\sqrt{2}}}$ 、 $(xy)^2\ge 2^{4\sqrt{2}}$

のようです。
失礼致しました。

高校数学の窓LaTeX版

高校数学の窓過去問検索

質問＜３５８０＞２００７／７／２２from=どっと「指数・対数の問題」

0 コメント:

New

分類

ツール

数学ガール

たけしのコマ大数学科

ガスコン研究所

数学系ブログ記事

$\theta$	0	$\dots$	$\frac{\pi}{4}$	$\dots$	$\frac{\pi}{2}$
$\dot{Q}$		-	0	+
Q	$\infty$	$\searrow$	$2\sqrt{2}$	$\nearrow$	$\infty$
$(xy)^2$	$\infty$	$\searrow$	$2^{4\sqrt{2}}$	$\nearrow$	$\infty$

$\theta$	$\pi$	$\dots$	$\frac{5}{4}\pi$	$\dots$	$\frac{3}{2}\pi$
$\dot{Q}$		+	0	-
Q	$-\infty$	$\nearrow$	$-2\sqrt{2}$	$\searrow$	$-\infty$
$(xy)^2$	0	$\nearrow$	$\frac{1}{2^{4\sqrt{2}}}$	$\searrow$	0