方針の立て方

(1)
対数の底が揃っていないため，底を揃える．後は普通の対数方程式の計算である．

(2)
計算するだけ．

(3)
$f\left(\alpha+\beta\right)$ と $g\left(\alpha+\beta\right)$ を実際に書き下す．2の累乗まで分解できるため，この2の累乗を消去すればよいと考える． $f\left(x\right)$ と $g\left(x\right)$ の表式から，二式を足し引きすると，単純な2の累乗にできると判断する．

解答例

(1)
真数条件より， $\begin{cases} f\left(x\right)-2>0 \\ f\left(x-1\right)-\frac{3}{2}>0 \\ f\left(x\right)+g\left(x\right)-2>0 \end{cases}\Leftrightarrow\begin{cases} f\left(x\right)>2 \\ f\left(x-1\right)>\frac{3}{2} \\ f\left(x\right)+g\left(x\right)>2 \end{cases}\Leftrightarrow\begin{cases} 2^x+2^{-x}>2 \\ 2^{x-1}+2^{-\left(x-1\right)}>\frac{3}{2} \\ 2\cdot2^x>2 \end{cases}$
ここで，相加相乗平均の関係式より，
$2^x+2^{-x}\geqq2\sqrt{2^x\cdot2^{-x}}=2,2^{x-1}+2^{-\left(x-1\right)}\geqq2\sqrt{2^{x-1}\cdot2^{-\left(x-1\right)}}=2$
(等号成立は，それぞれ $2^x=2^{-x}\Leftrightarrow x=0,2^{x-1}=2^{-\left(x-1\right)}\Leftrightarrow x=1$ )であるから，真数条件は，
$\begin{cases} x\neq0 \\ 2\cdot2^x>2 \end{cases}\Leftrightarrow\begin{cases} x\neq0 \\ x>0 \end{cases}\Leftrightarrow x>0$
となる．
${\mathrm{log}}_\frac{1}{2}{\left\{f\left(x\right)-2\right\}}=\frac{{\mathrm{log}}_2{\left\{f\left(x\right)-2\right\}}}{{\mathrm{log}}_2{\frac{1}{2}}}=-{\mathrm{log}}_2{\left\{f\left(x\right)-2\right\}}$
$2\log_4{\left\{f\left(x\right)+g\left(x\right)-2\right\}}=2\cdot\frac{\log_2{\left\{f\left(x\right)+g\left(x\right)-2\right\}}}{\log_2{4}}=\log_2{\left\{f\left(x\right)+g\left(x\right)-2\right\}}$
であるから，
${\mathrm{log}}_\frac{1}{2}{\left\{f\left(x\right)-2\right\}}+\log_2{\left\{f\left(x-1\right)-\frac{3}{2}\right\}}+2\log_4{\left\{f\left(x\right)+g\left(x\right)-2\right\}}=1\Leftrightarrow-{\mathrm{log}}_2{\left\{f\left(x\right)-2\right\}}+\log_2{\left\{f\left(x-1\right)-\frac{3}{2}\right\}}+\log_2{\left\{f\left(x\right)+g\left(x\right)-2\right\}}=1\Leftrightarrow\log_2{\frac{\left\{f\left(x-1\right)-\frac{3}{2}\right\}\left\{f\left(x\right)+g\left(x\right)-2\right\}}{\left\{f\left(x\right)-2\right\}}}=1\Leftrightarrow\frac{\left\{f\left(x-1\right)-\frac{3}{2}\right\}\left\{f\left(x\right)+g\left(x\right)-2\right\}}{\left\{f\left(x\right)-2\right\}}=2\Leftrightarrow\left\{f\left(x-1\right)-\frac{3}{2}\right\}\left\{f\left(x\right)+g\left(x\right)-2\right\}=2\left\{f\left(x\right)-2\right\}\Leftrightarrow\left\{2^{x-1}+2^{-\left(x-1\right)}-\frac{3}{2}\right\}\left(2\cdot2^x-2\right)=2\left(2^x+2^{-x}-2\right)\Leftrightarrow\left(2^x\right)^3-6\left(2^x\right)^2+11\cdot2^x-6=0\Leftrightarrow\left(2^x-1\right)\left(2^x-2\right)\left(2^x-3\right)=0\Leftrightarrow2^x=1,2,3\Leftrightarrow x=0,1,{\mathrm{log}}_2{3}$
真数条件より $x=0$ は不可．
よって， $x=1,{\mathrm{log}}_2{3}$ ……(答)

(2)
$f\left(1\right)f\left(-1\right)+g\left(1\right)g\left(-1\right)=\left(2^1+2^{-1}\right)\left(2^{-1}+2^1\right)+\left(2^1-2^{-1}\right)\left(2^{-1}-2^1\right)=4$ ……(答)

(3)
$f\left(\alpha+\beta\right)=2^{\alpha+\beta}+2^{-\left(\alpha+\beta\right)}=2^\alpha\cdot2^\beta+2^{-\alpha}\cdot2^{-\beta} g\left(\alpha+\beta\right)=2^{\alpha+\beta}-2^{-\left(\alpha+\beta\right)}=2^\alpha\cdot2^\beta-2^{-\alpha}\cdot2^{-\beta}$
ここで，
$f\left(\alpha\right)=2^\alpha+2^{-\alpha},f\left(\beta\right)=2^\beta+2^{-\beta}$
$g\left(\alpha\right)=2^\alpha-2^{-\alpha},g\left(\beta\right)=2^\beta-2^{-\beta}$
より，
$2^{\pm\alpha}=\frac{1}{2}\left\{f\left(\alpha\right)\pm g\left(\alpha\right)\right\}$
$2^{\pm\beta}=\frac{1}{2}\left\{f\left(\beta\right)\pm g\left(\beta\right)\right\}$
であるから，
$f\left(\alpha+\beta\right)=\frac{1}{2}\left\{f\left(\alpha\right)+g\left(\alpha\right)\right\}\cdot\frac{1}{2}\left\{f\left(\beta\right)+g\left(\beta\right)\right\}+\frac{1}{2}\left\{f\left(\alpha\right)-g\left(\alpha\right)\right\}\cdot\frac{1}{2}\left\{f\left(\beta\right)-g\left(\beta\right)\right\}=\frac{1}{2}\left\{f\left(\alpha\right)f\left(\beta\right)+g\left(\alpha\right)g\left(\beta\right)\right\}$ ……(答)
$g\left(\alpha+\beta\right)=\frac{1}{2}\left\{f\left(\alpha\right)+g\left(\alpha\right)\right\}\cdot\frac{1}{2}\left\{f\left(\beta\right)+g\left(\beta\right)\right\}-\frac{1}{2}\left\{f\left(\alpha\right)-g\left(\alpha\right)\right\}\cdot\frac{1}{2}\left\{f\left(\beta\right)-g\left(\beta\right)\right\}=\frac{1}{2}\left\{f\left(\alpha\right)g\left(\beta\right)+g\left(\alpha\right)f\left(\beta\right)\right\}$ ……(答)