与えられた表における3つの自然数 $a$, $b$, $c$ の配置について、$bc - a^2$ が9の倍数となることを、$a$を用いて証明する。
2025/6/18
1. 問題の内容
与えられた表における3つの自然数 , , の配置について、 が9の倍数となることを、を用いて証明する。
2. 解き方の手順
表から、, , の関係を読み取る。
は より 3 大きい数なので、。
は より 4 大きい数なので、。
に と を で表した式を代入する。
展開して整理する。
ここで、 は 3, 4, 5, 6, 7, 8, ... のように、4で割った余りが3の数から始まると考えられます。一般的に、 ( は 0 以上の整数) と表せる。(ただし、最初の列に並んだ数字だけではないので、 と固定する必要はない。)
なので、 が9の倍数になることを示すためには、 が9の倍数になることを示せば良い。
ここで、 と変形する。
を代入すると、 となる。
.
上記の変形ではうまく説明できないので、別の考え方を用いる。
まず、, を に代入する。
.
ここで、の値を表から考えると、 (k:0以上の整数, r=1,2,3,0)で、はそれぞれ1,2,3,0の数だけ並んでいます。
したがって、 (k=0,1,2,...)とおくと、, .
.
をについての式と見なします。
のとき
.
正解は、
そして より、.
以下のように考える。 . よって、.
.
がどの列にあるかによって変わってくる。
.
.
より、 .
であるから、.
.
したがってと表せる。
しかし、は9の倍数であることを証明したいため、式を以下のように書き換える。
.
この式において であるので .
は9の倍数であるので、が9の倍数となるためには、 が9の倍数である必要がある。
表より, であることを利用する.
すると
しかしこれでは9の倍数であることを示せない.
を9の倍数であることを示すために、 (kは整数) となることを示す.
3. 最終的な答え
ここで、 なので、
したがって、 は と の和で表されます。
表の数値の並び方から、 が9の倍数になるとは限らないため、一般的に、 が 9の倍数になるとは限りません.
しかし、与えられた表では、 であることを利用すると、
.
であるので、
.
この式から, となり、 と の差が常に9の倍数になることがわかる。
. . ゆえに 。 これは と の差が9の倍数であることを示しています。
上記は誤り。問題は、 が9の倍数になることを示す必要があるので、正しい証明ではない.
なので となり、9の倍数にならない
結論:問題文が正しければ、前提の数字の並びを限定する必要がある。
。このとき であれば .