ゴムロープの上のアリのソースを表示

'''ゴムロープの上のアリ'''（ゴムロープのうえのアリ、{{Lang-en-short|ant on a rubber rope}}）は[[数学パズル]]の一つ。その解答は一見すると直観に反した[[パラドックス|パラドックス的]]なものにも見える。アリがイモムシやシャクトリムシに、ゴムロープがゴム紐になっている場合もある。

細かい内容にはばらつきがあるが<ref name="aha">{{cite book | last = Gardner | first = Martin | authorlink = Martin Gardner | author2 = | title = aha! Gotcha: paradoxes to puzzle and delight | publisher = W. H. Freeman and Company | year = 1982 | location = | pages =  145–146 | url = | doi = | id = | isbn = 0-7167-1361-6 }}</ref><ref name="tps">{{cite web|url=http://theproblemsite.com/problems/mathhs/2002/Oct_1.asp |title=The long walk |accessdate=6 April 2008 |author=Graeme |date=1 October 2002 |work=The Problem Site | archiveurl= https://web.archive.org/web/20080424121032/http://www.theproblemsite.com/problems/mathhs/2002/Oct_1.asp| archivedate= 24 April 2008 | deadurl= no}}</ref>、典型的には次のような問題である：

: 1匹のアリがピンと張った長さ 1km のゴムロープの上をロープに対し毎秒 1cm の速度で這い始めた。同時に、ロープ自体も毎秒 1km の速度で伸び始めた（よって1秒後には全長が 2km 、2秒後には 3km になっている）。アリはロープの端まで到達できるだろうか。

見たところ、アリは永遠に端に辿り着けないようにも思えるが、実は辿り着ける（この例では 8.9{{e|43421}} 年ほどかかる）。ロープの長さ、アリの相対速度、ロープの伸びる速度がいくらであっても（速度が一定であるならば）、アリは十分な時間をかければ必ずロープの端に到達できる。アリが這うのと同時にロープはアリの前方と後方に伸びるが、その伸長によってアリが既に歩いた距離とロープの全長との比は変わらないから、アリは継続的に前進することができる。この話は[[ゼノンのパラドックス|アキレスと亀]]とも似たところがある。

[[Image:Ant on a rubber rope animation.gif|1000px|thumb|center|伸縮性のあるロープを1cm/sの一定速度で這うアリ(赤い点)。ロープの長さは最初は4cmで、2cm/sの一定速度で伸びます。]]


== 問題の定式化 ==

上述した問題にはいくつかの前提を付け加えなければならない。それらをきちんと述べると次のようになる。

: 細くて無限に伸びるゴムロープが <math>x</math>-軸上にピンと張られている。目標地点の位置を <math>x=c(>0)</math> と表す。

: 時刻 <math>t=0</math> で、ロープは端点 <math>x=0</math> が固定されたまま全体が一様に伸び始め、目標地点は一定速度 <math>v>0</math> で端点 <math>x=0</math> から離れていく。

: 小さなアリは時刻 <math>t=0</math> で端点 <math>x=0</math> を出発し、ロープに対する一定の相対速度 <math>\alpha>0</math> で目標地点へ向かって進んでいく。

: アリは目標地点に到達することができるか。

== 解 ==

=== 感覚的な解 ===

もし目標地点の遠ざかる速度がアリよりも遅ければ、到達できるのは明らかに見える（アリがロープに乗っていることを考慮してもそれは到達を早めるだけである）。

しかしながら、これは一見して明らかなことではないが、アリとロープの速度がいくらであろうともアリは常に目標地点に到達するのである。これは次のように考えると分かる。

アリが最初の1秒で、例えばロープの 1/1000 だけ進むものとする。その次の1秒間でもアリは同じ距離を進むのだが、その間ロープも伸びているので相対的には進んだ区間は狭まり、例えばロープの 1/2000 であるとする。これが長い間続き、各1秒間にアリが進んだ区間のロープに対する比は逓減してゆく。しかし、これらの分数を全て足しあげたものは[[調和級数]]の部分和となり、これは発散する級数である。従って最終的にはアリは端まで到達することになる。

=== 離散数学的な解 ===

この問題を解くには解析学的な手法が要るように見えるが、ロープが（連続的にではなく）1秒ごとに瞬間的に伸びるような問題の変種を考えることで、実は離散的な議論が通用する。実際、以下の議論は[[マーティン・ガードナー]]が[[サイエンティフィック・アメリカン]]誌上で元々行い、後に再版されたもの<ref name='aha' />を一般化したものである。

問題を若干修正して、各単位時間（1秒）の開始の瞬間にロープが伸びるものとする。よって、時刻 <math>t=0</math> で目標地点は <math>x=c</math> から <math>x=c+v</math> にジャンプし、時刻 <math>t=1</math> で目標地点は <math>x=c+v</math> から <math>x=c+2v</math> にジャンプする、といった具合である。問題の変種では各単位時間（1秒）の終了の瞬間にロープが伸びると仮定されることが多いが、もしこのような条件（開始時刻に伸びる）でアリが目標地点に到達することが分かったなら、元々の問題のロープが時間連続的に伸びる設定であっても、ロープが終了の瞬間に伸びる設定であっても到達すると結論できる。

<math>\theta(t)</math> を原点から目標地点までのうち、アリが進んだ部分の割合とする（ <math>t</math> は時刻）。よって <math>\theta(0)=0</math> である。最初の1秒でアリは <math>\alpha</math> だけ進み、これは原点から目標地点（最初の1秒の間、ずっと位置 <math>c+v</math> にある）までの距離の <math>\frac{\alpha}{c+v}</math> である。ロープが瞬間的に伸びると、アリも一緒になって動くから <math>\theta(t)</math> は変わらない。よって <math>\theta(1)=\frac{\alpha}{c+v}</math> 。次の1秒間にアリは再び <math>\alpha</math> だけ進み、これは原点から目標地点までの <math>\frac{\alpha}{c+2v}</math> である。よって <math>\theta(2)=\frac{\alpha}{c+v}+\frac{\alpha}{c+2v}</math> 。同様にして任意の <math>n\in\mathbb{N}</math> に対し <math>\theta(n)=\frac{\alpha}{c+v}+\frac{\alpha}{c+2v}+\cdots+\frac{\alpha}{c+nv}</math> が得られる。

任意の <math>k\in\mathbb{N}</math> について <math>\frac{\alpha}{c+kv}\ge\frac{\alpha}{kc+kv}=\left(\frac{\alpha}{c+v}\right)\left(\frac{1}{k}\right)</math> であることに注意すると、

:<math>\theta(n)\ge\left(\frac{\alpha}{c+v}\right)\left(1+\frac{1}{2}+\cdots+\frac{1}{n}\right)</math>

因子 <math>\left(1+\frac{1}{2}+\cdots+\frac{1}{n}\right)</math> は調和級数の部分和なので、発散する。よって <math>1+\frac{1}{2}+\cdots+\frac{1}{N}\ge\frac{c+v}{\alpha}</math> となるような <math>N\in\mathbb{N}</math> をとることができ、これは <math>\theta(N)\ge 1</math>、つまり十分な時間を経た後には、アリは目標地点までの旅を完遂することを意味する。この解法では所要時間の上限も同時に得られるが、正確な時間までは分からない。

=== 解析学的な解 ===

任意の時刻 <math>t>0</math> でのアリの位置を <math>y(t)</math> とする。また、ロープの伸長速度、アリのロープに対する相対速度は時間に依存してもよいこととし、それらを <math>v(t)</math>, <math>\alpha(t)</math> とおく。ロープが時刻0から伸びた距離は <math>L(t):= \int_{0}^{t} v(s) \, ds</math> である。位置 <math>x=X</math> におけるロープ自体の伸長速度は、原点からの距離に比例するため <math>\frac{v(t)X}{c+L(t)}</math> と表せる。

以上の設定で、次の[[微分方程式]]が成り立つ。

:<math>y'(t)=\alpha(t)+\frac{v(t)\,y(t)}{c+L(t)}</math>

元のパズルでは <math>\alpha</math>, <math>v</math> が一定値だから、

:<math>y'(t)=\alpha+\frac{v\,y(t)}{c+vt}</math>

これは1階[[線形微分方程式]]なので、標準的な解法がある（特解（この場合は例えば <math>y_{0}(t)=\frac{\alpha}{v} (c+vt) \ln(c+vt)</math> ）を見つけ、定数項を0とした斉次方程式の一般解を[[変数分離|変数分離法]]で求めればよい。詳しくは微分方程式の項を参照）。

しかしそれよりずっと簡単なのは、アリの位置を原点から目標地点までの距離との比として考えることである<ref name="tps" />。

ロープに貼りついて一緒に伸びるような[[座標]]（系） <math>\psi</math> を考えよう。原点と目標地点をそれぞれ <math>\psi=0</math>, <math>\psi=1</math> とする。この座標で測ると、ロープ上の任意の点の位置は時間が経っても一定値のままである。

時刻 <math>t \ge 0</math> において元の座標系での点 <math>x=X</math> は新しい座標系では <math>\psi=\frac{X}{c+vt}</math> になり、元の座標系でのロープに対する相対速度 <math>\alpha</math> は新しい座標系では <math>\frac{\alpha}{c+vt}</math> になる。

よってアリの位置の座標を <math>\phi(t)</math> と書けば、次の微分方程式が得られる（これは数学的に見れば変数変換 <math>\phi(t):=\frac{y(t)}{c+vt}</math> である）：

:<math>\phi'(t)=\frac{\alpha}{c+vt}</math>

:<math>\therefore\phi(t)=\int_{0}^{t} \frac{\alpha}{c+vs} \, ds =\frac{\alpha}{v}\ln{\left(\frac{c+vt}{c}\right)} </math>

アリが時刻 <math>t=T</math> で目標地点に到達するとすれば <math>\phi(T)=1</math> だから、

:<math>\frac{\alpha}{v}\ln{\left(\frac{c+vT}{c}\right)}=1</math>

:<math>\therefore T=\frac{c}{v}\left(e^{v/\alpha}-1\right)</math>

（単純なケース <math>v=0</math> に対しても、極限 <math> \lim_{v \rightarrow 0} T(v) </math> をとれば解 <math> T= \tfrac{c}{\alpha} </math> が得られる）。任意の <math>c</math>, <math>v</math>, <math>\alpha</math> （<math>v>0</math>, <math>\alpha>0</math>） に対し <math>T</math> は有限値だから、アリが目標地点までの行程を完遂できること、及びその所要時間が分かったことになる。

最初に掲げた問題では <math>c=1\,\mathrm{km}</math>, <math>v=1\,\mathrm{km}/\mathrm{s}</math>, <math>\alpha=1\,\mathrm{cm}/\mathrm{s}</math> であったので <math>T=(e^{100,000}-1)\,\mathrm{s}\,\!\approx2.8\times10^{43,429}\,\mathrm{s}</math> となり、これは[[宇宙の年齢]]（とはいえ約 {{val|4|e=17}}s に過ぎないが）にも匹敵する長大な時間で、またロープも同じように途轍もない長さになっている。アリが端に辿り着けるというのは、あくまで数学的な意味でである。

一方、ロープやアリの速度が一定でない場合は結論が変わってくる。例えば <math>\alpha(t)</math> を正の定数、<math>v(t)=2at</math> （<math>a>0</math> は定数）とすると、微分方程式及びその解は次のようになる。

:<math>\phi'(t)=\frac{\alpha}{c+at^2}</math>

:<math>\therefore\phi(t)=\int_{0}^{t} \frac{\alpha}{c+as^2}\,ds = \frac{\alpha}{\sqrt{ac}} \arctan \left( \sqrt{\frac{a}{c}} t  \right) </math>

:<math>\phi(t) \to \frac{\pi \alpha}{2 \sqrt{ac}} \quad (t \to \infty)</math>

これより、<math>a < \frac{{\pi}^{2} {\alpha}^{2} }{4c}</math> であればアリはロープの端に到達できるが、<math>a \ge \frac{{\pi}^{2} {\alpha}^{2} }{4c}</math> のときは永遠に到達できないことがわかる。

== 出典 ==
<references />

== 関連項目 ==
*[[調和級数]]

==外部リンク==
*[https://www.math.hmc.edu/funfacts/ffiles/10002.3.shtml Su, Francis E., et al. "Inchworm on a Rubber Rope." Mudd Math Fun Facts]
*[http://www.cut-the-knot.org/htdocs/dcforum/DCForumID6/664.shtml Waeber, Marie-Jo. "Puzzle involving exponential" on Cut the knot: Learn to enjoy!]

{{DEFAULTSORT:こむろーふのうえのあり}}
[[Category:数学パズル]]
[[Category:数学に関する記事]]