2023.08.11記
[2]
,
,
,
は負でない整数とする.
でないすべての
に対して等式
を成り立たせるような
,
,
,
の組を求めよ.
2023.08.11記
[解答]
を代入すると
であり,左辺は0か奇数,右辺は1か正の偶数であるから,両辺の値は1でなければならない.よって
,
である.
このとき等式は となるが,
を代入すると
,つまり
となる.よって だから,
,
となり,
,
となるが条件をみたすのは
のみである.以上から
が必要であり,このとき等式は
となり,確かに
でないすべての
に対して成立する.
で右辺は0以上1以下だから
は 1以上2以下でなければならず,
である,とする方が早い.
また, を代入した後に
を代入すると
となるが,これより
となる.2進数で考えると,左辺は1が1つだけだから,右辺は でなければ1が1つにならないので,
となり,
である,としても良い.