Red cat の数学よもやま話・新装開店

はてなダイアリー「Red cat の数学よもやま話」から徐々にこちらに移行していきます。

対数の値

a = \log_2 3

関数電卓も近似値もいらないよ!普通に解けるよ!

定義から 2^a = 3 \lt 4 = 2^2 ですから少なくとも a \lt 2 はわかるので, 4番目の選択肢は除外されますね.

2^a = 3 の両辺を2乗すると 2^{2a} = 9 \gt 8 = 2^3 なので, 2a \gt 3, つまり a \gt \dfrac32 です. これで3番目の選択肢も除外されます.

2^a = 3 の両辺を3乗すると 2^{3a} = 27 \lt 32 = 2^5 なので 3a \lt 5, つまり a \lt \dfrac53 です.

つまり \dfrac32 \lt a \lt \dfrac53 が正解でした.

余談ですが 2^a = 3 の両辺を5乗すると 2^{5a} = 3^5 = 243 \lt 256 = 2^8 なので, 5a \lt 8, つまり a \lt \dfrac85 です.

したがって 1.5 = \dfrac32 \lt a \lt \dfrac85 = 1.6 が分かります.

ヘンテコ指数方程式

方程式 x^{x^5} = 100 を解け.

ツイートの画像は英語が正しいか怪しいので日本語で書き直します(苦笑).

y = x^5 とおくと x = y^\frac15 なので, 方程式は
y^\frac{y}{5} = 10^2
と書き直せます. 両辺を5乗すれば y^y = 10^{10} となるので y = 10 です.

つまり x^5 = 10 なので x = 10^\frac15 です.

続きを読む

固定ツイート問題の解答

立方根を外すときの常套手段で, とりあえず
x = \sqrt[3]{170 + 78\sqrt{3}}, y = \sqrt[3]{170 - 78\sqrt{3}} とおきます.

x^3 + y^3 = 340 はすぐにわかります.

\begin{split}
xy &= \sqrt[3]{170^2 - 78^2\cdot 3} \\
   &= \sqrt[3]{28900 - 18252} \\
   &= \sqrt[3]{10648} \\
   &= \sqrt[3]{8\cdot 1331} \\
   &= \sqrt[3]{22^3} = 22.
\end{split}

x^3 + y^3 = (x + y)^3 - 3xy(x + y) と変形して (x + y)^3 - 66(x + y) = 340 です.

t^3 - 66t -340 = (t - 10)(t^2 + 10t + 34) で, x + y は実数ですから x + y = 10 となります.

したがって x, y二次方程式 s^2 - 10s + 22 = 0 の解で, 特に x はそのうちの大きい方です. 実際に解くと s = 5 \pm \sqrt{3} となるので x = 5 + \sqrt{3} となります.

固定ツイート問題の解答

x^x = \dfrac{1}{\sqrt{2}} を解け.

まず, 方程式 x^x = a (\gt 0) が解を持つ条件を調べてみます.
y = x^x とおくと \log y = x \log x です. 両辺を x について微分して
\dfrac{y'}{y} = 1 + \log x
となるので y' = x^x (1 + \log x) となり, x = \dfrac{1}{e} のとき最小値 e^{-\frac{1}{e}} = 0.6922\dots となります.

\dfrac{1}{\sqrt{2}} = 0.707\dots ですから, 与えられた方程式は解を持つことはわかりました. ただし方程式 x^x = ae^{-\frac{1}{e}} \lt a \lt 1 の範囲では解を二つ持ちます. それはグラフからもわかります. 今は a = \dfrac{1}{\sqrt{2}} = \left(\dfrac12\right)^\frac12 を考えていますから, 解の一つは x = \dfrac12 です.

解の一つは x = 1/2

続きを読む