循環小数のつかいかた
普段の話題と全く関係ないですが、今回はちょっとmime-TeXの練習を兼ねて、小飼弾氏出題の数学の問題を解いてみます。
問題はこちら。
この問題のキモは小数表現です。例えば1÷22を計算すると、0.045454545…のように循環する部分が出現します。
これをうまく使えば割と簡単に解けます。以下解答。
というわけで、この問題は1987である必要はなく、どんな自然数を持ってきても同じことが言えます。
本来は「有理数の循環小数表現」をきちんと証明しないといけないんですが、まぁ一般に知られてる範囲だしいいかな、と。
ちなみに、小飼弾氏のところのコメント欄に「1987×554101666331153=1101000011000001011」という手計算(?)による解答を出した人が居て驚きました。この場合は存在証明だから、これでも証明したことになりますね。
小飼弾氏、こんなところで如何でしょうか?
(8/7追記)
こちらでoto-oto-oto氏が任意の自然数の場合を証明しておられます。上のやり方だと3の倍数の場合がうまく行かないんですね。
mime-TeXで書き換えて載せておきます。
問題はこちら。
次の条件を双方とも満たす整数が存在することを証明しなさい。
a. 1987を約数として持つ
b. 十進法表記で、0と1だけ登場する
この問題のキモは小数表現です。例えば1÷22を計算すると、0.045454545…のように循環する部分が出現します。
これをうまく使えば割と簡単に解けます。以下解答。
を十進法の循環小数で表したものを
とする。
ここで、小数の非循環部分![]()
循環部分と置くと
よって
は
を約数に持たないので、
が
の倍数となる。
そこで、(
は自然数)とすれば
となる。これは十進法でと
しか出てこない数であり、かつ
の倍数である。(証明終)
本来は「有理数の循環小数表現」をきちんと証明しないといけないんですが、まぁ一般に知られてる範囲だしいいかな、と。
ちなみに、小飼弾氏のところのコメント欄に「1987×554101666331153=1101000011000001011」という手計算(?)による解答を出した人が居て驚きました。この場合は存在証明だから、これでも証明したことになりますね。
小飼弾氏、こんなところで如何でしょうか?
(8/7追記)
こちらでoto-oto-oto氏が任意の自然数の場合を証明しておられます。上のやり方だと3の倍数の場合がうまく行かないんですね。
mime-TeXで書き換えて載せておきます。
上の証明手順で、を
に置き換えると
となる。
十進法において各桁の数の合計がの倍数となる自然数は、それ自体
の倍数であるから
として
はの倍数である。これを
と置くと
これはを
個並べてできる自然数なので
と
のみから成り、かつ
の倍数である。(証明終)