共查询到19条相似文献,搜索用时 593 毫秒
1.
2.
3.
卢小宁 《湖南文理学院学报(自然科学版)》2001,13(2):21-22
给出了线性代数中“det(AB)=detAdetB”的一个数学归纳法证明。其中只用到了行列式的三个基本性质与行列式依行展开定理以及矩阵乘积的定义,避免了初等矩阵、矩阵的初等变换、矩阵的分块以及行列式理论中的Laplace定理等过多的理论知识和过高的技巧。 相似文献
4.
关于行列式定义及其性质证明的改进 总被引:1,自引:1,他引:0
施晓青 《沈阳师范大学学报(自然科学版)》2008,26(3)
全面系统地研究了行列式的性质,给出了与原有行列式定义不同的定义,利用此定义和引理导出定理,进一步导出行列式的性质,给出了行列式性质与以往教材不同的完整证明,形成了有关行列式的新的知识体系,通过定理性质的证明过程,充分发挥高等数学的素质教育功能,重点在培养学生的逻辑思维能力、推理能力和创新能力. 相似文献
5.
叶耀军 《河南教育学院学报(自然科学版)》2009,18(3):54-56
从n阶行列式的特点出发,应用实际例子给出了n阶行列式的几个常用的证明和计算方法:用定义和数学归纳法证明,用化三角形法、递推法和公式法来计算.同时对各种方法的适用范围和特点进行了说明,以便更好地运用这些方法去解决其它各种类型的题目. 相似文献
6.
卢小宁 《常德师范学院学报(自然科学版)》2001,13(2):21-22
给出了线性代数中“det(AB)=detAdetB”的一个数学归纳法证明。其中只用到了行列式三个基本性质与行列式依行展开定理以及矩阵乘积的定义,避免了初等矩阵、矩阵的初等变换、矩阵的分块以及行列式理论中的Laplace定理等过多的理论知识和过高的技巧。 相似文献
7.
谭维奇 《牡丹江师范学院学报(自然科学版)》2012,(4):4-5
对于n阶矩阵及其行列式,相关的书中只研究n>1时的情形,而对n=1时,即单元素矩阵及其行列式却很少涉及.本文给出单元素矩阵及其行列式的定义式、单元素行列式元素的余子式、相关的一些特殊性质和定理等. 相似文献
8.
谈拉普拉斯定理及其应用 总被引:1,自引:0,他引:1
拉普拉斯定理在行列式按行(列)展开定理的基础上可以更快地降阶计算行列式,在某些行列式计算和证明中比较方便。本文首先介绍了拉普拉斯定理,然后给出了定理的几个应用。 相似文献
9.
10.
11.
吴江 《重庆邮电学院学报(自然科学版)》2006,(Z1)
在定义了初等变换和动等矩阵的前提下,利用矩阵三类初等变换的关系,提出了可以把方阵的行列式定义为方阵的函数的方法,并以此定义和证明了行列式的几个性质,与传统教材中的方法相比,此方法比较简洁。 相似文献
12.
给出了二、三阶行列式恒等式.利用行列式的定义和数学归纳法两种方法给出证明.在一定条件应用恒等式去计算一些行列式和解线性方程组.一方面,从新的角度探讨了行列式自身的性质;另一方面,为快速计算带有字母的行列式(符号运算)提供了新的方法.其结果不能够包含在已有的经典方法中,补充了已有的结果. 相似文献
13.
MANET路由协议的正确性分析 总被引:1,自引:0,他引:1
移动自组网(MANET)是当前网络研究的一个热点,但是由于安全问题致使其未能广泛应用.在安全问题中,路由协议的正确性尤为重要.采用形式验证方法分析了MANET非安全路由协议和安全路由协议的正确性.首先给出了协议正确性的形式描述以及攻击者的形式定义,将协议的正确性分为安全性(Safety property)和活性(Liveness property),前者指协议所发现的路由具有某些良好的性质,后者指协议能够发现路由而且能够顺利地传输数据;然后提出了两个活性证明规则--响应性证明规则和反应性证明规则,并用所提出的活性证明规则在Isabelle/HOL中证明了DSR协议和SRP协议的正确性. 相似文献
14.
错排问题的一种有效解法 总被引:1,自引:0,他引:1
首先给出真假值行列式的概念、性质和计算方法,然后剃用真假值行列式给出了错排问题的一种有效解法。这种解法比较简单易行,无需对问题进行分类,省却了分类的麻烦。最后给出一个实例。 相似文献
15.
蒋远辉 《岳阳师范学院学报》2013,(3):15-19,83
用数学归纳法讨论了一类孪生n-1阶(s,q)型(F)数列、(L)数列构成的n阶行列式的性质,给出了同阶孪生行列式的比例关系,导出两类用行列式表示的组合恒等式. 相似文献
16.
任海珍 《青海师范大学学报(自然科学版)》1996,(3):11-15
本文给出了行列式函数的一个等价定义,同时讨论了行列式函数的几何意义,并导出了行列式函数的微分性质,这些探讨对列式理论的研究提供了新的工具。 相似文献
17.
对矩阵乘积的行列式性质|AX|=|A‖X|作进一步的推广,得到了更为普遍的结果;将其应用到微分方程以及其它相关的问题中,能够简化证明过程,并得到更进一步的结论. 相似文献
18.
研究IMBq方程的定解问题,采用Galerkin方法证明了局部强解的存在唯一性.利用凸性方法,在一定条件下,证明了IMBq方程的Blow-up性质. 相似文献
19.
导出了新的Plücker关系式,利用Wronskian技巧和Plücker关系式证明著名的Crum定理.给出了Crum定理一个新的简洁证明.在附录中证明了三个plücker关系式. 相似文献