6

円を使って1/(1×2) + 1/(2×3) + 1/(3×4) ・・・ = 1を示そう!

765
3

はじめに

はじめまして^^
?! m と申します m(_ _)m
今回は円を使って11×2+12×3+13×4+=1を示そうと思います。
その前に前提知識を3つ得ましょう。

一つ目の前提知識

線上二円定理

線上に二円、円A、円Bがあり、それらは互いに接している。
Aの直径をp、円Bの直径をqとすると (pq)
接点Cから接点Dまでの長さはpq

Aと点Bから直線に対して垂線を下ろし、交点をそれぞれ点C、点Dとする。
Bから線分ACに垂線を下ろし、交点を点Eとする。
Aと点Bを結ぶ。
すると、直角三角形AEBができる。
直角三角形なので、AE2+EB2=AB2が成り立つ。
AE=p2q2 AB=p2+q2
(p2q2)2+EB2=(p2+q2)2
(p24pq2+q24)+EB2=(p24+pq2+q24)
EB2=pq
EB=pq
EB=CD
CD=pq

二つ目の前提知識

線上三円定理

線上に二円、円A、円Bがあり、それらは互いに接している。
さらにその二円の間にあり、二円と直線に接する円Cがあるとする。
Aの直径をp、円Bの直径をq、円Cの直径をrとすると、(pq>r)
r=pq(p+q)2

A、点B、点Cから直線に対して垂線を下ろし、交点をそれぞれ点D、点E、点Fとする。
すると、DF=DE+EFとなる。
線上二円定理より、DF=pq DE=pr EF=qr
代入すると、
pq=pr+qr
pq=r(p+q)
pqp+q=r
pq(p+q)2=r

三つ目の前提知識

三つ目の前提知識は、
線上に二円、円A、円Bがあり、それらは互いに接している。
さらにその二円の間にあり、二円と直線に接する円Cが存在することを証明します。

Aの直径をp、円Bの直径をq、円Cの直径をrとする。
Aと点Bから直線に対して垂線を下ろし、交点をそれぞれ点D、点Fとする。
仮に円Aと円Bの間に円Cがあるとしたら、その直径はr=pq(p+q)2である。
ここで、図4のような直角三角形MKLを考える。
KL=p2r2 ML=p2+r2である。
直角三角形なのでMK2+KL2=ML2が成り立つ。
代入すると、
MK2+(p2q2)2=(p2+q2)2
MK2+(p24pq2+q24)=(p24+pq2+q24)
MK2=pq
MK=pq
DからMKと同じ長さになるような点Eを打つ
Eから上の方向にr2分の垂線を下ろし、先端の点をCとする。
Cから線分AD、線分BFに垂線を下ろし、交点をそれぞれ点G、点Hとする。
Cを点A、点Bと結ぶ
すると直角三角形AGCBHCができる。
線分ACと円Aの交点を点I、線分BCと円Bの交点をJとする。
直角三角形AGCについて考える。
直角三角形なのでAG2+GC2=AC2が成り立つ。
AG=pq AG=p2r2
代入すると、
(p2q2)2+(pq)2=AC2
(p24pq2+q24)+pq=AC2
(p2+r2)2=AC2
p2+r2=AC
AC=AI+IC
p2+r2=p2+IC
r2=IC
よって、EC=IC
次に直角三角形BHCについて考える。
直角三角形なので、BH2+HC2=BC2
BH=q2r2
HCの長さについて考える。
HC=GHGC
=pqpr
=p(qr)
=p(qpqp+q)]
=p(qp+q)
=q(pqp+q)
=qr
代入すると、
(q2r2)2+(qr)2=BC2
(q24qr2+r24)+qr=BC2
(q2+r2)2=BC2
q2+r2=BC
BC=BJ+JC
q2+r2=q2+JC
r2=JC
よって、EC=IC=JC
線分ECは直線に接しており、線分ICは円Aに接しており、線分JCは円Bに接している。
つまり、三つの線分を半径とした円を作図する事ができ、それらは二円と直線に接しており、存在することの証明となった。

本題


直径が1の円Aと円Bがある。
Aと円Bの間に円Cがある。
接点Hから接点Iまでの距離は線上二円定理より1である。
さらに円Aと円Cの間に円D、円Aと円Dの間に円F、円Aと円Fの間にという具合で無限に円が続いていく。(円B側も同様)
ただし、接点H、接点Iを超えることはない
Cの直径を求める。
線上三円定理より、1(1+1)2=14
Dの直径を求める。
14(1+14)2=19
Fの直径を求める。
19(1+19)2=116
その後も円の直径を求めていくと、125136149と続いていく。
これらの数字には規則性があり、全て平方数であり、かつ12223242と順番どおりである。

なぜ平方数かつ順番通りなのか?

直径が1の円と直径が1n2の円を想像する。(それらは線上にあり、互いに接している。)
二円の間にある円の直径を求める。
1n2(1+1n2)2=1(n+1)2
n+1=kとすると
1k2(1+1k2)2=1(k+1)2=1(n+2)2
その後も計算していくと、1(n+3)21(n+4)21(n+5)2、と続いていく。
n1を代入すると、112122132と平方数かつ順番通りに続いていく。

6は図5の無限に連なる円を拡大した図である。
接点TCから接点TDまでの距離を求める。
線上二円定理より14×19=16
接点TDから接点TFまでの距離を求める。
19×116=112
接点TFから接点THまでの距離を求める。
116×125=120
接点THから接点TJまでの距離を求める。
125×136=130
その後も接点と接点との距離を求めていくと、142156172と続いていく。
接点TCから接点Hまでの距離は12なので、
16+112+120+130+142+156=12
B側にも同じ距離があるため、2をかける
13+16+110+115+121+128=1
13(11+12)+15(12+13)+17(13+14)+=1
13(31×2)+15(52×3)+17(73×4)=1
11×2+12×3+13×4=1
よって、タイトルの式が示された。

なぜ1n(n+1)になるのか?

直径が1(2n)2の円、直径が1(2n+1)2の円、直径が1(2n+2)2の円を想像する。
線上二円定理より、1(2n)2×1(2n+1)2+1(2n+1)2×1(2n+2)2
=12n+1(12n+12n+2)
2をかける。
=12n+1(1n+1n+1)
=12n+1(2n+1n(n+1))
=1n(n+1)

おわりに

これは私が中学時代に思いついたものです。
歴史の教科書を見ていた時に和算のコラムがありまして、そこに次のような問題がありました。
「直径が36寸の大円と9寸の中円の間にある小円の直径を求めよ」
これを解いた後思いました。
「大円の直径をp、中円の直径をqとして小円の直径rを表してみるか」
そして、線上二円定理と線上三円定理を思いつきました。
その後なぜだかわかりませんが図5が思いついて、タイトルの式が導けたわけです。
、、、
ちなみに線上二円定理という名前は中村信弥氏の「和算の図形公式」から借りました。
検索すれば出てくるはずです。
いろんな公式が載ってるので楽しめますよ。(もちろん証明もあり)
、、、
最後まで読んでいただきありがとうございました!!!m(_ _)m
(間違っている個所があったら指摘していただけると幸いです。高評価してくれたら嬉しいです!)

投稿日:20231018
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

?! m
?! m
6
765
数学と和算が好きな高校2年生です

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに
  2. 一つ目の前提知識
  3. 二つ目の前提知識
  4. 三つ目の前提知識
  5. 本題
  6. おわりに