一本の方程式で一つの変数を解くのは、直線の上を歩くようなものです。しかし、現実の世界はもっと複雑です。経済予測、交通網の最適化、あるいは美味しいコーヒーブレンドの作成でさえ、無数の変数が互いに影響し合っています。例えば、あるカフェが2種類の新しいブレンドコーヒーを作ろうとしているとしましょう。アラビカ種、ロブスタ種、リベリカ種の3種類の豆を使い、各ブレンドのコストと構成比には特定の条件があります。これを解こうとすると、すぐに複数の連立方程式が出来上がります。

$30x_1 + 20x_2 + 15x_3 = 1500$ $10x_1 + 25x_2 + 20x_3 = 1200$ $5x_1 + 10x_2 + 30x_3 = 1000$

変数が増えるほど、このリストは長くなり、手作業で解くのは非現実的になります。ここで線形代数が登場します。情報を整理し、複雑なシステムをエレガントに解くための強力なツール、それが「行列」です。

システムを行列で表現したら、次はどうやって解くのでしょうか。そのための体系的な手法がガウスの消去法です。これは、行列の行に対して3つの基本的な操作（行の入れ替え、行を定数倍する、ある行に別の行の定数倍を加える）を繰り返すことで、行列をより単純な形に変形していくアルゴリズムです。最終的に「階段行列」と呼ばれる形にすることで、変数を一つずつ簡単に求めることができます。

この手法の美しさは、そのスケーラビリティにあります。変数が3つでも3000でも、同じ手順で機械的に解を進めることができます。天気予報や航空会社のフライトスケジューリングのように、何千もの変数が絡む巨大なシステムでは、このような効率的なアルゴリズムが不可欠です。

行列は単なる数字の集まりではありません。それは幾何学的な意味を持っています。特に、正方行列から計算される「行列式」という一つの数値は、その行列が表す線形変換によって、空間がどれだけ「拡大」または「縮小」されるかを示します。

2x2行列の行列式の絶対値は、その行列の列ベクトルが作る平行四辺形の面積に等しくなります。同様に、3x3行列の行列式の絶対値は、列ベクトルが作る平行六面体の体積を表します。これは、地図の投影やコンピュータグラフィックスにおけるオブジェクトの変形など、多くの分野で応用されています。

そして、もし行列式が0ならどうなるでしょうか？これは、ベクトルが作る図形が潰れてしまい、面積や体積が0になることを意味します。2次元であれば線に、3次元であれば平面になってしまうのです。代数的には、これはシステムが唯一の解を持たない（解が存在しないか、無限に存在する）ことを示唆しており、方程式を解く上で非常に重要な情報となります。

一次方程式 $ax=b$ を解くとき、私たちは両辺を $a$ で割って $x = b/a$ とします。これは $x = a^{-1}b$ と書くこともできます。行列の世界にも、この「逆数」に相当する概念が存在します。それが「逆行列」です。行列 $A$ の逆行列を $A^{-1}$ と書きます。

すべての行列に逆行列が存在するわけではありません。逆行列が存在するための条件は、その行列の行列式が0でないことです。これは、幾何学的に空間が潰れてしまわない（情報が失われない）変換であることに対応します。

逆行列の計算は、特に大きな行列では計算コストが高くなることがあります。そのため、ガウスの消去法の方が高速な場合も少なくありません。しかし、逆行列の概念は理論的に非常に重要です。例えば、ロボットアームの制御や画像処理のフィルタリングなど、ある操作（行列 $A$）を元に戻す操作（逆行列 $A^{-1}$）を考える際に中心的な役割を果たします。これにより、システムの入力と出力の関係を直接的にモデル化し、制御することが可能になるのです。

連立方程式から行列、そしてその解法と幾何学的な意味まで、線形代数がどのように複雑な問題を整理し、解決に導くかを見てきました。これらのツールは、科学、工学、経済学など、現代社会の様々な分野で活用されています。