連立方程式

Q: 連立方程式は社会やプログラミングでどのように使われていますか？

クラメルの公式による連立1次方程式ソルバー: 2変数の連立1次方程式は、GPS測位や物理シミュレーション、経済モデルなど様々な工学分野で頻出する。クラメルの公式を使えば行列演算に頼らず、係数から直接解を計算できる。

2つの直線の交点が、方程式の「解」になる理由とは？

この単元の発見をシェア

3行要約（Key Takeaways / AIOサマリー）

1: 連立方程式の本質的な定義と直感的ビジュアルをシミュレーターで体験できる。
2: 公式や証明の背景にある数学的意味と、厳密な導出ステップを解説。
3: 実社会における工学応用（クラメルの公式による連立1次方程式ソルバー）のTypeScript実装コードを収録。

なぜこれを学ぶのか？ — 現実社会とテクノロジーでの価値

Purpose & Motivation

なぜ生まれたのか？

連立方程式の基礎原理を体系化し、抽象的な計算を直感的に扱うために誕生した。

身につく武器・思考力

2つの直線の交点が、方程式の「解」になる理由とは？。この考え方を身につけることで、複雑な課題を単純化して数理モデルとして解く力が養われる。

実社会・ITでの活躍現場

•クラメルの公式による連立1次方程式ソルバー
•ITシステム・アルゴリズム実装における論理設計
•データ分析やシミュレーションにおける数理モデリング

Layer 1 — 直感・シミュレーター

2本の直線それぞれの傾きと切片のスライダーを動かして、交点（連立方程式の解）がどう移動するかを観察しよう。2直線が平行になると交点が消える様子も確かめてみよう。

直線 ①: y = 2x - 1

傾き a12

切片 b1-1

直線 ②: y = -1x + 5

傾き a2-1

切片 b25

連立方程式の解（グラフの交点座標）

(x, y) = (2.00, 3.00)

「連立方程式を解く」とは、代数的には共通して成り立つ $(x, y)$ を求めることですが、幾何学的には「2つの直線が交わる交点の座標を見つけること」と完全に同値です。

Layer 2 — 定義・受験・証明

定義

2つ以上の方程式を組み合わせ、それらすべてを同時に満たす解を求める問題を連立方程式という。2元1次方程式の連立の場合、それぞれの方程式は座標平面上の直線を表し、連立方程式の解はその2直線の交点の座標に対応する。

公式・数理モデル

\begin{cases} a_1 x + b_1 y = c_1 \\ a_2 x + b_2 y = c_2 \end{cases}

証明・導出

連立方程式 $\begin{cases} a_1 x + b_1 y = c_1 \\ a_2 x + b_2 y = c_2 \end{cases}$ を加減法で解くことを考える。

1つ目の式を $a_2$ 倍、2つ目の式を $a_1$ 倍して引くと $x$ が消去され、

y = \frac{a_1 c_2 - a_2 c_1}{a_1 b_2 - a_2 b_1}

が得られる。同様に $y$ を消去すると $x$ が求まる。この式の分母 $a_1 b_2 - a_2 b_1$ が0のとき、2直線は平行（傾きが等しい）であり、交点は存在しない（解なし、または無数の解を持つ）。

幾何的に見ると、2直線が交わるとき交点はただ1つに定まり、それが連立方程式のただ1組の解 $(x, y)$ となる。傾きが異なれば直線は必ずどこかで交わるため、解はちょうど1つ存在する。

押さえておきたいポイント

2元1次連立方程式の解は、2直線のグラフの交点の座標と一致する
2直線の傾きが等しく切片が異なる（平行）とき、解は存在しない
2直線の傾きも切片も等しい（同一直線）とき、解は無数に存在する

参照基準・学習指導要領との対応

本トピックの内容・数理モデルは、文部科学省学習指導要領（算数・数学・情報）および国際標準カリキュラムに準拠し、エンジニアリング現場の実装事例と照らし合わせてMath World Lab編集部により検証・作成されています。

Layer 3 — 工学応用・現場実装

クラメルの公式による連立1次方程式ソルバー

2変数の連立1次方程式は、GPS測位や物理シミュレーション、経済モデルなど様々な工学分野で頻出する。クラメルの公式を使えば行列演算に頼らず、係数から直接解を計算できる。

1// a1*x + b1*y = c1
2// a2*x + b2*y = c2
3// をクラメルの公式で解く
4function solveLinearSystem(
5  a1: number, b1: number, c1: number,
6  a2: number, b2: number, c2: number
7): { x: number; y: number } | null {
8  const determinant = a1 * b2 - a2 * b1;
9  if (Math.abs(determinant) < 1e-10) {
10    return null; // 平行 → 解なし、または無数の解
11  }
12  const x = (c1 * b2 - c2 * b1) / determinant;
13  const y = (a1 * c2 - a2 * c1) / determinant;
14  return { x, y };
15}
16
17// 例: x + y = 5, 2x - y = 1 の解
18console.log(solveLinearSystem(1, 1, 5, 2, -1, 1)); // { x: 2, y: 3 }