归谬法(contradiction) 如果一个证明类似 p->q的形式 归谬法即 证明 p^非q = F 反证法(contraposition) 证明 非q->非p 原命题即成立 ...

反证法与归谬法极其相似，但是却有本质区别，下面以两个例子来说明这个区别 反证法的例子： 楚庄王养的一匹爱马死了，他十分痛心，命令群臣用大夫等级的礼节来埋葬这匹马。大臣们说不能这样做。楚庄王非常生气，下令：“有敢以马谏者，罪致死。”优孟听说此事后，去见楚庄王。要求以君王之礼来葬这匹马，并叫上 ...

qq网友3204901701提供证明 ...

矩阵非异性的判定是高等代数教学中的一个重点. 一般来说, 判定非异矩阵的常见方法有五种, 分别是: (i) 行列式的计算 (参考高代白皮书第 1 章); (ii) 凑因子法 (参考高代白皮书第 2 ...

矩阵秩的估计 (等式或不等式的证明) 是高等代数教学中的一个难点, 我们通常有以下三种方法, 分别是: (i) 从矩阵秩的基本等式和不等式出发, 利用矩阵的初等变换来处理 (参考高代白皮书第 3.2 ...

第五大题 设 $A_1,\cdots,A_n$ 为两两乘法可交换的 2019 阶实方阵, $f(x_1,\cdots,x_n)$ 是 $n$ 元实系数多项式. 令 $B=f(A_1,\cdots,A ...

第七大题 设 $A$ 为 $n$ 阶复方阵, 证明: 存在复数 $c_1,\cdots,c_{n-1}$, 使得 $$A-c_1e^A-c_2e^{2A}-\cdots-c_{n-1}e^{(n-1)A}$$ 是可对角化矩阵. 本题是复旦大学数学学院 18 级高等代数 II 期中考试的第七 ...