カテナリー曲線を描く

Balloon Platform Defenseで風船どうしをつなぐ糸を作るとき、2点の間に垂れ下がる糸、より一般にはカテナリー曲線と呼ばれる形の描き方を考える必要がありました。ネットで見つけた例はどれも、2点が同じ高さにあるといった制約を問題に課しているか、糸の始まりの角度のように、この場合には分からない情報を前提にしていました。分かっているのは糸の始点と終点、そして糸の長さだけです。カテナリー曲線を表す式についてはWikipediaに多くの情報があり、それを出発点にしました。 カテナリー曲線の式は次のとおりです。
この式は、糸の最も低い点がy軸と交わる点にあると仮定しています。実際には、xとyにそれぞれ定数が加わり、そのどちらもまだ決まっていません。最も低い点がどこに来るか分からないからで、これが教科書のどの例よりも複雑になる理由の一つです。（現実の数学の問題は、いつも教科書の例よりずっと複雑だと思いませんか。解析的に解ける積分が出てくる現実の問題には、まだお目にかかったことがありません。）しかしそれは後回しです。まず、曲線の幅の狭さ・広さを実質的に決める式中の定数aの値を求めなければなりません。2点のx座標が同じ場合、aは無限大になるので、ここに来る前にその場合を処理しておく必要があります。2点が非常に近く、aが計算できないほど大きくなる場合も同様です。（ここで「計算できないほど大きい」とは、指数関数の引数に使うと、使っている浮動小数点数の精度ではNaNや無限大が返ってくるような数のことです。）また当然ながら、2点の間隔が糸の長さより大きい場合もここまで来ないようにしてください。ひどい結果になります。

スケール係数を求める

aを求めるために、Wikipediaは次の式を挙げています（coshが曲線の位置を与えるのに対し、sinhが曲線の長さを与えるというカテナリー曲線の性質に基づいています）。
ここでsは糸の長さ、hとvは始点と終点の間の水平・垂直方向の距離（絶対値）です。どれも既知の値なので未知数は1つだけですが、数値的に解く必要があります。最初は初期値をあまり気にせずに試したところ、収束するかどうかは運次第でした。幸い、よい初期値は簡単に見つかります。双曲線正弦のテイラー級数は次のとおりです。
u = \frac{1}{4a^{2}}、c = \sqrt{s^{2}-v^{2}}と置き換えると、解くべき式は次のようになります。
sinhのテイラー級数の最初の3項を取って整理すると、次のようになります。



これはuについての単純な二次方程式なので、その係数を学校で習った二次方程式の解の公式に代入すれば、uのよい初期値、ひいてはaのよい初期値が得られます。 この初期値なら、ニュートン法で解を求めるのに十分近い値です。の形にすると、およびとなります。 なので、 現在は、数列が前の値から0.001以内に収束したかどうかを調べています。たいていは2〜4回の反復で収束しますが、x座標どうしが近いと10回以上かかることもあります。計算の大部分は双曲線関数の計算であり、関数をさらに微分してもその倍数が増えるだけのはずなので、高次のHouseholder法も計算量をあまり増やさずに使えるでしょう。これでスケールが分かったので、平行移動を求めます。

平行移動を求める

標準形の式は、カテナリー曲線がy軸に関して対称で、最下点が(0,a)にあると仮定していますが、私たちが描く曲線は画面上のどこにあってもかまいません。そこで、正しい位置に移す平行移動(p,q)を求める必要があり、式は次のようになります。 （念のため：この時点でaは既知、xとyは変数なので、未知なのはpとqだけです。）最初に考えたのは、この式にxとyの既知の値、つまり糸の両端の座標を代入することでした。理論上はこれでうまくいきますが、できる限り式を簡単にしても、計算の途中で倍精度浮動小数点数では扱えない値がたびたび出てきました。結局別の方法を見つけることになりましたが、そちらのほうが効率的でもありました。 カテナリー曲線の式でcoshをsinhに置き換えると、曲線の長さが得られるのでした。この形に左右の端点のx座標と、描きたい糸の既知の長さ（s）を代入すると、次の式が得られます。 双曲線関数の恒等式の一つに、次のものがあります。 したがって： coshの引数では左右のx座標を足して2で割っているので、中点の座標になります。そこで、それで置き換えてしまいましょう。sinhの引数の引き算は、先ほどhと呼んだ値と同じなので、このsinhも既知の量として計算でき、元の式は次のように変形できます。 これで逆双曲線余弦関数（arcosh）を使ってpを求められますが、注意が必要です。coshは偶関数なので、返ってくる答えは常に正ですが、負の答えもあり、pの候補は2つあります。 どちらの値が必要かは、端点のy座標を見れば分かります。ひもを使って試してみると分かるように、糸の長さとx座標が同じなら、右のy座標が左のy座標より低いとき、曲線の最下点は（そもそも両端のx座標の間にあるなら）中央より右に来ます。つまり正のarcoshから得られるほうです。逆の場合はその反対です。 もう一つ起こりうる問題として、y座標が等しいとき、曲線の最下点はちょうど中央に来るはずなので、coshの引数は0、arcoshを取る値は1になるはずです。ところが浮動小数点数の誤差のため、1よりわずかに小さくなることが多く、arcoshを取るときにエラーになります。この計算の前にy座標が等しい（またはほぼ等しい）かどうかを確認しておくのが賢明です。計算も省けてこのエラーも防げます。その場合は、pがちょうど両端点の中間にあるとみなせばよいのです。 aとpが分かったので、qは、端点の一方のxとyの値を次の式に代入し、 次のように変形するだけで求められます。 これでqを求めれば、曲線を描くための最終的な式が得られます。 あとは曲線を描くだけです。パラメータを求める計算のほとんどの段階では、誤差がどう伝わるかを見積もるのが難しかったので、双曲線関数をできるだけ正確に計算しました。しかし計算の大部分を占めるこの最後の段階では、使う引数の大きさも許容できる誤差も分かっているので、ある次数までのテイラー級数で十分な精度が出るかどうかを予測できます。私の経験では、たいていの場合テイラー級数を使う価値があります。