MathLabs

第2問

正の整数の三つ組 (a,b,c)(a,b,c) であって、ab−cab-c、bc−abc-a、ca−bca-b の三つの数がいずれも 22 のべき(22 のべきとは 2n2^n(nn は非負整数)の形の整数のこと)となるものをすべて求めよ。
ステップ 7/8: a=4a=4 は不可能
ざっくり言うと

順序の不等式が 22 と 33 の間に 22 のべきを厳密に挟む。

a=4⟹2n−3≤3 and 2n−3>2a=4\quad\Longrightarrow\quad 2^{n-3}\le3\ \text{and}\ 2^{n-3}>2
詳しい解説

a=4a=4 では a+b=2n−1a+b=2^{n-1} から b=2n−1−4b=2^{n-1}-4。方程式 4c−b=2n4c-b=2^n より c=3⋅2n−3−1c=3\cdot2^{n-3}-1 である。b≤cb\le c なので 2n−1−4≤3⋅2n−3−12^{n-1}-4\le3\cdot2^{n-3}-1、従って 2n−3≤32^{n-3}\le3。また a<ba<b だから 4<2n−1−44<2^{n-1}-4、ゆえに 2n−3>22^{n-3}>2 である。22 と 33 の間に 22 のべきはないので、a=4a=4 の解は存在しない。