『無限級数の和』解答


◆おことわり

 問題2は当初、


=1- 1
2
1
3
- 1
4
+ 1
5
- 1
6
+・・- 1
1332
+
1333

となっていたのを、問題を変更して、
最後の
1333
を削除しました。

以下の解答はそのつもりでご覧ください。

◆広島県 清川 育男さんからの解答。

【問題2】

 結論から言えば、P/Qは既約の分数とは言ってないので1999(素数)をP,Q共に持つことになる。
勿論Pは1999で割り切れる。
1- 1
2
1
3
- 1
4
+ 1
5
- 1
6
+・・- 1
1332
+
1333
約0.696892。0.696892<1
(計算しなくてもわかると思います。)

P=1999×Nとすると、
1999×N=Q×(..............)。
したがってQ=1999×M、M<Nでなければならない。
M,Nは自然数。

M/N=(...................)

Pは1999に限らず何でもよかったのですね。 

【問題1】

 問題の無限級数は収束するための条件を満たさないので数Cは存在しないのではないでしょうか。

 特に問題2は数学的パズル(頓智)ですね。
それともまじめに計算すると必然なのでしょうか。
間違っていれば申し訳ありません。


【コメント】

 問題1は、私はある関数の級数展開を思い出して解きました。
札付きの収束の悪い級数なのですが、確かに収束します。
0.6931・・

できれば、もっとエレガントに求めてみてください。
問題2の方は、問題1の方法をヒントに考え直してみてください。


◆静岡県 ヨッシーさんからの解答。

【問題1】

log(x+1) をテーラー展開すると
log(x+1)=x− x2
2
x3
3
x4
4
・・+ (-1)n+1*xn
n
・・

となります。

Cはこれに x=1 を代入したものですから、

C=log2 (log は自然対数)


◆広島県 清川 育男さんからの解答。

【問題2】

最後の + 1
1333
がなければ証明出来るように思うのですが?。

A=1+ 1
2
1
3
+ 1
4
・・・+ 1
1331
1
1332
 ...................1)

B=1+ 1
2
1
3
+ 1
4
・・・+ 1
665
1
666
 ...................2)

 上記のA,Bを作る。

1
2
B= 1
2
1
4
+ 1
6
・・・+ 1
1332
 ...................3)

1)-3)

A- 1
2
B=1+ 1
3
1
5
+・・・ 1
1331
 ...................4)

4)-3)

A- 1
2
B- 1
2
B=1- 1
2
1
3
-・・ 1
1331
- 1
1332
 ...................5)

左辺を整理すると、


=A−B

1)-2)


=A−B
1
667
+ 1
668
+・・+ 1
1331
- 1
1332
=( 1
667
+ 1
1332
)+( 1
668
+ 1
1331
)+・・ +( 1
999
+ 1
1000
)
=1999*( 1
667*1332
+ 1
668*1331
+・・+ 1
999*1000
)

 ...................6)

6)式からPは1999で割り切れることが証明されたことになる。

以上です。

勝手に問題を変えてはいけないと思うのですか、一応送らせてもらいます。


【コメント】

 巧妙な証明ですね。
1999は素数ですから、それを利用すればよいですね。


◆広島県 清川 育男さんからの解答。

【問題2】

ヒントをもとに考えました。
A=1+ 1
2
1
3
・・・+ 1
1332
1
1333
 ...................1)

B=1+ 1
2
1
3
+ ・・・+ 1
665
1
666
 ...................2)

 上記のA,Bを作る。

1
2
B= 1
2
1
4
+ 1
6
・・・+ 1
1332
 ...................3)

1)-3)

A- 1
2
B=1+ 1
3
1
5
+・・・ 1
1333
 ...................4)

4)-3)

A- 1
2
B- 1
2
B=1- 1
2
1
3
-・・- 1
1332
+ 1
1333
 ...................5)

5)式の左辺を整理すると、


=A−B


 A−B

1
667
+ 1
668
+・・+ 1
1332
+ 1
1333
=( 1
667
+ 1
1332
)+( 1
668
+ 1
1331
)+・・ +( 1
999
+ 1
1000
)+ 1
1333
=1999*( 1
667*1332
+ 1
668*1331
+・・+ 1
999*1000
)+ 1
1333

 ここで1999は素数でかつすべての分母が1999の素因数を持たない。
したがって、
1
1333
1999
1333*1999

としてもQに影響を与えることはない。

P
Q
=1999*( 1
667*1332
+・・+ 1
999*1000
+ 1
1333*1999
)
 ...................6)

6)式からPが1999で割り切れることを証明したことになる。


◆広島県 清川 育男さんからのコメント。

【問題2】

 数を小さくして実験してみました。
P/Qが既約分数でかつPが1999で割り切れるというのであれば、(+1/1333)があっては無理なのではないでしょうか。
既約分数でないとすると1999の必然性がないと思うのですが如何なものでしょうか。


実験してみて面白い現象を見つけました。
1) P
Q
=1- 1
2
+ 1
3
 Pは5で割り切れる。

2) P
Q
=1- 1
2
+ 1
3
- 1
4
 Pは7で割り切れる。

3) P
Q
=1- 1
2
+・・- 1
6
+ 1
7
 Pは11で割り切れる。

4) P
Q
=1- 1
2
+・・+ 1
7
- 1
8
 Pは13で割り切れる。

5) P
Q
=1- 1
2
+・・- 1
10
+ 1
11
 Pは17で割り切れる。

6) P
Q
=1- 1
2
+・・+ 1
11
- 1
12
 Pは19で割り切れる。

7) P
Q
=1- 1
2
+・・- 1
14
+ 1
15
 Pは23で割り切れる。

8) P
Q
=1- 1
2
+・・+ 1
15
- 1
16
 25は素数でない。

9) P
Q
=1- 1
2
+・・- 1
18
+ 1
19
 Pは29で割り切れる。

10) P
Q
=1- 1
2
+・・+ 1
19
- 1
20
 Pは31で割り切れる。

11) P
Q
=1- 1
2
+・・- 1
22
+ 1
23
 35は素数でない。

12) P
Q
=1- 1
2
+・・+ 1
23
- 1
24
 Pは37で割り切れる。

Nが奇数のとき
 1- 1
2
+・・- 1
2N
+ 1
2N+1

Nが偶数のとき
 1- 1
2
+・・- 1
2N-1
- 1
2N

素数でないものもありますが、素数は順番に現れます。


◆東京都の中学校1年生 akito さんからの解答。

P
Q
=(1+ 1
2
+…+ 1
1332
)-2( 1
2
+ 1
4
+…+ 1
1332
)と表現でき、

=(1+ 1
2
+…+ 1
1332
)-(1+ 1
2
+…+ 1
666
)
= 1
667
+ 1
668
+…+ 1
1332
と変形できる。

また、有限和なので順序を入れ替えてもよく、

=( 1
667
+ 1
1332
)+( 1
668
+ 1
1331
)+…+( 1
999
+ 1
1000
)
と書き直せる。

ここで各括弧内を通分すれば、

= 1999
Q[1]
+ 1999
Q[2]
+…+ 1999
[k]
となる。

(ここでは各分母をQ[n]と書かせてもらう。)

この後、さらに全てを通分すれば、分子は1999×p(pは整数)という形になり、分子が1999で割り切れることがわかる。


 『無限級数の和』へ

 数学の部屋へもどる