[问题2014A09] 解答
[问题2014A09] 解答
通过简单的计算可得 \[(AB)^2=9AB,\cdots\cdots(1)\] 将 (1) 式的右边移到左边, 并将 \(A,B\) 分别提出可得 \[A(BA-9I_2)B=0.\cdots\cdots(2)\] 下面给出两种方法来讨论.
方法一 通过简单的计算可得 \(\mathrm{rank}(AB)=2\), 从而 \(\mathrm{rank}(A)\geq 2\); 又 \(A\) 是 \(3\times 2\) 矩阵, 故 \(\mathrm{rank}(A)\leq 2\), 于是 \(\mathrm{rank}(A)=2\), 即 \(A\) 是列满秩阵. 根据复旦高代书第 145 页习题 11 知, 存在 \(2\times 3\) 矩阵 \(C\), 使得 \(CA=I_2\). 同理可证: \(\mathrm{rank}(B)=2\), 即 \(B\) 是行满秩阵, 从而存在 \(3\times 2\) 矩阵 \(D\), 使得 \(BD=I_2\). 在 (2) 式两边左乘 \(C\), 右乘 \(D\) 可得 \[BA=9I_2.\]
方法二 (由张诚纯同学提供) 在 (2) 式左乘 \(B\), 右乘 \(A\) 可得 \[BA(BA-9I_2)BA=0.\cdots\cdots(3)\] 下面我们用 Cauchy-Binet 公式来计算 \(BA\) 的行列式: \begin{eqnarray*}|BA|&=&\sum_{1\leq i<j\leq 3}B\begin{pmatrix} 1 & 2 \\ i & j \end{pmatrix}A\begin{pmatrix} i & j \\ 1 & 2 \end{pmatrix}=\sum_{1\leq i<j\leq 3}A\begin{pmatrix} i & j \\ 1 & 2 \end{pmatrix}B\begin{pmatrix} 1 & 2 \\ i & j \end{pmatrix}\\&=&\sum_{1\leq i<j\leq 3}(AB)\begin{pmatrix} i & j \\ i & j \end{pmatrix}=\begin{vmatrix} 8 & 2 \\ 2 & 5 \end{vmatrix}+\begin{vmatrix} 8 & -2 \\ -2 & 5 \end{vmatrix}+\begin{vmatrix} 5 & 4 \\ 4 & 5 \end{vmatrix}\\&=&81.\end{eqnarray*} 因此 \(BA\) 是非异阵, 在 (3) 式的两边都消去 \(BA\) 后可得 \[BA=9I_2.\,\,\,\Box\]
注 (1) 在学了高代 II 的特征值之后, 我们容易得到 \(AB\) 的特征值是 9 (2 重), 0 (1 重), 由复旦高代书第 270 页习题 8 可得 \(BA\) 的特征值是 9 (2 重), 从而 \(BA\) 是非异阵. 如果限定在高代 I 的范围内, 张诚纯同学给出的用 Cauchy-Binet 公式计算 \(BA\) 行列式的方法可以直接证明 \(BA\) 非异.
(2) 本题和 [问题2014S05] 密切相关, 特别是其中的引理, 可以用来给出本题的第三种解法 (由于篇幅关系, 不再阐述), 具体细节请参考 [问题2014S05] 解答. 不过在解答的过程中需要事先确定 \(\lambda_0=9\), 这需要一定的观察才能得到.
(3) 从严格的角度来说, 最后我们还需要说明: 满足上述条件的 \(A,B\) 一定是存在的. 其实, 这样的例子有很多, 比如: \[A=B'=\begin{pmatrix} \frac{6}{\sqrt{5}} & -\frac{2}{\sqrt{5}} \\ \frac{3}{\sqrt{5}} & \frac{4}{\sqrt{5}} \\ 0 & \sqrt{5} \end{pmatrix}.\]
[问题2014A09] 解答的更多相关文章
- 精选30道Java笔试题解答
转自:http://www.cnblogs.com/lanxuezaipiao/p/3371224.html 都 是一些非常非常基础的题,是我最近参加各大IT公司笔试后靠记忆记下来的,经过整理献给与我 ...
- 精通Web Analytics 2.0 (8) 第六章:使用定性数据解答”为什么“的谜团
精通Web Analytics 2.0 : 用户中心科学与在线统计艺术 第六章:使用定性数据解答"为什么"的谜团 当我走进一家超市,我不希望员工会认出我或重新为我布置商店. 然而, ...
- 【字符编码】Java字符编码详细解答及问题探讨
一.前言 继上一篇写完字节编码内容后,现在分析在Java中各字符编码的问题,并且由这个问题,也引出了一个更有意思的问题,笔者也还没有找到这个问题的答案.也希望各位园友指点指点. 二.Java字符编码 ...
- spring-stutrs求解答
这里贴上applicationContext里的代码: <?xml version="1.0" encoding="UTF-8"?> <bea ...
- JavaScript Bind()趣味解答 包懂~~
首先声明一下,这个解答是从Segmentfault看到的,挺有意思就记录下来.我放到最下面: bind() https://developer.mozilla.org/zh-CN/docs/Web/J ...
- CMMI4级实践中的5个经典问题及解答
这五个问题相当经典而且比较深,需要做过CMMI4.5级的朋友才能看懂这些问题.这5个问题是一位正在实践CMMI4级的朋友提出来的,而解答则是我的个人见解. 五个疑问是: A.流程,子流程部分不明白 ...
- 海边直播目标2017全国初中数学竞赛班课堂测试题解答-The Final
1. 设函数 $f(x) = 2^x(ax^2 + bx + c)$ 满足等式 $f(x+1) - f(x) = 2^x\cdot x^2$, 求 $f(1)$. 解答: 由 $f(x) = 2^x( ...
- 知乎大牛的关于JS解答
很多疑惑一扫而空.... http://www.zhihu.com/question/35905242?sort=created JS的单线程,浏览器的多进程,与CPU,OS的对位. 互联网移动的起起 ...
- [问题2014A01] 解答一(第一列拆分法,由张钧瑞同学提供)
[问题2014A01] 解答一(第一列拆分法,由张钧瑞同学提供) (1) 当 \(a=0\) 时,这是高代书复习题一第 33 题,可用升阶法和 Vander Monde 行列式来求解,其结果为 \[ ...
随机推荐
- c# 基础部分 (基本数据类型-- 表达式)
一 基础部分 1.常用的基本数据类型 int longing(长整) shortint(短整) string(文本型) char(字符型) bool (布尔型) false true 2.常量于变量 ...
- PowerDesigner的使用二
PowerDesigner是一款功能非常强大的建模工具软件,足以与Rose比肩,同样是当今 最著名的建模软件之一.Rose是专攻UML对象模型的建模工具,之后才向数据库建模发展,而PowerDesig ...
- 解决谷歌浏览器和360浏览器 input 自动填充淡黄色背景色的问题
input:-webkit-autofill {-webkit-box-shadow: 0 0 0px 1000px white inset;}
- linux应用与发展(上)
UNIX/Linux发展历史 当年,没有cmm的概念,也没什么PMP认证什么的,导致了MIT,GE,AT&T联合开发multics失败,multics是一个复杂多功能的操作系统.开发者想要开发 ...
- HSV色彩空间
HSV是把H(色相),S(饱和度),V(亮度)当做色值来定位颜色的空间.色相的取值范围是0~360度,用来表示颜色的类别.其中红色是0度,绿色是120度,蓝色是240度.饱和度的取值范围是0%~100 ...
- 【iCore3 双核心板】例程三十三:SD_IAP_ARM实验——更新升级STM32
实验指导书及代码包下载: http://pan.baidu.com/s/1jHmvQfk iCore3 购买链接: https://item.taobao.com/item.htm?id=524229 ...
- RadioButton Control
Horizontal Radiobuttons Column2 is DataGridViewTextBoxCell Horizontal Custom Radiobuttons => usin ...
- NEC学习 ---- 模块 -多行式面包屑导航
如上面形式面包屑的写法: HTML如下, <div class="m-crumb"> <ul class="f-cb"> <li& ...
- 在winform中添加普通右键菜单
显示水平滚动条:点击GridControl的Run Designer在弹出的对话框中选择Views,将右侧属性窗口中OptionsView下的ColumnAutoWidth设置成false: 可以选择 ...
- tomcat服务重启linux
1杀掉tomcat 进程 用ssh登陆到服务器 lsof -i:8080 //找到端口 ps -ef|grep tomcat kill -9 端口 2找到tomcat目下的start ...