3D 円弧長計算機

3次元空間曲線とは、x、y、z 座標を同時に移動する点が描く軌跡のことです。紙に描く平面曲線とは異なり、空間曲線は任意の方向に上昇したり、下降したり、ねじれたり、ループを描いたりできます。ジェットコースターのレール、DNA の鎖、ドローンの飛行経路は、すべて空間曲線です。

媒介変数方程式は、各座標を通常 t と呼ばれる単一のパラメータの関数として表すことで、このような曲線を記述します。3つの関数 x(t)、y(t)、z(t) を合わせると、位置ベクトル r(t) = (x(t), y(t), z(t)) が定義されます。t が区間 [a, b] の上を変化すると、このベクトルの先端が空間内に曲線を描きます。パラメータ t はしばしば時間を表しますが、経路に沿った点の順序を決める任意の量でかまいません。

3次元の弧長とは、巻き尺が経路に沿って測るように、曲線の始点から終点まで実際に移動した総距離のことです。端点間の直線距離ではありません。らせん階段とまっすぐなはしごは同じ2つの階をつなぐかもしれませんが、らせん階段は巻きが多い分ずっと長くなります。

3D弧長計算機は、この長さを定義する積分を評価するので、難しい記号的積分を自分で行う必要はありません。3つの座標関数とパラメータ区間を入力すれば、ツールが数値的に高精度で結果を計算します。工具経路をチェックするエンジニア、宿題を確認する学生、軌跡を測定する研究者は、計算を数秒で確実に済ませられる恩恵を受けます。

身近な例を考えてみましょう。庭を曲がりくねって進み、岩の上も乗り越えるガーデンホースの上をアリが歩いていると想像してください。アリの経路は3つの方向すべてに一度に長さを持っています。ホースの地面上の影だけを測ったら、アリが歩いた距離を過小評価してしまいます。3次元弧長は、すべての上り下りを含めた旅の全長を捉えます。

計算機の使い方は簡単です。ツールが求めるのは5つの情報です。3つの座標関数と2つのパラメータ境界値です。以下の手順を、例題と一緒にたどってみてください。

ステップ1: x(t) 関数を入力します。t に関する x 座標の式を入力します。例では cos(t) と入力します。計算機は、三角関数、指数関数、累乗関数を含む標準的な数学表記を受け付けます。

ステップ2: y(t) 関数を入力します。y 座標の式を入力します。例では sin(t) と入力します。

ステップ3: z(t) 関数を入力します。z 座標の式を入力します。例では t と入力します。これら3つの関数を合わせると、回転しながら着実に上昇するらせんを表します。

ステップ4: 開始パラメータを指定します。「from」欄に区間の下限を入力します。例では 0 と入力します。

ステップ5: 終了パラメータを指定します。「to」欄に上限を入力します。例では 2*pi と入力します。計算機は pi を定数 π として認識するので、2*pi や pi/2 のような式をそのまま入力できます。

ステップ6: 弧長を計算します。計算ボタンを押します。ツールは各関数を微分し、速さの被積分関数を作り、積分を数値的に評価します。

ステップ7: 結果を理解します。計算機は、弧長とともに中間ステップを表示します。3つの導関数、簡略化された速さ関数、積分の設定です。らせんの例では、結果は 2π√5、約 14.050 単位です。単位は、座標関数で使った単位と同じになります。

よくある入力ミスは簡単に避けられます。3つの関数すべてが同じパラメータ変数 t を使っていることを確認してください。下限が上限より小さいことを確認してください。sin(2*t) のような式では括弧を慎重に使ってください。z(t) = 5 のように関数が定数の場合は、単に 5 と入力します。計算機はそれを導関数がゼロの有効な関数として扱います。

空間曲線の弧長の標準的な公式は次の通りです。

L = ∫_a^b √((dx/dt)² + (dy/dt)² + (dz/dt)²) dt

各記号には明確な意味があります。L は求めたい弧長です。a と b を上下限とする積分記号 ∫ は、パラメータ t が a から b まで変化するにつれて小さな寄与を積み重ねることを意味します。dx/dt、dy/dt、dz/dt という式は、t に関する座標関数の導関数です。各導関数は、ある瞬間にその座標がどれだけ速く変化しているかを測ります。

この公式には、コンパクトなベクトル形式もあります。

L = ∫_a^b ||r′(t)|| dt

ここで r(t) = (x(t), y(t), z(t)) は位置ベクトル、r′(t) = (dx/dt, dy/dt, dz/dt) は速度ベクトル、二重の縦棒 ||·|| はそのベクトルの大きさ（長さ）を表します。大きさは、最初の公式の平方根とまったく同じように計算されます。各成分の2乗の和の平方根です。

なぜこの公式が成り立つのでしょうか。曲線をたくさんの微小な線分に分割することを想像してください。パラメータのごく短い区間 dt では、各座標はおよそその導関数に dt を掛けた分だけ変化します。微小な線分はほぼまっすぐなので、その長さは3次元のピタゴラスの定理に従います。√((dx)² + (dy)² + (dz)²) です。dt をくくり出すと √((dx/dt)² + (dy/dt)² + (dz/dt)²) dt となります。dt をゼロに近づけながらこれらの微小な長さをすべて足し合わせると、積分が得られます。

平方根の中の量は「速さ」と呼ばれることがあります。t が時間を表す場合、これは文字通り、点が空間をどれだけ速く移動しているかだからです。速さを時間で積分すると総移動距離が得られ、日常の直感とぴったり一致します。

3次元弧長の手計算は、決まった7つのステップに従います。一度通して行えば、パターンが身につきます。

ステップ1: 媒介変数方程式を確認します。x(t)、y(t)、z(t) と区間 [a, b] を書き出します。3つの関数すべてが同じパラメータを使っていることを確認してください。

ステップ2: 各座標関数を微分します。標準的な微分の規則を使って dx/dt、dy/dt、dz/dt を計算します。各導関数を再確認してください。ここでの誤りは、その後のすべてに波及するからです。

ステップ3: 導関数を2乗します。(dx/dt)²、(dy/dt)²、(dz/dt)² を作ります。2乗すると符号の情報が消えますが、運動の向きに関わらず長さは常に正なので正しいことです。

ステップ4: 2乗した値を足し合わせます。和 S(t) = (dx/dt)² + (dy/dt)² + (dz/dt)² を計算します。式をできるだけ簡略化してください。三角関数の恒等式で和が劇的に崩れることがよくあります。下のらせんの例で確認できます。

ステップ5: 平方根を計算します。√(S(t)) を取ります。これは速さ関数、つまり被積分関数です。運が良ければ定数に簡略化され、積分が自明になります。

ステップ6: パラメータ区間で積分します。∫_a^b √(S(t)) dt を評価します。初等関数で表せる原始関数が存在すれば、微積分学の基本定理を使います。存在しなければ、数値積分が必要です。

ステップ7: 結果を簡略化して解釈します。可能な場合は正確な形と小数近似を示します。単位を明記します。健全性チェックとして、弧長は正であり、端点間の直線距離以上でなければなりません。

速さがきれいに簡略化される場合には正確な積分が可能です。直線、円、一定ピッチのらせんがそれに当たります。多項式や混合超越関数のような他のほとんどの曲線では、初等的な原始関数は存在しません。そのような場合、シンプソンの公式や適応的求積法のような数値的方法で正確な近似が得られ、このページの計算機はまさにそれを内部で行っています。

4つの例題で、単純な等速の場合から数値積分が必要な場合まで、難易度の全範囲を示します。

例題1: 3次元空間の直線

x(t) = t、y(t) = 2t、z(t) = 2t（区間 [0, 3]）が与えられたとき、弧長を求めてください。

各座標を微分します。dx/dt = 1、dy/dt = 2、dz/dt = 2。2乗して足します。1² + 2² + 2² = 1 + 4 + 4 = 9。平方根を取ります。√9 = 3。速さは一定なので、積分は簡単です。L = ∫₀³ 3 dt = 3(3 − 0) = 9。

弧長は 9 単位 です。理にかなっています。等速で媒介変数表示された直線の長さは、速さにパラメータの経過を掛けたものに等しいからです。(0, 0, 0) と (3, 6, 6) の間の3次元距離公式で検証できます。√(9 + 36 + 36) = √81 = 9。直線区間では当然ですが、2つの方法が一致します。

例題2: 円らせん

x(t) = 3cos(t)、y(t) = 3sin(t)、z(t) = 2t（[0, π]）が与えられたとき、弧長を求めてください。

微分します。dx/dt = −3sin(t)、dy/dt = 3cos(t)、dz/dt = 2。それぞれ2乗します。9sin²(t)、9cos²(t)、4。足し合わせます。9sin²(t) + 9cos²(t) + 4 = 9(sin²(t) + cos²(t)) + 4 = 9 + 4 = 13。速さは定数 √13 です。

積分します。L = ∫₀^π √13 dt = π√13 ≈ 11.327。弧長は π√13 ≈ 11.327 単位 です。ピタゴラスの恒等式 sin² + cos² = 1 が被積分関数全体を定数に崩したことに注目してください。らせんの問題ではこれが定番の手筋です。

例題3: 多項式の媒介変数曲線

x(t) = t、y(t) = t²、z(t) = 0（[0, 1]）が与えられたとき、弧長を求めてください。

微分します。dx/dt = 1、dy/dt = 2t、dz/dt = 0。速さは √(1 + 4t²) です。積分 L = ∫₀¹ √(1 + 4t²) dt には初等的な原始関数があります。(t/2)√(1 + 4t²) + (1/4)sinh⁻¹(2t) です。

0 から 1 まで評価します。t = 1 では (1/2)√5 + (1/4)sinh⁻¹(2) ≈ 1.11803 + 0.36091 = 1.47894、t = 0 では式は 0 です。弧長は ≈ 1.47894 単位 です。z(t) = 0 なので実質的には2次元の問題であり、良い整合性チェックです。1つの座標が定数のとき、3次元の公式はおなじみの平面曲線の公式に帰着します。

例題4: 上昇するらせん

x(t) = 2cos(t)、y(t) = 2sin(t)、z(t) = t（[0, 2π]）が与えられたとき、弧長を求めてください。

微分します。dx/dt = −2sin(t)、dy/dt = 2cos(t)、dz/dt = 1。2乗して足します。4sin²(t) + 4cos²(t) + 1 = 5。速さは定数 √5 です。

1回転分を積分します。L = ∫₀^2π √5 dt = 2π√5 ≈ 14.050。弧長は 2π√5 ≈ 14.050 単位 です。このらせんは 2π 単位上昇しながらちょうど1回転します。結果は、このコイル1巻き分を作るのに必要な実際の針金の長さを表し、ばねの製造やコイルの設計で重要になる計算です。

弧長と直線距離は、異なる問いに答えるものです。弧長は、すべての曲がりくねりをたどって、曲線自体に沿った移動距離を測ります。直線距離、すなわちユークリッド距離は、曲線を完全に無視して、端点間の最短経路を測ります。

点 P₁ = (x₁, y₁, z₁) と P₂ = (x₂, y₂, z₂) の間のユークリッド距離は d = √((x₂−x₁)² + (y₂−y₁)² + (z₂−z₁)²) です。これは、曲線をまっすぐな線分に引き伸ばしたときの長さです。

曲がった経路は、端点間の直線距離以上に必ず長く、曲線自体が直線区間でない限り厳密に長くなります。例題2のらせんに戻りましょう。その端点は (3, 0, 0) と (−3, 0, 2π) です。直線距離は √(36 + 0 + 4π²) ≈ √(36 + 39.48) ≈ 8.688 で、弧長 11.327 より明らかに短いです。余分な 2.639 単位は、近道せずに巻きついたことの代償です。

この区別は実務で重要です。曲がった検査経路を飛ぶドローンは、始点と終点の直線距離ではなく弧長に比例して電池を消費します。両者を混同すると、飛行時間と必要なエネルギーを過小評価してしまいます。

3次元弧長は、実際の物体が実際の空間を移動するあらゆる場面に現れます。

ロボット工学と運動計画。ロボットアームがグリッパーをある位置から別の位置へ動かすとき、関節空間内の曲がった軌道をたどります。その軌道の弧長がサイクルタイムとエネルギー消費を決めます。プランナーは、障害物の制約を守りながら弧長を短くするよう経路を最適化します。

ドローンの航法。配送や検査のドローンは、直線ではなく滑らかな3次元経路を飛びます。ミッションソフトは計画された軌道を積分して飛行距離を見積もり、距離を電池の予算に換算します。弧長を過小評価すれば、ミッションの途中で電池が切れるドローンが生まれます。

CNC加工。フライス盤の切削工具は、プログラムされた3次元の工具経路をたどります。全経路長と送り速度の組み合わせが加工時間を決めます。工場はこれらの計算に基づいて見積もるので、精度がそのまま価格に影響します。

3Dプリント。3Dプリンタのエクストルーダーは、各層の輪郭を3次元でなぞります。スライサーソフトは、総押出し経路長を計算して印刷時間とフィラメント使用量を見積もります。経路が長いほど、印刷は長く、材料も多くなります。

機械工学。ばね、コイル、巻かれたケーブルはらせんであり、その材料長は弧長の公式からそのまま得られます。半径、ピッチ、巻き数が与えられたコイルの針金長を指定するばね設計者は、まさに例題4の計算をしています。

物理学と粒子の軌跡。磁場中をらせん状に進む荷電粒子はらせん経路を描きます。経路長と粒子の速さを組み合わせると、磁場領域を通過する飛行時間が得られます。質量分析や加速器の設計で必要な量です。

コンピュータグラフィックスとアニメーション。3Dシーン内のカメラやキャラクターはスプライン曲線に沿って動きます。アニメーターは、運動を時間ではなく距離で媒介変数表示するために弧長を使い、きついカーブで加速や減速せず均一に見えるようにします。

3次元弧長の問題では、繰り返し現れる誤りがいくつかあります。事前に知っておけば、何時間ものデバッグを節約できます。

z座標の導関数を忘れる。最も多い間違いは、問題を2次元として扱い、(dz/dt)² を落とすことです。すべての座標が寄与します。z(t) が単純に見えても、その導関数は平方根の中に属します。

パラメータ区間の誤り。上下限 a と b は問題文と正確に一致しなければなりません。問題が 0 から 2π を求めているのに 0 から π までらせんを積分すると、正解の半分になります。積分する前に必ず区間を確認してください。

弧長とユークリッド距離の混同。上で示したように、直線でない曲線ではこの2つは異なります。経路に沿った距離を求める問題では、距離公式ではなく積分を使ってください。

微分の誤り。sin(2t) や e^t2 のような合成関数では、連鎖律のミスが頻発します。慎重に微分し、2乗する前に各導関数を検証してください。

導関数の2乗を忘れる。公式では根号の中に2乗された導関数が必要です。2乗していない和を使うと、単位が間違った無意味な量になります。

測定単位の混在。x がメートルで z がセンチメートルなら、結果は無意味です。計算する前に、すべての座標を共通の単位に換算してください。

数値近似の誤解。数値積分が返すのは正確な値ではなく近似値です。工学の作業ではそれで十分ですが、10桁の小数すべてが意味を持つかのように報告しないでください。

繰り返し走査の無視。媒介変数表示が同じ区間を2度なぞる場合、積分はそれを2度数えます。幾何学的な曲線の弧長と、媒介変数表示された経路の長さはそのとき異なります。問題が求めているのが曲線の長さか、移動した経路の距離かを確認してください。

いくつかの習慣で、3次元弧長の計算が確実になります。

まず媒介変数方程式を確認します。x(t)、y(t)、z(t) がすべて同じパラメータを使い、区間 [a, b] が曲線の意図した部分をちょうど1回なぞっていることを確かめます。大まかなスケッチでも、設定ミスのほとんどを捉えられます。

積分する前に速さの式を簡略化します。三角関数の恒等式や完全平方を探します。教科書の問題の驚くほど多くが等速に崩れ、恐ろしい積分が単純な掛け算になります。

3つの座標すべてで単位を一貫させ、答えまで単位を引き継ぎます。14.05 がミリメートルなのかキロメートルなのか分からなければ、意味がありません。

重要な場合は結果を独立に検証します。このページの計算機による数値積分と比較し、特殊な場合をチェックし（直線の媒介変数表示は距離公式を再現するか）、結果が端点間の距離を超えていることを確認します。

数値積分の限界を理解します。非常に長い区間、激しく振動する関数、ほぼ特異な導関数は、より細かい分割や媒介変数の変更が必要になる場合があります。疑わしいときは、細かくして比較します。

3次元弧長の公式は、「曲がりくねった経路に沿った距離」という幾何学的な考えを正確な計算に変えます。各座標を微分し、導関数を組み合わせて速さを作り、パラメータ区間で積分します。4つの例題は、直線、らせん、多項式曲線、渦巻きのどれにもこの方法が同じように通用することを示しています。

この公式を理解すれば、工学、物理学、ロボット工学、コンピュータグラフィックスなど、実際の運動が3次元で起こるあらゆる分野で役立ちます。このページ上部の計算機が面倒な積分を取り除き、問題の正しい設定と答えの解釈に集中できます。媒介変数方程式を入力し、手順を確認して、結果を自信を持って使ってください。