実数の組\((x,y,z)\)で,どのような整数\(l,m,n\)に対しても,等式\[l\cdot10^{x-y}-nx+l\cdot10^{y-z}+m\cdot10^{x-z}=13l+36m+ny\]が成り立つようなものをすべて求めよ.
(大阪大)
もし日常で上のようなやりとりがあればWさんはちょっとアレなひとと評されますが,数学の問題を考える上ではWさんの姿勢の方が正しい。「なんでも」といった以上,例外は許されないからです。
そこでWさんと同じ姿勢で,「すべての」「任意の」と言われたのでその言葉を逆手にとり自分にとって都合の良い\(l,m,n\)を代入してやろう,と考えます。うまく文字が減ってくれそうなのは\(0\)ですから,これの代入を考えます。しかし\(l,m,n\)すべてに\(0\)と代入しても\(0=0\)という正しくも旨味のない式しか得られませんから,\(l,m,n\)のうち\(2\)つを\(0\),他を(簡単な)\(1\)と代入してみることにします。
\((l,m,n)=(1,0,0),(0,1,0),(0,0,1)\)と代入すると,\[\begin{cases}10^{x-y}+10^{y-z}=13\\10^{x-z}=36\\-x=y\end{cases}\]が得られるので,これを解いてみます。
\begin{align*}
&\begin{cases}10^{x-y}+10^{y-z}=13\\10^{x-z}=36\\-x=y\end{cases}\\
\Longleftrightarrow&\begin{cases}10^{x-y}+10^{y-z}=13\\z=x-\log_{10}36\\y=-x\end{cases}
\Longleftrightarrow\begin{cases}10^{2x}+10^{-2x+\log_{10}36}=13\\z=x-\log_{10}36\\y=-x\end{cases}\\
\Longleftrightarrow&\begin{cases}(10^{2x})^2-13\cdot10^{2x}+36=0\\z=x-\log_{10}36\\y=-x\end{cases}
\Longleftrightarrow\begin{cases}(10^{2x}-9)(10^{2x}-4)=0\\z=x-\log_{10}36\\y=-x\end{cases}\\
\Longleftrightarrow&\begin{cases}10^{2x}=9 \lor 10^{2x}=4\\z=x-\log_{10}36\\y=-x\end{cases}
\Longleftrightarrow\begin{cases}x=\log_{10}3 \lor x=\log_{10}2\\z=x-\log_{10}36\\y=-x\end{cases}\\
\Longleftrightarrow&\begin{cases}x=\log_{10}3\\y=-\log_{10}3\\z=\log_{10}3-\log_{10}36\end{cases}
\lor\begin{cases}x=\log_{10}2\\y=-\log_{10}2\\z=\log_{10}2-\log_{10}36\end{cases}
\end{align*}
よって\((x,y,z)=(\log_{10}3,-\log_{10}3,\log_{10}3-\log_{10}36)\)または\((\log_{10}2,-\log_{10}2,\log_{10}2-\log_{10}36)\)と求まります。
しかしこれをもって答えとしてはいけません。なぜならここで得られた結論は必要条件にしか過ぎず,十分条件であるとは限らないからです。つまり
\begin{align*}
&\forall l,m,n\in \mathbb{Z}[l\cdot10^{x-y}-nx+l\cdot10^{y-z}+m\cdot10^{x-z}=13l+36m+ny]\\
&\Longrightarrow\begin{cases}x=\log_{10}3\\y=-\log_{10}3\\z=\log_{10}3-\log_{10}36\end{cases}
\lor\begin{cases}x=\log_{10}2\\y=-\log_{10}2\\z=\log_{10}2-\log_{10}36\end{cases}
\end{align*}
ですが
\begin{align*}
&\forall l,m,n\in \mathbb{Z}[l\cdot10^{x-y}-nx+l\cdot10^{y-z}+m\cdot10^{x-z}=13l+36m+ny]\\
&\Longleftarrow\begin{cases}x=\log_{10}3\\y=-\log_{10}3\\z=\log_{10}3-\log_{10}36\end{cases}
\lor\begin{cases}x=\log_{10}2\\y=-\log_{10}2\\z=\log_{10}2-\log_{10}36\end{cases}
\end{align*}
とは限らない,ということです。なので逆(\(\Leftarrow\))を調べる必要があります:
\((x,y,z)=(\log_{10}3,-\log_{10}3,\log_{10}3-\log_{10}36)\)のとき
式\[l\cdot10^{x-y}-nx+l\cdot10^{y-z}+m\cdot10^{x-z}=13l+36m+ny\]にこれらを代入すると\[13l+36m+(-\log_{10}3)n=13l+36m+(-\log_{10}3)n\]となり,これは明らかにすべての\(l,m,n\in\mathbb{Z}\)で成り立つ。
\((x,y,z)=(\log_{10}2,-\log_{10}2,\log_{10}2-\log_{10}36)\)のとき
上と同様にこれらを代入すると\[13l+36m+(-\log_{10}2)n=13l+36m+(-\log_{10}2)n\]が得られ,やはりすべての\(l,m,n\in\mathbb{Z}\)で成り立つ。
これで逆も言えました。すなわち
\begin{align*}
&\forall l,m,n\in \mathbb{Z}[l\cdot10^{x-y}-nx+l\cdot10^{y-z}+m\cdot10^{x-z}=13l+36m+ny]\\
&\Longleftrightarrow\begin{cases}x=\log_{10}3\\y=-\log_{10}3\\z=\log_{10}3-\log_{10}36\end{cases}
\lor\begin{cases}x=\log_{10}2\\y=-\log_{10}2\\z=\log_{10}2-\log_{10}36\end{cases}
\end{align*}であることが分かり,今度は自信をもって\((x,y,z)=(\log_{10}3,-\log_{10}3,\log_{10}3-\log_{10}36)\)または\((\log_{10}2,-\log_{10}2,\log_{10}2-\log_{10}36)\)が答えであるといえます。
追記:
次のような解法はどうでしょうか。
\(l\cdot10^{x-y}-nx+l\cdot10^{y-z}+m\cdot10^{x-z}=13l+36m+ny\)の左辺を\(l,m,n\)で整理して係数を比較してはどうか?
すなわち,
\begin{align*}
&\forall x \in \mathbb{Z}[l\cdot10^{x-y}-nx+l\cdot10^{y-z}+m\cdot10^{x-z}=13l+36m+ny]\\
\Longleftrightarrow~&\forall x \in \mathbb{Z}[(10^{x-y}+10^{y-z})l+10^{x-z}m+(-x)n=13l+36m+yn]\\
\overset{(\ast)}{\Longleftrightarrow}~&\begin{cases}10^{x-y}+10^{y-z}=13\\10^{x-z}=36\\-x=y\end{cases}\\
\Longleftrightarrow~&\cdots\\
\Longleftrightarrow~&\begin{cases}x=\log_{10}3\\y=-\log_{10}3\\z=\log_{10}3-\log_{10}36\end{cases}
\lor\begin{cases}x=\log_{10}2\\y=-\log_{10}2\\z=\log_{10}2-\log_{10}36\end{cases}
\end{align*}
です。得られる3つの式は同じなので一見正しそうです。このアプローチについて詳しく見てみます。(つづく)