- 问题 1
求所形成区域的体积。
-
-
-
- 答案
对于每个,求行列式并取绝对值。
-
-
-
- 建议所有读者完成此练习。
- 建议所有读者完成此练习。
- 问题 3
求该区域的体积。
- 答案
将平行六面体移动到原点开始,使其成为由以下内容组成的方框:

现在,该行列式的绝对值很容易计算为
。

- 建议所有读者完成此练习。
- 建议所有读者完成此练习。
- 建议所有读者完成此练习。
- 问题 9
为什么这张图不与定理 1.5矛盾?
- 答案
这张图是为了误导而绘制的。左边的图不是由两个向量形成的盒。如果我们将其滑动到原点,那么它就变成了由这个序列形成的盒。

然后矩阵作用下的像是由这个序列形成的盒。

其面积为
。
- 建议所有读者完成此练习。
- 问题 10
是否
?
?
- 答案
两者都是肯定的。例如,第一个是
。
- 问题 11
- 假设
且
。求
。 - 假设
。证明
。
- 答案
- 如果其定义存在,则结果为
。 -
.
- 建议所有读者完成此练习。
- 建议所有读者完成此练习。
- 建议所有读者完成此练习。
- 问题 14
在
中,由线性相关集合限定的平行六面体的体积是多少?
- 答案
是零。
- 建议所有读者完成此练习。
- 问题 15
求
中三角形的面积,其端点为
、
和
。(面积,而不是体积。三角形定义了一个平面——该平面中三角形的面积是多少?)
- 答案
三角形的三个边中有两个是由这些向量形成的。

找到该三角形面积的一种方法是生成一个与这两个向量正交的单位向量。从这两个关系

我们得到一个系统
![{\displaystyle {\begin{array}{*{3}{rc}r}x&&&+&z&=&0\\2x&-&3y&+&3z&=&0\end{array}}\;{\xrightarrow[{}]{-2\rho _{1}+\rho _{2}}}\;{\begin{array}{*{3}{rc}r}x&&&+&z&=&0\\&&-3y&+&z&=&0\end{array}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/71c507c11ba2a982d8c2a877f514630bd2f3f630)
以及该解集。

长度为1的一个解如下所示。

因此,三角形的面积为此行列式的绝对值。

- 建议所有读者完成此练习。
- 习题 16
对定理 1.5 的另一种证明使用了行列式函数的定义。
- 请注意,形成
的向量仅当
时构成线性相关的集合,并检查结果在这种情况下是否成立。 - 对于
的情况,为了证明对所有变换
都成立,请考虑由
给出的函数
。请证明
具有行列式的第一个性质。
- 证明
具有行列式函数的其他三个性质。 - 由此得出
。
- 答案
- 因为线性相关集的像也是线性相关的,如果构成
的向量构成一个线性相关集,使得
,那么构成
的向量构成一个线性相关集,使得
,在这种情况下,等式成立。
- 我们必须检查如果
,则
。我们可以通过检查先进行主元运算,然后进行乘法得到
是否与先进行乘法得到
,然后进行主元运算得到的结果相同(因为行列式
不受主元运算的影响,因此我们将得到
,因此
)。此检查运行如下:在将
倍的第
行的
加到第
行的
后,第
个元素是
,这正是
的第
个元素。
- 对于第二个性质,我们只需要检查交换
,然后相乘得到
的结果是否与先将
与
相乘,然后再交换(因为行列式
在行交换时会改变符号,那么我们将有
,因此
)相同。这个检查与第一个性质的检查一样。对于第三个性质,我们只需要证明执行
,然后计算
的结果是否与先计算
,然后再执行标量乘法(因为行列式
按
进行重新缩放,我们将有
,因此
)相同。这里,论证也与上面一样。第四个性质,如果
是
,则结果为
,是显而易见的。
- 行列式函数是唯一的,因此
,因此
。
- 问题 17
给出一个非单位矩阵,该矩阵具有
的性质。证明如果
,则
。反之是否成立?
- 答案
任何置换矩阵都具有其转置矩阵等于其逆矩阵的性质。
对于蕴含关系,我们知道
。然后
。
反之不成立;以下是一个例子。

- 建议所有读者完成此练习。
- 习题 21
本题使用“行列式函数存在”小节中的选修内容。利用行列式的排列展开公式证明定理 1.5。
- 答案
我们将比较
与
,以证明第二个与第一个相差
倍。我们用标准基表示
。

然后我们用矩阵向量乘法表示映射应用。

其中
是
的第
列。那么
等于
。
如同在排列展开公式推导中一样,我们首先应用多线性性质,沿着第一个参数的和进行分解

然后将每个
个加数沿着第二个参数中的和进行分解,等等。最后,如同排列展开式的推导中一样,我们得到
个加数行列式,每个行列式都具有
的形式。将每个
因子提取出来
。
如同排列展开推导中所述,只要
,…,
中的任意两个索引相等,则行列式将有两个相同的参数,并计算结果为
。因此,我们只需要考虑
,…,
构成数字
,…,
的一个排列的情况。因此,我们有

交换
中的列以得到矩阵
,这会使符号改变一个因子
,然后提取
的行列式。

如同证明矩阵的行列式等于其转置矩阵的行列式的过程,我们将
进行交换,使得它们按照升序的行号排列,而不是按照升序的列号排列(并且我们将
替换为
)。

- 建议所有读者完成此练习。
- 问题 22
- 证明这给出了
中过
和
的直线方程。
- (Peterson 1955)证明顶点为
、
和
的三角形的面积是
- (Bittinger 1973) 证明顶点在
,
,以及
的三角形的面积,其坐标为整数,其面积为
或
,其中
为某个正整数。
- 答案
- 代数检验很容易。

简化为熟悉的形式
(
的情况很容易处理)。为了获得几何直观,这张图显示了三个向量形成的盒子。请注意,所有三个向量都终止于
平面。在右侧的两个向量下方是穿过
和
的直线。
除非由三个端点形成的三角形是退化的,否则该盒子的体积将不为零。只有当(假设
)
位于其他两点所在的直线上时,才会发生这种情况。
- 这是引用的来源中给出的答案。经过
的三角形的高,其顶点为
和
,是根据上述法线的标准形式以通常的方式找到的。
另一步显示三角形的面积为
这种阐述比通常证明中将一系列项与行列式等同起来的方法更清楚地揭示了操作方式。 - 这是引用的来源中给出的答案。令

则三角形的面积为
。现在,如果所有坐标都是整数,则
是一个整数。
- Bittinger,Marvin(提出者)(1973),“Quickie 578”,《数学杂志》,美国数学学会,46(5):286,296 .
- Gardner,Martin(1990),《新的双向宇宙》,W. H. Freeman 和公司 .
- Peterson,G. M.(1955),“三角形的面积”,《美国数学月刊》,美国数学学会,62(4):249 .
- Weston,J. D.(1959),“向量空间中的体积”,《美国数学月刊》,美国数学学会,66(7):575–577 .