[问题2014A11] 解答
[问题2014A11] 解答
我们需要利用以下关于幂等阵判定的结论,它是复旦高代书第 142 页的例 3.6.4:
结论 设 \(A\) 为 \(n\) 阶方阵, 则 \(A^2=A\) 当且仅当 \(\mathrm{r}(A)+\mathrm{r}(I_n-A)=n\).
由题中两个条件和上述结论可得
\[n=\mathrm{r}(A+B)+\mathrm{r}(I_n-(A+B))=\mathrm{r}(A)+\mathrm{r}(B)+\mathrm{r}(I_n-A-B).\cdots(1)\]
证法一 (利用分块初等变换)
构造如下分块对角阵, 并对其实施分块初等变换, 可得
\[\begin{pmatrix} A & 0 & 0 \\ 0 & B & 0 \\ 0 & 0 & I_n-A-B \end{pmatrix}\to\begin{pmatrix} A & 0 & 0 \\ 0 & B & 0 \\ A & B & I_n-A-B \end{pmatrix}\to\begin{pmatrix} A & 0 & A \\ 0 & B & B \\ A & B & I_n \end{pmatrix}\]
\[\to\begin{pmatrix} A-A^2 & -AB & 0 \\ -BA & B-B^2 & 0 \\ A & B & I_n \end{pmatrix}\to\begin{pmatrix} A-A^2 & -AB & 0 \\ -BA & B-B^2 & 0 \\ 0 & 0 & I_n \end{pmatrix}.\]
注意到分块初等变换不改变矩阵的秩, 故由 (1) 式可得 \(\mathrm{r}\begin{pmatrix} A-A^2 & -AB \\ -BA & B-B^2 \end{pmatrix}=0\), 从而我们有 \(A^2=A\), \(B^2=B\), \(AB=BA=0\).
证法二 (由张钧瑞同学提供, 利用秩的不等式)
主要思路是反复利用秩的不等式 \(\mathrm{r}(A)+\mathrm{r}(B)\geq \mathrm{r}(A+B)\) (复旦高代书第 144 页习题 5(3)) 以及幂等阵判定的结论. 由 (1) 式可得
\[n\geq \mathrm{r}(A)+\mathrm{r}(I_n-A)\geq \mathrm{r}(I_n)=n,\]
所以上述不等式只能取等号, 从而 \(A\) 是幂等阵. 同理可证 \(B\) 也是幂等阵. 最后, 由 \((A+B)^2=A+B\), \(A^2=A\), \(B^2=B\) 可得 \(AB=BA=0\), 这是[问题2014A04] 的第一小题. \(\Box\)
注 本题的几何版本见复旦高代书第 208 页复习题 34, 所以本题也有第三种几何的证法, 具体证明请参考复旦高代白皮书 (第二版) 第 131 页例 4.45.
[问题2014A11] 解答的更多相关文章
- 精选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 行列式来求解,其结果为 \[ ...
随机推荐
- 关于Java擦除特性
package thinkingInJava; /* * 模拟擦除 */ public class SimpleHolder { private Object obj ; public void se ...
- BizTalk开发系列(二十) 类型作用域
Orchestration中的Type概念跟.NET 里的Class一样,可以在Orchestration开过过程中将多个实例绑定到一种类型.Orchestration 视图里包括的类型有Port T ...
- Win8.1屏幕亮度自动调节关闭方法
细心的朋友会发现,Win8.1系统的笔记本屏幕亮度有时候,会根据外界光线亮度以及温度自动调节屏幕亮度,尽管看似比较智能,但有时候我们并不希望笔记本屏幕亮度受光线影响,忽暗忽亮.如果我们希望Win8笔记 ...
- c++之map
题目描述: 哈利波特在魔法学校的必修课之一就是学习魔咒.据说魔法世界有100000种不同的魔咒,哈利很难全部记住,但是为了对抗强敌,他必须在危急时刻能够调用任何一个需要的魔咒,所以他需要你的帮 ...
- Array-练习-自定义功能
//html part <script type="text/javascript" src="out.js"></script> &l ...
- 【iCore3 双核心板_FPGA】实验二十:基于FIFO的ARM+FPGA数据存取实验
实验指导书及代码包下载: http://pan.baidu.com/s/1cmisnO iCore3 购买链接: https://item.taobao.com/item.htm?id=5242294 ...
- do put in ruby
apikey: XO.apikeys.cms, data: { favoriteItems: [{ UserId: SaveToFavoriteVar.content.FavoriteItem.Use ...
- (转)python爬取拉勾网信息
学习Python也有一段时间了,各种理论知识大体上也算略知一二了,今天就进入实战演练:通过Python来编写一个拉勾网薪资调查的小爬虫. 第一步:分析网站的请求过程 我们在查看拉勾网上的招聘信息的时候 ...
- 【后台测试】手把手教你jmeter压测
◆版权声明:本文出自胖喵~的博客,转载必须注明出处. 转载请注明出处:http://www.cnblogs.com/by-dream/p/5611555.html 我知道我迟早是要踏上了后台测试之路 ...
- 跳转至指定ViewController
有些情况下,并不是简单的push pop,需要连跳几个VC,可以用下面的方法: for(UIViewController * vc in self.navigationController.child ...