سوال ۳

فرض کنید ‎$b_qb_{q-1}\ldots b_0$‎ نمایش عدد ‎$b$‎ در مبنای ‎۲‎ باشد. عدد ‎$b$‎ بر ‎۳‎ بخش‌پذیر است اگر و تنها اگر:

  1. ‎$b_1 = b_0 = 1$
  2. مجموع ‎$b_i$‎ ها بر ‎۹‎ بخش‌پذیر باشد.
  3. مجموع ‎$b_i$‎ ها بر ‎۳‎ بخش‌پذیر باشد ولی بر ‎۹‎ بخش‌پذیر نباشد.
  4. مقدار ‎$b_0‎ - ‎b_1‎ + ‎b_2‎ - ‎\cdots$‎ صفر باشد. ‎
  5. مقدار ‎$b_0‎ - ‎b_1‎ + ‎b_2‎ - ‎\cdots$‎ بر ‎۳‎ بخش‌پذیر باشد.

پاسخ

گزینه (۵) درست است.

در حالت کلی قابل اثبات است که اگر $a_p a_{p-1}…a_0$ نمایش عدد $a$ در مبنای $n$ باشد٬ آن‌گاه عدد $a$ بر $n+1$ بخش‌پذیر است اگر و تنها اگر مقدار $a_0-a_1+a_2-…$ بر $n+1$ بخش‌پذیر باشد. کافی است بسط عدد در مبنای $n$ را بنویسید.