克莱姆法则

✍ dations ◷ 2025-05-18 07:40:12 #线性代数,代数定理,矩阵分解,行列式计算

向量 · 向量空间  · 行列式  · 矩阵

标量 · 向量 · 向量空间 · 向量投影 · 外积 · 内积 · 数量积 · 向量积

矩阵 · 行列式 · 线性方程组 · 秩 · 核 · 迹 · 单位矩阵 · 初等矩阵 · 方块矩阵 · 分块矩阵 · 三角矩阵 · 非奇异方阵 · 转置矩阵 · 逆矩阵 · 对角矩阵 · 可对角化矩阵 · 对称矩阵 · 反对称矩阵 · 正交矩阵 · 幺正矩阵 · 埃尔米特矩阵 · 反埃尔米特矩阵 · 正规矩阵 · 伴随矩阵 · 余因子矩阵 · 共轭转置 · 正定矩阵 · 幂零矩阵 · 矩阵分解 (LU分解 · 奇异值分解 · QR分解 · 极分解 · 特征分解) · 子式和余子式 · 拉普拉斯展开 ·

线性空间 · 线性变换 · 线性子空间 · 线性生成空间 · 基 · 线性映射 · 线性投影 · 线性无关 · 线性组合 · 线性泛函 · 行空间与列空间 · 对偶空间 · 正交 · 特征向量 · 最小二乘法 · 格拉姆-施密特正交化 ·

克莱姆法则(英语:Cramer's rule),又称为克拉玛公式、克拉默法则,是一个线性代数中的定理,用行列式来计算出线性等式组中的所有解。这个定理因加百列·克莱姆(1704年 - 1752年)的卓越使用而命名。在计算上,并非最有效率之法,因而在很多条等式的情况中没有广泛应用。不过,这一定理在理论性方面十分有效。

一个线性方程组可以用矩阵与向量的方程来表示:

其中的 A {\displaystyle A} 列的列向量后得到的矩阵。为了方便,我们通常使用 Δ {\displaystyle \Delta } 的系数的 n × n {\displaystyle n\times n} 的行列式,以及 I {\displaystyle I} 就是单位矩阵。

对于 n {\displaystyle n} 元线性方程组 A x = c {\displaystyle Ax=c}

把系数矩阵 A {\displaystyle {\begin{smallmatrix}A\end{smallmatrix}}} 表示成列向量的形式

A = ( u 1 , u 2 , , u n ) {\displaystyle A=\left(u_{1},u_{2},\cdots ,u_{n}\right)}

由于系数矩阵可逆,故方程组一定有解 x = A 1 c {\displaystyle x^{*}=A^{-1}c} .

x = ( x 1 , x 2 , , x n ) T {\displaystyle x^{*}=(x_{1},x_{2},\cdots ,x_{n})^{T}} ,即

A x = k = 1 n x k u k = c {\displaystyle Ax^{*}=\sum _{k=1}^{n}x_{k}u_{k}=c}

考虑 Δ i {\displaystyle \Delta _{i}} 的值,利用行列式的线性和交替性质,有

Δ i = d e t ( , u i 1 , c , u i + 1 , ) = d e t ( , u i 1 , k = 1 n x k u k , u i + 1 , ) = k = 1 n x k d e t ( , u i 1 , u k , u i + 1 , ) = x i d e t ( , u i 1 , u i , u i + 1 , ) = x i Δ {\displaystyle {\begin{aligned}\Delta _{i}&=det\left(\cdots ,u_{i-1},c,u_{i+1},\cdots \right)\\&=det\left(\cdots ,u_{i-1},\sum _{k=1}^{n}x_{k}u_{k},u_{i+1},\cdots \right)\\&=\sum _{k=1}^{n}x_{k}\cdot det\left(\cdots ,u_{i-1},u_{k},u_{i+1},\cdots \right)\\&=x_{i}\cdot det\left(\cdots ,u_{i-1},u_{i},u_{i+1},\cdots \right)\\&=x_{i}\Delta \end{aligned}}}

于是

x i = Δ i Δ {\displaystyle x_{i}={\frac {\Delta _{i}}{\Delta }}}

运用克莱姆法则可以很有效地解决以下方程组。

已知:

使用矩阵来表示时就是:

当矩阵可逆时,x和y可以从克莱姆法则中得出:

用3×3矩阵的情况亦差不多。

已知:

当中的矩阵表示为:

当矩阵可逆时,可以求出x、y和z:

克莱姆法则在解决微分几何的问题时十分有用。

先考虑两条等式 F ( x , y , u , v ) = 0 {\displaystyle F(x,y,u,v)=0\,} G ( x , y , u , v ) = 0 {\displaystyle G(x,y,u,v)=0\,} 。其中的u和v是需要考虑的变量,并且它们互不相关。我们可定义 x = X ( u , v ) {\displaystyle x=X(u,v)\,} y = Y ( u , v ) {\displaystyle y=Y(u,v)\,}

找出一条等式适合 x / u {\displaystyle \partial x/\partial u} 是克莱姆法则的简单应用。

首先,我们要计算 F {\displaystyle F} G {\displaystyle G} x {\displaystyle x} y {\displaystyle y} 的导数:

d x {\displaystyle dx} d y {\displaystyle dy} 代入 d F {\displaystyle dF} d G {\displaystyle dG} ,可得出:

因为 u {\displaystyle u} v {\displaystyle v} 互不相关,所以 d u {\displaystyle du} d v {\displaystyle dv} 的系数都要等于0。所以等式中的系数可以被写成:

现在用克莱姆法则就可得到:

用两个雅可比矩阵来表示的方程:

用类似的方法就可以找到 x v {\displaystyle {\frac {\partial x}{\partial v}}} y u {\displaystyle {\frac {\partial y}{\partial u}}} 以及 y v {\displaystyle {\frac {\partial y}{\partial v}}}

克莱姆法则可以用来证明一些线性代数中的定理,当中的定理对环理论十分有用。

克莱姆法则可以用来证明一个线性规划问题有一个基本整数的解。这样使得线性规划的问题更容易被解决。

相关

  • 彼得·德拜德国 荷兰亚琛科技大学苏黎世大学(1911年-1912年) 乌得勒支大学(1912年-1914年) 格奥尔格-奥古斯特格丁根大学(1914年-1920年) 苏黎世联邦理工学院(1920年-1927年) 莱比锡大学(1927年
  • 光电倍增管光电倍增管(Photomultiplier,简称PMT),是一种对紫外光、可见光和近红外光极其敏感的特殊真空管。它能使进入的微弱光信号增强至原本的108倍,使光信号能被测量。光电倍增管是由玻
  • 公民人权委员会公民人权委员会(英语:Citizens Commission on Human Rights,缩写为:CCHR)是在1969年由山达基教在美国成立。公民人权委员会由山达基教建立、资助和经营 ,总部坐落于美
  • 路易·让·皮埃尔·维埃约路易·皮埃尔·维埃约(法语:Louis Pierre Vieillot,1748年5月10日-1830年8月24日)是法国的鸟类学家。维埃约是第一批用卡尔·林奈式二名法科学描述鸟类的研究者之一。至少有26个
  • 赞岐平原赞岐平原,日本四国最大的平原,为赞岐山脉与濑户内海之间。在四国东北部,其地名来自古代令制国赞岐国。是占有香川县大部分的平原。为四国经济最发达地区,文化上属于近畿圈。但由
  • 刘璿卿刘璿卿(Carol Liu,1941年9月12日-),美国华裔加州参议院参议员,代表民主党在加利福尼亚州第21选区当选.,继承杰克·史考特(Jack Scott)。她也是加利福尼亚州首位女性亚裔参议员。2014
  • 星运里的错《星运里的错》()是一部2014年的美国青春浪漫剧情电影,由乔许·布恩执导,改编自2012年约翰·格林的同名小说。电影由谢琳·伍德利、安索·果特及奈特·沃尔夫主演,并由劳拉·邓恩
  • 约翰·福特约翰·福特(英语:John Ford,1894年2月1日-1973年8月31日),原名John Martin Feeney,美国著名电影导演及美国海军退役将领。生于缅因州伊丽莎白角一个爱尔兰移民家庭。早年曾在影片《
  • 木下杢太郎木下杢太郎(木下杢太郎,きのした もくたろう,1885年8月1日-1945年10月15日)是一位日本诗人、剧作家、小说家、美术史家与医学学者,并曾担任爱知医科大学教授,本名为太田正雄,出生于
  • 岛津纲贵岛津纲贵(1650年11月17日-1704年10月14日)日本江户时代大名、萨摩藩第三代藩主。1650年生,为岛津光久嫡长孙、岛津纲久嫡长子。初名延久。1667年,接受德川家纲的偏讳和松平氏名字