ゴムロープの上のアリ

ゴムロープの上のアリ（ゴムロープのうえのアリ、）は数学パズルの一つ。その解答は一見すると直観に反したパラドックス的なものにも見える。アリがイモムシやシャクトリムシに、ゴムロープがゴム紐になっている場合もある。
細かい内容にはばらつきがあるが、典型的には次のような問題である：
見たところ、アリは永遠に端に辿り着けないようにも思えるが、実は辿り着ける（この例では 8.9 年ほどかかる）。ロープの長さ、アリの相対速度、ロープの伸びる速度がいくらであっても（速度が一定であるならば）、アリは十分な時間をかければ必ずロープの端に到達できる。アリが這うのと同時にロープはアリの前方と後方に伸びるが、その伸長によってアリが既に歩いた距離とロープの全長との比は変わらないから、アリは継続的に前進することができる。この話はアキレスと亀とも似たところがある。
問題の定式化.
上述した問題にはいくつかの前提を付け加えなければならない。それらをきちんと述べると次のようになる。
解.
感覚的な解.
もし目標地点の遠ざかる速度がアリよりも遅ければ、到達できるのは明らかに見える（アリがロープに乗っていることを考慮してもそれは到達を早めるだけである）。
しかしながら、これは一見して明らかなことではないが、アリとロープの速度がいくらであろうともアリは常に目標地点に到達するのである。これは次のように考えると分かる。
アリが最初の1秒で、例えばロープの 1/1000 だけ進むものとする。その次の1秒間でもアリは同じ距離を進むのだが、その間ロープも伸びているので相対的には進んだ区間は狭まり、例えばロープの 1/2000 であるとする。これが長い間続き、各1秒間にアリが進んだ区間のロープに対する比は逓減してゆく。しかし、これらの分数を全て足しあげたものは調和級数の部分和となり、これは発散する級数である。従って最終的にはアリは端まで到達することになる。
離散数学的な解.
この問題を解くには解析学的な手法が要るように見えるが、ロープが（連続的にではなく）1秒ごとに瞬間的に伸びるような問題の変種を考えることで、実は離散的な議論が通用する。実際、以下の議論はマーティン・ガードナーがサイエンティフィック・アメリカン誌上で元々行い、後に再版されたものを一般化したものである。
問題を若干修正して、各単位時間（1秒）の開始の瞬間にロープが伸びるものとする。よって、時刻 formula_3 で目標地点は formula_11 から formula_12 にジャンプし、時刻 formula_13 で目標地点は formula_12 から formula_15 にジャンプする、といった具合である。問題の変種では各単位時間（1秒）の終了の瞬間にロープが伸びると仮定されることが多いが、もしこのような条件（開始時刻に伸びる）でアリが目標地点に到達することが分かったなら、元々の問題のロープが時間連続的に伸びる設定であっても、ロープが終了の瞬間に伸びる設定であっても到達すると結論できる。
formula_16 を原点から目標地点までのうち、アリが進んだ部分の割合とする（ formula_17 は時刻）。よって formula_18 である。最初の1秒でアリは formula_19 だけ進み、これは原点から目標地点（最初の1秒の間、ずっと位置 formula_20 にある）までの距離の formula_21 である。ロープが瞬間的に伸びると、アリも一緒になって動くから formula_16 は変わらない。よって formula_23 。次の1秒間にアリは再び formula_19 だけ進み、これは原点から目標地点までの formula_25 である。よって formula_26 。同様にして任意の formula_27 に対し formula_28 が得られる。
任意の formula_29 について formula_30 であることに注意すると、
因子 formula_32 は調和級数の部分和なので、発散する。よって formula_33 となるような formula_34 をとることができ、これは formula_35、つまり十分な時間を経た後には、アリは目標地点までの旅を完遂することを意味する。この解法では所要時間の上限も同時に得られるが、正確な時間までは分からない。
解析学的な解.
任意の時刻 formula_36 でのアリの位置を formula_37 とする。また、ロープの伸長速度、アリのロープに対する相対速度は時間に依存してもよいこととし、それらを formula_38, formula_39 とおく。ロープが時刻0から伸びた距離は formula_40 である。位置 formula_41 におけるロープ自体の伸長速度は、原点からの距離に比例するため formula_42 と表せる。
以上の設定で、次の微分方程式が成り立つ。
元のパズルでは formula_19, formula_45 が一定値だから、
これは1階線形微分方程式なので、標準的な解法がある（特解（この場合は例えば formula_47 ）を見つけ、定数項を0とした斉次方程式の一般解を変数分離法で求めればよい。詳しくは微分方程式の項を参照）。
しかしそれよりずっと簡単なのは、アリの位置を原点から目標地点までの距離との比として考えることである。
ロープに貼りついて一緒に伸びるような座標（系） formula_48 を考えよう。原点と目標地点をそれぞれ formula_49, formula_50 とする。この座標で測ると、ロープ上の任意の点の位置は時間が経っても一定値のままである。
時刻 formula_51 において元の座標系での点 formula_41 は新しい座標系では formula_53 になり、元の座標系でのロープに対する相対速度 formula_19 は新しい座標系では formula_55 になる。
よってアリの位置の座標を formula_56 と書けば、次の微分方程式が得られる（これは数学的に見れば変数変換 formula_57 である）：
アリが時刻 formula_60 で目標地点に到達するとすれば formula_61 だから、
（単純なケース formula_64 に対しても、極限 formula_65 をとれば解 formula_66 が得られる）。任意の formula_67, formula_45, formula_19 （formula_5, formula_9） に対し formula_72 は有限値だから、アリが目標地点までの行程を完遂できること、及びその所要時間が分かったことになる。
最初に掲げた問題では formula_73, formula_74, formula_75 であったので formula_76 となり、これは宇宙の年齢（とはいえ約 s に過ぎないが）にも匹敵する長大な時間で、またロープも同じように途轍もない長さになっている。アリが端に辿り着けるというのは、あくまで数学的な意味でである。
一方、ロープやアリの速度が一定でない場合は結論が変わってくる。例えば formula_38 を正の定数、formula_78 （formula_79 は定数）とすると、微分方程式及びその解は次のようになる。
これより、<math>a < \frac