| 負でない整数Nが与えられたとき、a_1=N, a_{n+1}=[a_n/2] (n=1,2,3,・・・)として数列{a_n}を定める。ただし、[a]は、実数aの整数部分(k≦a<k+1となる整数k)を表す。 (1)a_3=1となるようなNをすべて求めよ。 (2)0≦N<2^{10}をみたす整数Nのうちで、Nから定まる数列{a_n}のある項が2となるようなものはいくつあるか。
という問題で、(2)の解答での質問です。
解答は [x/2]はxを2で割った商を表すので、a_nはNを2^{n-1}で割った商である。 したがって、a_n=[N/2^{n-1}] ・・・@
この@が成り立つ理由がわかりません。お願いします。
|