このページでは、ルーシェ フロベニウスの定理とは何か、そしてそれを使って行列のランクを計算する方法を説明します。また、ルーシェ-フロベニウスの定理を使って段階的に解決される例や演習も見つかります。
ルーシェ・フロベニウスの定理とは何ですか?
ルーシェ-フロベニウスの定理は、線形方程式系を分類する方法です。言い換えれば、ルーシェ・フロベニウスの定理は、方程式系を解くことなく、方程式系の解がいくつあるかを知るために使用されます。
方程式系には 3 種類あります。
- システム互換性判定 (SCD):システムには独自のソリューションがあります。
- 不確定互換システム (ICS):システムには無限の解決策があります。
- システム互換性がない (SI):システムには解決策がありません。
さらに、ルーシェ-フロベニウスの定理により、後にクラマーの法則を使用して系を解くことも可能になります。
ルーシェ・フロベニウスの定理の声明
ルーシェ・フロベニウスの定理は次のように述べています。
![]()
は、連立方程式の未知数の係数によって形成される行列です。そしてお腹
![]()
、または拡張行列 は、連立方程式の未知数の係数と独立項によって形成される行列です。
ルーシェ-フロベニウスの定理を使用すると、行列 A と A’ のランクに応じて、どのタイプの方程式系を扱っているかを知ることができます。
- ランク(A) = ランク(A’) = 未知数の場合 ⟶ 互換性のあるシステム (SCD) を決定
- ランク(A) = ランク(A’) < 未知数の場合 ⟶ 不確定互換システム (SCI)
- 範囲(A)の場合

範囲(A’) ⟶ 互換性のないシステム(SI)
ルーシェ-フロベニウスの定理が何を言っているかを理解したら、ルーシェ-フロベニウスの定理の練習問題を解く方法がわかります。以下に 3 つの例を示します。各タイプの連立方程式の定理を使用して解く演習です。
決定された互換システム(SCD)の例
![Rendered by QuickLaTeX.com \begin{cases} 2x+y-3z=0 \\[1.5ex] x+2y-z= 1 \\[1.5ex] 4x-2y+z = 3\end{cases}](https://mathority.org/wp-content/ql-cache/quicklatex.com-b6b2f93c6308c25e8df2fbb5da2af9a8_l3.png)
システムの行列 Aと拡張行列 A’ は次のとおりです。
![Rendered by QuickLaTeX.com \displaystyle A= \left( \begin{array}{ccc} 2 & 1 & -3 \\[1.1ex] 1 & 2 & -1 \\[1.1ex] 4 & -2 & 1 \end{array} \right) \qquad A'= \left( \begin{array}{ccc|c} 2 & 1 & -3 & 0 \\[1.1ex] 1 & 2 & -1 & 1 \\[1.1ex] 4 & -2 & 1 & 3\end{array} \right)](https://mathority.org/wp-content/ql-cache/quicklatex.com-4597f5171b586bbcf0915d8512f7b89d_l3.png)
次に、行列 A のランクを計算します。これを行うには、行列全体の行列式が 0 と異なるかどうかを確認します。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix}A \end{vmatrix}= \begin{vmatrix} 2 & 1 & -3 \\[1.1ex] 1 & 2 & -1 \\[1.1ex] 4 & -2 & 1 \end{vmatrix} = 25 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-6c95b7158a2e6401cd16aeb708f128ff_l3.png)
行列には 0 とは異なる 3×3 行列式があるため、行列 A のランクは 3 になります。
![]()
A のランクがわかったら、A’ のランクを計算します。これは、内部に 0 とは異なる次数 3 の行列式があることがわかったばかりなので、少なくともランク 3 になります。さらに、ランク 4 であることはできません。次数 4 の行列式を作成できないため、行列 A’ も階数 3 になります。
![]()
したがって、行列 A のランクは行列 A’ のランクとシステムの未知数 (3) に等しいため、ルーシェ フロベニウスの定理により、それが互換性決定システム(SCD) であることがわかります。 :
![Rendered by QuickLaTeX.com \displaystyle \begin{array}{c} \begin{array}{c} \color{black}rg(A) = 3 \\[1.3ex] \color{black}rg(A')=3 \\[1.3ex] \color{black}\text{N\'umero de inc\'ognitas} = 3 \end{array}} \\ \\ \color{blue} \boxed{ \color{black}\phantom{^9_9} rg(A) = rg(A') = n = 3 \color{blue} \ \bm{\longrightarrow} \ \color{black} \bm{SCD}\phantom{^9_9}} \end{array}](https://mathority.org/wp-content/ql-cache/quicklatex.com-557185e16670c72d23eec5a3ea13b487_l3.png)
不確定互換システム (ICS) の例
![Rendered by QuickLaTeX.com \begin{cases} x-y+2z=1 \\[1.5ex] 3x+2y+z= 5 \\[1.5ex] 2x+3y-z = 4\end{cases}](https://mathority.org/wp-content/ql-cache/quicklatex.com-2360b9a47257f73cf3f5dea63fb24098_l3.png)
システムの行列 Aと拡張行列 A’ は次のとおりです。
![Rendered by QuickLaTeX.com \displaystyle A= \left( \begin{array}{ccc} 1 & -1 & 2 \\[1.1ex] 3 & 2 & 1 \\[1.1ex] 2 & 3 & -1 \end{array} \right) \qquad A'= \left( \begin{array}{ccc|c} 1 & -1 & 2 & 1 \\[1.1ex] 3 & 2 & 1 & 5 \\[1.1ex] 2 & 3 & -1 & 4 \end{array} \right)](https://mathority.org/wp-content/ql-cache/quicklatex.com-b281235e2702433b447e2586ae3092c9_l3.png)
次に、行列 A のランクを計算します。これを行うには、行列全体の行列式が 0 と異なるかどうかを確認します。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix}A \end{vmatrix}= \begin{vmatrix} 1 & -1 & 2 \\[1.1ex] 3 & 2 & 1 \\[1.1ex] 2 & 3 & -1 \end{vmatrix} = 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-74cafc27ab41134696c3bf263132b98b_l3.png)
行列 A 全体の行列式は 0 となるため、ランク 3 ではありません。ランク 2 であるかどうかを確認するには、行列式が 0 とは異なる部分行列を A 内で見つける必要があります。たとえば、左上隅の行列式です。 :
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} 1 & -1 \\[1.1ex] 3 & 2 \end{vmatrix} = 5 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-22b2487f7664a70c116593120de2743b_l3.png)
行列には 0 とは異なる 2×2 行列式があるため、行列 A のランクは 2 になります。
![]()
A のランクがわかったら、A’ のランクを計算します。最初の 3 列の行列式が 0 を与えることはすでにわかっているので、他の可能な 3×3 行列式を試します。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix}1 & -1 & 1 \\[1.1ex] 3 & 2 & 5 \\[1.1ex] 2 & 3 & 4\end{vmatrix} = 0 \quad \begin{vmatrix}1 & 2 & 1 \\[1.1ex] 3 & 1 & 5 \\[1.1ex] 2 & -1 & 4\end{vmatrix} = 0 \quad \begin{vmatrix} -1 & 2 & 1 \\[1.1ex] 2 & 1 & 5 \\[1.1ex] 3 & -1 & 4\end{vmatrix} = 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-17f264ad3859da88ffa6784be24e4143_l3.png)
行列 A’ の 3×3 行列式はすべて 0 であるため、行列 A’ もランク 3 にはなりません。ただし、内部には 0 とは異なる次数 2 の行列式が含まれています。例:
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} 1 & -1 \\[1.1ex] 3 & 2 \end{vmatrix} = 5 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-22b2487f7664a70c116593120de2743b_l3.png)
したがって、行列 A’ はランク 2 になります。
![]()
行列 A の範囲は行列 A’ の範囲に等しいですが、これらはシステムの未知数の数 (3) よりも少ないです。したがって、ルーシェ-フロベニウスの定理によれば、これは不確定互換システム(ICS) です。
![Rendered by QuickLaTeX.com \displaystyle \begin{array}{c} \begin{array}{c} \color{black}rg(A) = 2 \\[1.3ex] \color{black}rg(A')=2 \\[1.3ex] \color{black}\text{N\'umero de inc\'ognitas} = 3 \end{array}} \\ \\ \color{blue} \boxed{ \color{black}\phantom{^9_9} rg(A) = rg(A') = 2 \ < \ n =3 \color{blue} \ \bm{\longrightarrow} \ \color{black} \bm{SCI}\phantom{^9_9}} \end{array}](https://mathority.org/wp-content/ql-cache/quicklatex.com-96868a2569ea0ab5ca99d8dc606d3dc9_l3.png)
互換性のないシステム(IS)の例
![Rendered by QuickLaTeX.com \begin{cases} 2x+y-2z=3 \\[1.5ex] 3x-2y+z= 2 \\[1.5ex] x+4-5z = 3 \end{cases}](https://mathority.org/wp-content/ql-cache/quicklatex.com-30e1084dd637eb4371f6b2218af24136_l3.png)
システムの行列 Aと拡張行列 A’ は次のとおりです。
![Rendered by QuickLaTeX.com \displaystyle A= \left( \begin{array}{ccc} 2 & 1 & -2 \\[1.1ex] 3 & -2 & 1 \\[1.1ex] 1 & 4 & -5 \end{array} \right) \qquad A'= \left( \begin{array}{ccc|c} 2 & 1 & -2 & 3 \\[1.1ex] 3 & -2 & 1 & 2 \\[1.1ex] 1 & 4 & -5 & 3 \end{array} \right)](https://mathority.org/wp-content/ql-cache/quicklatex.com-b435d86f1466af5748d91e6c9bd813e3_l3.png)
次に、行列 A のランクを計算します。これを行うには、行列全体の行列式が 0 と異なるかどうかを確認します。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix}A \end{vmatrix}= \begin{vmatrix} 2 & 1 & -2 \\[1.1ex] 3 & -2 & 1 \\[1.1ex] 1 & 4 & -5 \end{vmatrix} = 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-714538c91aa2620a6adb40581245f0e0_l3.png)
行列 A 全体の行列式は 0 となるため、ランク 3 ではありません。ランク 2 であるかどうかを確認するには、行列式が 0 とは異なる部分行列を A 内で見つける必要があります。たとえば、左上隅の行列式です。 :
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} 2 & 1 \\[1.1ex] 3 & -2 \end{vmatrix} = -7 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-5a46decda8fd850d9c847922b0c896db_l3.png)
行列には 0 とは異なる次数 2 の行列式があるため、行列 A はランク 2 になります。
![]()
A のランクがわかったら、A’ のランクを計算します。最初の 3 列の行列式が 0 になることはすでにわかっているので、たとえば最後の 3 列の行列式を試してみます。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} 1 & -2 & 3 \\[1.1ex] -2 & 1 & 2 \\[1.1ex] 4 & -5 & 3 \end{vmatrix} = 3 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-47aecdf801b92f21f2287fb96eaaa3f8_l3.png)
一方、行列 A’ には結果が 0 とは異なる行列式が含まれているため、行列 A’ のランクは 3 になります。
![]()
したがって、行列 A のランクは行列 A’ のランクより小さいため、ルーシェ-フロベニウスの定理から、それが非互換システム(SI) であると推定します。
![Rendered by QuickLaTeX.com \displaystyle \begin{array}{c} \begin{array}{c} \color{black}rg(A) = 2 \\[1.3ex] \color{black}rg(A')=3 \\[1.3ex] \color{black}\text{N\'umero de inc\'ognitas} = 3 \end{array}} \\ \\ \color{blue} \boxed{ \color{black}\phantom{^9_9} rg(A) = 2 \ \neq \ rg(A') = 3 \color{blue} \ \bm{\longrightarrow} \ \color{black} \bm{SI}\phantom{^9_9}} \end{array}](https://mathority.org/wp-content/ql-cache/quicklatex.com-c3da0513f318d25473e93ba88c51fb42_l3.png)
ルーシェ・フロベニウスの定理の問題を解決しました
演習 1
ルーシェ-フロベニウスの定理を使用して、3 つの未知数を含む次の連立方程式のタイプを決定します。

まず、システムの行列 A と拡張行列 A’ を作成します。
![Rendered by QuickLaTeX.com \displaystyle A= \left( \begin{array}{ccc} 2 & 1 & -3 \\[1.1ex] 3 & -1 & -1 \\[1.1ex] -2 & 4 & 2 \end{array} \right) \qquad A'= \left( \begin{array}{ccc|c} 2 & 1 & -3 & 0 \\[1.1ex] 3 & -1 & -1 & 2 \\[1.1ex] -2 & 4 & 2 & 8 \end{array} \right)](https://mathority.org/wp-content/ql-cache/quicklatex.com-951ce5c1f0c606d4f060a1de58b60303_l3.png)
次に、行列 A のランクを見つける必要があります。これを行うには、行列の行列式が 0 と異なるかどうかを確認します。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix}A \end{vmatrix}= \begin{vmatrix} 2 & 1 & -3 \\[1.1ex] 3 & -1 & -1 \\[1.1ex] -2 & 4 & 2 \end{vmatrix} = -4+2-36+6+8-6=-30 \bm{\neq 0}](https://mathority.org/wp-content/ql-cache/quicklatex.com-15cddb69f7590648d1d6ae61d942471e_l3.png)
0 とは異なる 3 次行列式を持つ行列、行列 A のランクは 3 です。
![]()
A のランクがわかったら、A’ のランクを計算します。これは、内部に 0 とは異なる次数 3 の行列式があることがわかったため、少なくともランク 3 になります。さらに、4×4 の行列式を作成できないため、ランク 4 になることはできません。したがって、行列 A’ もランク 3 になります。
![]()
したがって、ルーシェ-フロベニウスの定理のおかげで、A の範囲が A’ の範囲および未知数の数に等しいため、これが決定互換システム(SCD) であることがわかります。
![Rendered by QuickLaTeX.com \displaystyle \begin{array}{c} \begin{array}{c} \color{black}rg(A) = 3 \\[1.3ex] \color{black}rg(A')=3 \\[1.3ex] \color{black}\text{N\'umero de inc\'ognitas} = 3 \end{array}} \\ \\ \color{blue} \boxed{ \color{black}\phantom{^9_9} rg(A) = rg(A') = n = 3 \color{blue} \ \bm{\longrightarrow} \ \color{black} \bm{SCD}\phantom{^9_9}} \end{array}](https://mathority.org/wp-content/ql-cache/quicklatex.com-31b495a48a75d7af1f23e38818bf4eca_l3.png)
演習 2
ルーシェ-フロベニウスの定理を使用して、3 つの未知数を含む次の連立方程式を分類します。

まず、システムの行列 A と拡張行列 A’ を構築します。
![Rendered by QuickLaTeX.com \displaystyle A= \left( \begin{array}{ccc}3 & -1 & 2 \\[1.1ex] 1 & 2 & -2 \\[1.1ex] 1 & -5 & 6 \end{array} \right) \qquad A'= \left( \begin{array}{ccc|c} 3 & -1 & 2 & 1 \\[1.1ex] 1 & 2 & -2 & 5 \\[1.1ex] 1 & -5 & 6 & -9 \end{array} \right)](https://mathority.org/wp-content/ql-cache/quicklatex.com-45e13aabe233ece927df7c9ba0bb3ec1_l3.png)
次に、行列 A の範囲を計算してみましょう。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix}A \end{vmatrix}= \begin{vmatrix} 3 & -1 & 2 \\[1.1ex] 1 & 2 & -2 \\[1.1ex] 1 & -5 & 6 \end{vmatrix} = 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-87bc95df0033834bba0398b8421faac5_l3.png)
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} 3 & -1 \\[1.1ex] 1 & 2 \end{vmatrix} = 7 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-b9805283b75e2b89f67c7865a1263112_l3.png)
したがって、行列 A のランクは 2 になります。
![]()
A のランクがわかったら、A’ のランクを計算します。最初の 3 列の行列式が 0 を与えることはすでにわかっているので、他の可能な 3×3 行列式を試します。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix}-1 & 2 & 1 \\[1.1ex] 2 & -2 & 5 \\[1.1ex] -5 & 6 & -9\end{vmatrix} = 0 \quad \begin{vmatrix}3 & 2 & 1 \\[1.1ex] 1 & -2 & 5 \\[1.1ex] 1 & 6 & -9\end{vmatrix} = 0 \quad \begin{vmatrix} 3 & -1 & 1 \\[1.1ex] 1 & 2 & 5 \\[1.1ex] 1 & -5 & -9\end{vmatrix} = 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-e6457fe3f03722b7f0d955191f318915_l3.png)
行列 A’ の 3×3 行列式はすべて 0 であるため、行列 A’ もランク 3 にはなりません。ただし、その内部には 0 とは異なる次数 2 の行列式が多数含まれています。例:
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} -1 & 2 \\[1.1ex] 2 & -2 \end{vmatrix} = -2 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-eafa4747802fae3f0c36350357abbeb2_l3.png)
したがって、行列 A’ はランク 2 になります。
![]()
行列 A のランクは行列 A’ のランクに等しいですが、これら 2 つはシステムの未知数の数 (3) よりも小さいです。したがって、ルーシェ-フロベニウスの定理により、これは不確定互換システム(ICS) であることがわかります。
![Rendered by QuickLaTeX.com \displaystyle \begin{array}{c} \begin{array}{c} \color{black}rg(A) = 2 \\[1.3ex] \color{black}rg(A')=2 \\[1.3ex] \color{black}\text{N\'umero de inc\'ognitas} = 3 \end{array}} \\ \\ \color{blue} \boxed{ \color{black}\phantom{^9_9} rg(A) = rg(A') = 2 \ < \ n =3 \color{blue} \ \bm{\longrightarrow} \ \color{black} \bm{SCI}\phantom{^9_9}} \end{array}](https://mathority.org/wp-content/ql-cache/quicklatex.com-96868a2569ea0ab5ca99d8dc606d3dc9_l3.png)
演習 3
ルーシェ-フロベニウスの定理を使用して、次の方程式系がどのようなタイプのシステムであるかを判断します。

まず、システムの行列 A と拡張行列 A’ を作成します。
![Rendered by QuickLaTeX.com \displaystyle A= \left( \begin{array}{ccc} 1 & 4 & -2 \\[1.1ex] 3 & -1 & 3 \\[1.1ex] 5 & 7 & -1 \end{array} \right) \qquad A'= \left( \begin{array}{ccc|c} 1 & 4 & -2 & 3 \\[1.1ex] 3 & -1 & 3 & -2 \\[1.1ex] 5 & 7 & -1 & 0 \end{array} \right)](https://mathority.org/wp-content/ql-cache/quicklatex.com-1820d31e4fd5c79804c9b6fa15abb469_l3.png)
次に、行列 A の範囲を計算してみましょう。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix}A \end{vmatrix}= \begin{vmatrix} 1 & 4 & -2 \\[1.1ex] 3 & -1 & 3 \\[1.1ex] 5 & 7 & -1\end{vmatrix} = 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-4f998260ee4c96673085ea6fd4ca87ba_l3.png)
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} 1 & 4 \\[1.1ex] 3 & -1 \end{vmatrix} = -13 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-159a1c58fdcd972b4b08e4795950e064_l3.png)
したがって、行列 A のランクは 2 になります。
![]()
A のランクがわかったら、A’ のランクを計算します。最初の 3 列の行列式は 0 を返しますが、最後の 3 列の行列式はそうではないことはすでにわかっています。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} 4 & -2 & 3 \\[1.1ex]-1 & 3 & -2 \\[1.1ex] 7 & -1 & 0 \end{vmatrix} = -40 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-c673a5bbbd41933208169fa3e08b7c62_l3.png)
したがって、行列 A’ のランクは 3 になります。
![]()
行列 A のランクは行列 A’ のランクより小さいため、ルーシェ-フロベニウスの定理から、それが非互換システム(SI) であると推定できます。
![Rendered by QuickLaTeX.com \displaystyle \begin{array}{c} \begin{array}{c} \color{black}rg(A) = 2 \\[1.3ex] \color{black}rg(A')=3 \\[1.3ex] \color{black}\text{N\'umero de inc\'ognitas} = 3 \end{array}} \\ \\ \color{blue} \boxed{ \color{black}\phantom{^9_9} rg(A) = 2 \ \neq \ rg(A') = 3 \color{blue} \ \bm{\longrightarrow} \ \color{black} \bm{SI}\phantom{^9_9}} \end{array}](https://mathority.org/wp-content/ql-cache/quicklatex.com-c3da0513f318d25473e93ba88c51fb42_l3.png)
演習 4
ルーシェ-フロベニウスの定理を使用して、3 つの未知数を含む次の連立方程式のタイプを決定します。

まず、システムの行列 A と拡張行列 A’ を作成します。
![Rendered by QuickLaTeX.com \displaystyle A= \left( \begin{array}{ccc} 5 & -3 & -2 \\[1.1ex] 1 & 4 & 1 \\[1.1ex]-3 & 2 & -2 \end{array} \right) \qquad A'= \left( \begin{array}{ccc|c} 5 & -3 & -2 & -2 \\[1.1ex] 1 & 4 & 1 & 7 \\[1.1ex]-3 & 2 & -2 & 3 \end{array} \right)](https://mathority.org/wp-content/ql-cache/quicklatex.com-f8a0454c53a64f612c689ba1dae1196b_l3.png)
次に、行列 A のランクを計算する必要があります。これを行うには、Sarrus ルールを使用して行列の行列式を解きます。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix}A \end{vmatrix}= \begin{vmatrix} 5 & -3 & -2 \\[1.1ex] 1 & 4 & 1 \\[1.1ex]-3 & 2 & -2 \end{vmatrix} = -40+9-4-24-10-6=-75 \bm{\neq 0}](https://mathority.org/wp-content/ql-cache/quicklatex.com-420f0d1ee000f39cbfbce88bf122f413_l3.png)
0 とは異なる 3 次行列式を持つ行列、行列 A のランクは 3 です。
![]()
したがって、行列 A’ もランク 3 になります。これは常に少なくともランク A であるためであり、4×4 行列式を解決できないためランク 4 になることはあり得ません。
![]()
したがって、ルーシェ-フロベニウスの定理を適用すると、A の範囲が A’ の範囲および未知数の数に等しいため、システムが互換性決定システム(SCD) であることがわかります。
![Rendered by QuickLaTeX.com \displaystyle \begin{array}{c} \begin{array}{c} \color{black}rg(A) = 3 \\[1.3ex] \color{black}rg(A')=3 \\[1.3ex] \color{black}\text{N\'umero de inc\'ognitas} = 3 \end{array}} \\ \\ \color{blue} \boxed{ \color{black}\phantom{^9_9} rg(A) = rg(A') = n = 3 \color{blue} \ \bm{\longrightarrow} \ \color{black} \bm{SCD}\phantom{^9_9}} \end{array}](https://mathority.org/wp-content/ql-cache/quicklatex.com-31b495a48a75d7af1f23e38818bf4eca_l3.png)
演習 5
ルーシェ-フロベニウスの定理を使用して、次の方程式系がどのようなタイプのシステムであるかを特定します。

まず、システムの行列 A と拡張行列 A’ を作成します。
![Rendered by QuickLaTeX.com \displaystyle A= \left( \begin{array}{ccc} 4 & -1 & 3 \\[1.1ex] -1 & 7 & 3 \\[1.1ex] -5 & 8 & 0 \end{array} \right) \qquad A'= \left( \begin{array}{ccc|c} 4 & -1 & 3 & 5 \\[1.1ex] -1 & 7 & 3 & -3 \\[1.1ex] -5 & 8 & 0 & 9 \end{array} \right)](https://mathority.org/wp-content/ql-cache/quicklatex.com-3211e276b2b040969c38bc6c69eabd52_l3.png)
次に、行列 A の範囲を計算してみましょう。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix}A \end{vmatrix}= \begin{vmatrix} 4 & -1 & 3 \\[1.1ex] -1 & 7 & 3 \\[1.1ex] -5 & 8 & 0\end{vmatrix} = 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-21004095a3a8ef3edfc15bed5c7853a4_l3.png)
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} 4 & -1 \\[1.1ex] -1 & 7 \end{vmatrix} = 27 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-a58059046b56cf1f8d82c6c8939e44ca_l3.png)
したがって、行列 A はランク 2 になります。
![]()
A のランクがわかったら、A’ のランクを計算します。すでにわかっている最初の 3 列の行列式は 0 を返しますが、最後の 3 列の行列式は次のようになりません。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} -1 & 3 & 5 \\[1.1ex] 7 & 3 & -3 \\[1.1ex] 8 & 0 & 9\end{vmatrix} = -408 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-992718d3b50aedf77c80c262fad5845f_l3.png)
したがって、行列 A’ のランクは 3 になります。
![]()
そして最後に、この定義域をルーシェ-フロベニウスの定理に適用します。行列 A の定義域は行列 A’ の定義域より小さいため、非互換システム(SI) になります。
![Rendered by QuickLaTeX.com \displaystyle \begin{array}{c} \begin{array}{c} \color{black}rg(A) = 2 \\[1.3ex] \color{black}rg(A')=3 \\[1.3ex] \color{black}\text{N\'umero de inc\'ognitas} = 3 \end{array}} \\ \\ \color{blue} \boxed{ \color{black}\phantom{^9_9} rg(A) = 2 \ \neq \ rg(A') = 3 \color{blue} \ \bm{\longrightarrow} \ \color{black} \bm{SI}\phantom{^9_9}} \end{array}](https://mathority.org/wp-content/ql-cache/quicklatex.com-c3da0513f318d25473e93ba88c51fb42_l3.png)
演習 6
ルーシェ-フロベニウスの定理を使用して、次の 3 次方程式系を分類します。
![Rendered by QuickLaTeX.com \begin{cases} 6x-2y+4z=1 \\[1.5ex] -2x+4y+3z= 7 \\[1.5ex] 8x-6y+z = -6\end{cases}](https://mathority.org/wp-content/ql-cache/quicklatex.com-d45e8bc425b08e403a98e01693201681_l3.png)
まず、システムの行列 A と拡張行列 A’ を構築します。
![Rendered by QuickLaTeX.com \displaystyle A= \left( \begin{array}{ccc} 6 & -2 & 4 \\[1.1ex] -2 & 4 & 3 \\[1.1ex] 8 & -6 & 1 \end{array} \right) \qquad A'= \left( \begin{array}{ccc|c} 6 & -2 & 4 & 1 \\[1.1ex] -2 & 4 & 3 & 7 \\[1.1ex] 8 & -6 & 1 & -6 \end{array} \right)](https://mathority.org/wp-content/ql-cache/quicklatex.com-8e779eca9135adc44e4a3a55f368560f_l3.png)
次に、行列 A の範囲を計算してみましょう。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix}A \end{vmatrix}= \begin{vmatrix} 6 & -2 & 4 \\[1.1ex] -2 & 4 & 3 \\[1.1ex] 8 & -6 & 1 \end{vmatrix} = 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-c2f63f79858eae462547cf2f270fc780_l3.png)
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} 6 & -2 \\[1.1ex] -2 & 4 \end{vmatrix} = 20 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-e5fa293b94b8c6acfd998f1e154abf7a_l3.png)
したがって、行列 A のランクは 2 になります。
![]()
A のランクがわかったら、A’ のランクを計算します。最初の 3 列の行列式が 0 を与えることはすでにわかっているので、他の可能な 3×3 行列式を試します。
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} -2 & 4 & 1 \\[1.1ex]4 & 3 & 7 \\[1.1ex] -6 & 1 & -6\end{vmatrix} = 0 \quad \begin{vmatrix}6 & 4 & 1 \\[1.1ex] -2 & 3 & 7 \\[1.1ex] 8 & 1 & -6\end{vmatrix} = 0 \quad \begin{vmatrix} 6 & -2 & 1 \\[1.1ex] -2 & 4 & 7 \\[1.1ex] 8 & -6 & -6\end{vmatrix} = 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-98958f866454a1bf9f1ac078562065cd_l3.png)
行列 A’ の 3×3 行列式はすべて 0 であるため、行列 A’ もランク 3 にはなりません。ただし、内部には 0 とは異なる次数 2 の行列式が含まれています。例:
![Rendered by QuickLaTeX.com \displaystyle \begin{vmatrix} 6 & -2 \\[1.1ex] -2 & 4 \end{vmatrix} = 20 \neq 0](https://mathority.org/wp-content/ql-cache/quicklatex.com-58091f1a37a4ef81fdf56f01dd9531a3_l3.png)
したがって、行列 A’ はランク 2 になります。
![]()
最後に、ルーシェ-フロベニウスの定理を適用すると、行列 A の範囲は行列 A’ の範囲に等しいが、これら 2 つは行列内の未知数の数より小さいため、これが不確定互換システム(ICS) であることがわかります。システム(3):
![Rendered by QuickLaTeX.com \displaystyle \begin{array}{c} \begin{array}{c} \color{black}rg(A) = 2 \\[1.3ex] \color{black}rg(A')=2 \\[1.3ex] \color{black}\text{N\'umero de inc\'ognitas} = 3 \end{array}} \\ \\ \color{blue} \boxed{ \color{black}\phantom{^9_9} rg(A) = rg(A') = 2 \ < \ n =3 \color{blue} \ \bm{\longrightarrow} \ \color{black} \bm{SCI}\phantom{^9_9}} \end{array}](https://mathority.org/wp-content/ql-cache/quicklatex.com-96868a2569ea0ab5ca99d8dc606d3dc9_l3.png)