「巡回行列式」というのか知らないが、

という行列式を考える。

 

であるから、この行列式が0になるのは、

 または  

のときである。

 

テレビに出ていた天ぷら名人が

「天ぷらは揚げ物ではありません。蒸し物です」

と言っていた。

衣を付けて熱い油に入れる様子は、まさしく揚げ物だが、

実は、具材は衣に守られ、その中で熱が伝わる蒸し料理の感覚らしい。

大事なのは衣ではなくて中身、ということなのだろう。

衣を取ってしまえば、「焼き」でも「茹で」でもなく「蒸し」である。

 

似たような話は他にもあって、これもたぶんテレビだが、

おろし金の職人が

「いいおろし金は、食材を切ります。擦りつぶしてしまってはダメです」

というようなことを言っていた。

包丁で切るときも、細胞を壊さないようにとか言われると思う。

実際に細胞を壊さず切れるのかは知らないが、そんな理想を持って切るのは正しいような気がする。

むやみにぐちゃぐちゃにせず、スパッときれいに切ったほうが、いかにも素材が活きそうである。

 

そういえば、お米も昔は「研ぐ」といったが、この頃は「洗う」というらしい。

研いだ米と洗った米を食べ比べてみよう。

つづきです。

 

(4)

《証明》

「ある自然数nに対して、d_n≧13」と仮定して矛盾を導く。

 

(1),(2),(3)の結果より、

と書ける。

d_n≧13より、 ℓ=1のときm≧2, ℓ=2のときm≧2 であるから、m≧2である。

したがって、a_nとa_{n+3}はともに9で割り切れる。・・・★

 

kを自然数とする。

(i)n=3kのとき

 

 であるから、★より、nは9の倍数である。また

 

 であるから、★より、n+3は9の倍数である。

 ここで、nとn+3の差は3であるが、相異なる9の倍数の差は9以上でなければならないので矛盾。

 

(ii)n=3k-1のとき

 (i)と同様に矛盾。

 

(iii)n=3k-2のとき

 

 となり、いずれも3の倍数でないから、9で割り切れず矛盾。

 

(i),(ii),(iii)より,

すべての自然数nに対して、d_n≦12   (証明おわり)

 

次に、n=12とすると、

より、最大公約数を求めて、d_n=12

ゆえに,n=12

 

【コメント】

(4)はなかなか苦戦しました。

最大公約数の上限を与える問題ですから、最大公約数が大きすぎると、何か不具合が起こるのでしょう。

a_nやa_{n+3}のパーツであるn,n+1,n+3,n+4は平行移動なので、d_nがどれだけ大きくなろうが、差は一定です(最大でも4)。

この辺りに検討をつけたものの、できそうでできないままでした。

結局、(3)をベースにしてd_nが上のような形をしていることがわかり、(2)(3)と似た話になりました。

当初はd_n≧17としぼるなどしていましたが、素因数が2と3にしぼられたことが致命傷になったようです。