循環小数のつかいかた
普段の話題と全く関係ないですが、今回はちょっと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で書き換えて載せておきます。
上の証明手順で、 を に置き換えると
となる。
十進法において各桁の数の合計が の倍数となる自然数は、それ自体 の倍数であるから
として
は の倍数である。これを と置くと
これは を 個並べてできる自然数なので と のみから成り、かつ の倍数である。(証明終)