RREF計算機 — 簡約行標準形 ソルバー
任意の行列の簡約行標準形（RREF）を瞬時に計算——ガウス・ジョルダン消去法のステップごとの解説、正確な分数演算、LaTeX出力に対応。
RREF 行列計算エンジン
自動変換 · ステップ推論 · 出力
RREFとは何ですか？（簡約行標準形）
簡約行標準形（RREF）は、行列を一連の基本行操作によって変換できる唯一の標準形式であり、この変換過程をガウス・ジョルダン消去法と呼びます。RREFは連立一次方程式の解法、線形独立の判定、行列の階数の計算、零空間の探索に最も強力なツールです。
RREFは、線形系 Ax = b の係数行列 A に定数ベクトル b を付加した拡大行列 [A | b] を作成し、それを系統的に変換して解を直接読み取る際に自然と現れます。
行列がRREFにあるための必要十分条件は、以下の4条件をすべて満たすことです：
- 1すべての零行（ある場合）は行列の下部に位置する。
- 2各非零行の最初の非零要素は 1 である——これを主成分（leading 1またはピボット）と呼ぶ。
- 3各ピボットは直上の行のピボットより右に位置する（階段状パターン）。
- 4ピボットを含む各列では、ピボット以外のすべての要素が 0 である（上下ともに）。
第4の条件がRREFと単純な行標準形（REF）を区別するものです：REFでは各ピボットの下方のみを消去しますが、RREFは上方も消去するため、唯一の結果が得られます。
RREF計算機の使い方
本計算機は最大10×10の行列に対応し、整数・小数・分数を入力できます。拡大行列を入力して連立一次方程式を解くのにご利用ください。
- 01
行列のサイズを設定する
行数と列数を入力します（例：3個の未知数と右辺の列を持つ3方程式系なら3×4）。✓ ボタンを押して確定してください。
- 02
数値を入力する
各セルをクリックして値を入力します。整数（−5, 0, 7）、小数（1.5, −0.25）、分数（3/4, −2/3）が使えます。空のセルはデフォルトで 0 になります。
- 03
「計算を実行」をクリック
計算ボタンを押すと、正確な分数演算を用いたガウス・ジョルダン消去法が実行されます——浮動小数点の丸め誤差はありません。
- 04
ステップごとの解を確認する
各行操作はLaTeX公式とともに表示されます。各ステップで簡約行標準形がどのように求められたかを理解できます。
- 05
エクスポートまたは共有する
LaTeX形式のマークダウンとして全過程をコピーするか、永続URLで共有します——解を求めた各行列は専用の静的URL（例：/solve/3x4-2_1_-1_8_…）を持ちます。
手計算例：RREFを求めるステップバイステップ
次の古典的な例で見てみましょう。以下の連立一次方程式を解きます：
x + 2y = 5
3x + 4y = 7
これを拡大行列 [A | b] として表し、ガウス・ジョルダン消去法を適用します：
初期拡大行列 [A | b]
⎣
⎦
R₂ ← R₂ − 3R₁ （第2行からxを消去）
⎣
⎦
R₂ ← (−½) R₂ （ピボットを1にする）
⎣
⎦
R₁ ← R₁ − 2R₂ （第1行からyを消去 → RREF完成）
⎣
⎦
ご自身でお試しください：上の計算機に [[1, 2, 5], [3, 4, 7]] を入力し、各ステップが上記と一致することを確認しましょう。
RREFとREFの違いは何ですか？
RREFとREF（行標準形）はどちらも行操作によって得られますが、変換の範囲と保証内容が異なります。これは入門線形代数で最も混同されやすいポイントの1つです。
| 比較項目 | REF（行標準形） | RREF（簡約行標準形） |
|---|---|---|
| ピボットの型 | 任意の非零値 | 常に正確に 1 |
| ピボット下方の零 | ✓ 必須 | ✓ 必須 |
| ピボット上方の零 | ✗ 不要 | ✓ 必須 |
| アルゴリズム | ガウス消去法 | ガウス・ジョルダン消去法 |
| 一意性 | 一意でない——複数の有効なREFが存在 | 一意——すべての行列は唯一のRREFを持つ |
| 解の読み取り | 後退代入が必要 | 解を直接読み取れる |
| 典型的な用途 | 行列式の計算、LU分解 | 方程式系の解法、基底の計算、階数・退化次数の算出 |
要約：RREFは常にREFをさらに変換した形です。本計算機は完全なガウス・ジョルダン消去法で直接RREFを計算するため、余分な作業なしに最も簡潔な結果が得られます。
よくある質問
RREFは実際にどんな場面で使いますか？+
RREFは線形代数の万能ツールです。最も一般的な用途は以下の通りです：
- 連立一次方程式の解法 ——拡大行列を入力するだけで解が直接読み取れます。
- 行列の階数を求める ——RREFにおける非零行の数が階数です。
- 零空間の計算 ——自由変数に対応する列が零空間の基底を与えます。
- 線形独立の判定 ——ベクトルの組が線形独立である必要十分条件は、その行列のRREFが最大階数を持つことです。
- 逆行列の計算 ——拡大行列 [A | I] にRREFを適用し、Aが単位行列に化すれば、右側がA⁻¹です。
行列のRREFは常に一意ですか？+
はい——常に一意です。同一行列に対して複数の有効なREFが存在しうるのとは異なり、どの行列も唯一のRREFを持ちます。この一意性は定理であり（慣習ではありません）、RREFが非常に有用な理由の一つです：行列の行空間と線形系の解集合を一意に特徴付けます。
ガウス・ジョルダン消去法とは何ですか？+
ガウス・ジョルダン消去法はRREFを計算するための完全なアルゴリズムです。古くからあるガウス消去法（REFを算出）を拡張し、各ピボットの上方の要素も消去します。許可される3種類の基本行操作は以下の通りです：
- 行の交換：R_i ↔ R_j
- 行のスカラー倍（非零）：R_i ← k · R_i
- 行の和：R_j ← R_j + c · R_i
拡大行列とは何ですか？いつ使いますか？+
拡大行列は、線形系 Ax = b の係数行列 A に定数列ベクトル b を右側へ付加したもので、[A | b] と書きます。例えばこの方程式系
2x + y − z = 8 −3x − y + 2z = −11 −2x + y + 2z = −3
は3×4の拡大行列として表せます： 3x4-2_1_-1_8_-3_-1_2_-11_-2_1_2_-3。RREFを求めれば x, y, z の値を直接読み取れます。
方程式系に解なし・唯一解・無限解のどれかを判定するには？+
拡大行列 [A | b] のRREFを求めた後、以下を確認します：
- 解なし（不能） ——[0 0 … 0 | c]（c ≠ 0）の形の行が現れる。方程式系は矛盾している。
- 唯一解 ——全ての変数列にピボットが存在し、矛盾行がない。
- 無限に多い解（不定） ——方程式系は相容（矛盾なし）だが、ピボットのない変数（自由変数）が存在する。一般解はこれらの自由変数でパラメータ表示される。
分数や小数を入力できますか？+
もちろんです。セルに直接以下の形式を入力できます：
整数：−7, 0, 42分数：1/2, −3/4, 7/3小数：1.5, −0.25, 3.14
内部では全ての値が演算前に正確な分数に変換されるため、浮動小数点の丸め誤差は一切発生しません。
計算途中で全零行が現れた場合はどう解釈しますか？+
最終的なRREFに零行が現れる場合、その方程式は他の方程式と線形従属です（新しい情報を持ちません）。連立一次方程式の文脈では：
- 拡張成分（最後の列）も零の場合——その方程式は冗長で、方程式系には依然として解が存在する可能性があります（自由変数があれば無限多解）。
- 拡張成分が非零の場合——0 = 5 のような矛盾が生じ、方程式系に解はありません。
対応している最大の行列サイズは？+
RREF計算機は 1×1 から最大 10×10 の行列に対応しています。最大9個の未知数と右辺の列を持つ連立一次方程式の教科書問題には、9×10の行列で十分です。