3×3行列の逆行列を余因子から計算

使い方

1. 固定3次元の成分または3×3行列の九成分を、ラベルの順序どおり有限な実数で入力します。
2. 3×3実行列の逆行列の式と入力順序を確認し、計算結果の各スカラー成分を読み取ります。
3. 零ベクトルや単位行列などの既知値、または独立した手計算と照合してから結果を利用します。

計算式・考え方

det(A)≠0のときA⁻¹=adj(A)/det(A)。各成分は対応する2×2小行列式の符号付き余因子を転置し、det(A)で割ります。

注意事項

• 3×3実行列の逆行列は、行列Aとの積が単位行列になる3行3列の行列を、余因子行列と行列式から求める演算です。このページは次元を可変にせず、固定3次元のベクトルまたは固定3行3列の実行列だけを扱います。複素数、記号式、可変長配列、疎行列、テンソル、バッチ入力は対象外です。
• 出力の契約は、検算用のdet(A)と逆行列九成分をそれぞれ独立したスカラー結果として表示します。ベクトルや行列を一つの文字列へまとめず、各成分をコピー可能なスカラー結果として提示します。行と列の順番は入力欄と結果ラベルで明示し、途中で転置や座標順の入替えを行いません。
• 式は、det(A)≠0のときA⁻¹=adj(A)/det(A)。各成分は対応する2×2小行列式の符号付き余因子を転置し、det(A)で割ります。 表示前の計算は既存のdeclarative-v1式ASTだけで決定的に行い、外部ライブラリ、外部API、乱数、日時、通信状態を参照しません。同じ有限入力からは同じ倍精度結果が得られます。
• 入力は各欄ともマイナス1000000以上プラス1000000以下の有限な実数です。空欄、数値でない文字列、NaN、正負の無限大、宣言範囲外は計算前に拒否します。この上限は数学上の定義域ではなく、積や和を倍精度の有限範囲で扱う実装契約です。
• 境界の確認は、単位行列の逆行列は単位行列自身で、対角成分1、非対角成分0です。0は有効な数値であり、空欄の代用ではありません。境界試験では式が定義される0と、演算そのものが定義されない入力を区別し、未定義の値を便宜的に0へ置き換えません。
• 数値安定性については、det(A)が非零でも成分スケールに比べ極端に小さい場合は誤差を増幅するため、相対しきい値で拒否します。結果は途中で表示桁へ丸めず、最後に最大十五桁の有効数字で整形します。末尾桁の一致より、入力順序、式の規約、絶対誤差と相対誤差を分けて検算することが重要です。
• 結果の読み方は、逆行列が存在することと数値的に安定して解けることは別で、条件数が大きい行列には専用分解法が必要です。単独の数値だけを見ず、元の成分、座標系、単位、丸め方と一緒に記録してください。異なる資料と比較するときは、列ベクトルか行ベクトルか、右手系か、演算の順序が一致するかを先に確かめます。
• 通常例として、行列((1,2,3),(0,1,4),(5,6,0))はdet=1で、逆行列第一行は(-24,18,5)です。通常点は手計算または独立した式で照合し、境界点は厳密値を確認します。入力範囲外では対象欄にエラーが出て、誤った値を出力しないこともテスト契約に含めています。
• 用語上の注意は、厳密なdet(A)≠0制約に加え、倍精度で危険なほぼ特異の入力も明示的に拒否します。日本語の積、直積、外積、スカラー積は資料によって別の演算を指すことがあるため、このページでは数式と出力形状を名称より優先して定義します。名称だけで他ページと同一視しないでください。
• 定義の照合には、NIST DLMF第1.2節の可逆条件とNIST Matrix Condition Number資料、MIT OpenCourseWareの余因子公式を採用しました。NIST Digital Library of Mathematical Functionsの第1.2節と第1.6節、およびMIT OpenCourseWareの公開教材を参照し、資料の一般定義とこのページの固定次元契約を分けて確認しました。
• NISTの定義は一般の次元や行列について書かれていますが、この実装はブラウザ上で入力契約を明確にするため三次元へ限定しています。三成分を超えるデータを切り捨てたり、足りない成分を自動で0補完したりしません。別次元は対応する別計算で扱ってください。
• 検算では、まず入力欄を行または成分の順に読み返し、次に符号と演算順を確認します。その後、簡単な零ベクトル、単位ベクトル、単位行列などの既知値と比較します。表計算ソフトとの比較ではセル参照のずれと表示丸めを分離してください。
• このページのリスク区分はR1で、公開前の人手確認を必須とします。数式は静的でも、転置、外積の向き、減算順序、行列成分の配置を誤ると見かけ上もっともらしい別結果になります。安全制御、医療、構造設計など重大な判断へ単独で使えません。
• 座標成分に物理単位がある場合、結果の単位は演算に従って変化します。このページは抽象的な実数成分として計算し、単位換算は行いません。メートルとセンチメートル、力と長さなど異なる単位を混在させる場合は、入力前に利用者が整合させる必要があります。
• 丸めた入力から元の厳密値を復元することはできません。特に差を取る演算や行列式では、近い数の相殺によって有効桁が減る場合があります。結果を再利用するときは画面表示だけでなく、元入力と許容誤差、使用した演算名も併記してください。
• この計算は教育、式の確認、小規模な独立検算を目的とします。大規模な連立方程式、最小二乗、固有値、最適化、反復法、誤差解析は対象外です。それらには条件数評価、ピボット選択、適切な線形代数ライブラリを含む専用手順を使用してください。
• 固定3次元の倍精度スカラー計算による学習・補助検算用です。座標系、単位、入力品質、数値条件を保証せず、重大な判断には単独で使用できません。

よくある質問