[问题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] 解答的更多相关文章

  1. 精选30道Java笔试题解答

    转自:http://www.cnblogs.com/lanxuezaipiao/p/3371224.html 都 是一些非常非常基础的题,是我最近参加各大IT公司笔试后靠记忆记下来的,经过整理献给与我 ...

  2. 精通Web Analytics 2.0 (8) 第六章:使用定性数据解答”为什么“的谜团

    精通Web Analytics 2.0 : 用户中心科学与在线统计艺术 第六章:使用定性数据解答"为什么"的谜团 当我走进一家超市,我不希望员工会认出我或重新为我布置商店. 然而, ...

  3. 【字符编码】Java字符编码详细解答及问题探讨

    一.前言 继上一篇写完字节编码内容后,现在分析在Java中各字符编码的问题,并且由这个问题,也引出了一个更有意思的问题,笔者也还没有找到这个问题的答案.也希望各位园友指点指点. 二.Java字符编码 ...

  4. spring-stutrs求解答

    这里贴上applicationContext里的代码: <?xml version="1.0" encoding="UTF-8"?> <bea ...

  5. JavaScript Bind()趣味解答 包懂~~

    首先声明一下,这个解答是从Segmentfault看到的,挺有意思就记录下来.我放到最下面: bind() https://developer.mozilla.org/zh-CN/docs/Web/J ...

  6. CMMI4级实践中的5个经典问题及解答

    这五个问题相当经典而且比较深,需要做过CMMI4.5级的朋友才能看懂这些问题.这5个问题是一位正在实践CMMI4级的朋友提出来的,而解答则是我的个人见解. 五个疑问是:   A.流程,子流程部分不明白 ...

  7. 海边直播目标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( ...

  8. 知乎大牛的关于JS解答

    很多疑惑一扫而空.... http://www.zhihu.com/question/35905242?sort=created JS的单线程,浏览器的多进程,与CPU,OS的对位. 互联网移动的起起 ...

  9. [问题2014A01] 解答一(第一列拆分法,由张钧瑞同学提供)

    [问题2014A01] 解答一(第一列拆分法,由张钧瑞同学提供) (1)  当 \(a=0\) 时,这是高代书复习题一第 33 题,可用升阶法和 Vander Monde 行列式来求解,其结果为 \[ ...

随机推荐

  1. php判断字符串A是否含有字符串B

    <?php if (preg_match ("/PHP/", "PHP is the web scripting language of choice." ...

  2. 20145334 第五次 java 实验报告

    实验内容 1.掌握Socket程序的编写: 2.掌握密码技术的使用: 3.设计安全传输系统. 我和20145306张文锦组队编程 http://www.cnblogs.com/besti145306/ ...

  3. PHPExcel创建文件格式写入对象实例

    首先到http://www.codeplex.com/PHPExcel下载PHPExcel 下面就是php导出excel的程序 <?phpini_set("display_errors ...

  4. python子类调用父类的方法

    python子类调用父类的方法 python和其他面向对象语言类似,每个类可以拥有一个或者多个父类,它们从父类那里继承了属性和方法.如果一个方法在子类的实例中被调用,或者一个属性在子类的实例中被访问, ...

  5. DevExpress GridView加入DevExpress中的右键菜单PopuMenu

    1. 添加一个Barmanager控件 2. 加入popumenu控件,点击该控件右上角的黑色三角号,编辑选项,点击编辑的选项,选择事件,编辑事件. 3. 在使用该右键菜单的控件添加MouseUp事件 ...

  6. Altium Designer 文档信息设置以及模板制作

    原理图文档模板制作方法一.在DXP原理图设计环境下,新建一个自由原理图文档.单击:文件→新建→原理图,或者使用快捷键Ctrl+N打开Files资源面板,在“新建”项目下的选择“Schematic Sh ...

  7. WCF初识

    WCF能干什么? 在win32中,应用程序是运行在进程的线程中的,.NET出现之后,出现了AppDomain,其实就相当于在进程和线程之间又又了一层包装层,类似于子进程的概念,在一个进程或者应用程序域 ...

  8. favicon.ico的制作

    1.选取需要的图片(jpg的格式等) 2.在网上搜索favicon.ico的制作,将jpg转为ico 3.在html中输入<link rel="shortcut icon" ...

  9. Git-仓库基本结构

    三 Git 仓库      1.1Git 基本概念    在Git中,我们将需要进行版本控制的文件目录叫做一个仓库(repository),每个仓库可以简单理解成一个目录,这个目录里面的所有文件都通过 ...

  10. 12月14日《奥威Power-BI销售计划填报》腾讯课堂开课啦

           2016年的最后一个月也过半了,新的一年就要到来,你是否做好了启程的准备?新的一年,有计划,有目标,有方向,才不至于迷茫.规划你的2017,新的一年,遇见更好的自己!        所以 ...