论文部分内容阅读
[摘 要]按照研究文献内所具有的研究成果，对洛伦慈变换之后，产生了较多数学证明方法，不同数学证明方法主要在数学解决过程中应用，借助洛伦慈变换研究成果，对数学问题进行研究。本文就对洛伦慈变换所产生的数学证明方法进行分析研究，对数学证明方法进行阐述。
[关键词]洛伦慈变换；数学；证明方法
中图分类号：O412.1 文献标识码：A 文章编号：1009-914X（2017）43-0192-01
前言
洛伦慈变换仅仅是狭义相对论内的一种数学工具，虽然洛伦慈变换在数学问题解答上具有十分显著作用，但是人们关注程度十分低下。洛伦慈变换作为狭义相对论内的核心问题。洛伦茨变换在爱因斯坦推导之后产生，人们就形成了不同推导方式。在全部推导数学方法内，都是以数学检验作为推导核心。
1、演绎法
演绎法在数学表述过程中的基础办法，所具有的推理形式较多，根据因果关系可以将演绎法分为三种，分别为分析演绎法、综合演绎法与分析综合演绎法。分析与综合在演绎过程中所具有的含义较为特殊，属于数学问题内常用推理论证方法。分析綜合演绎法在实际应用过程中，需要特别注意的是，分析综合演绎法与分析演绎法和综合演绎法在思维逻辑上存在显著差异。
1.1 分析演绎法
分析演绎法也称之为果索因法，主要表示结果从产生一直到结果之间所呈现的逻辑推理模式。想要结论正确，就需要具备某一个前提条件，这种推理演绎方法为分析演绎法的基础推理形式。分析演绎法在逻辑思维主要是从结果及结论作为出发点，逐渐对结论与结论成立的条件进行探索，保证结论推理与已知条件相同。
1.2 综合演绎法
综合演绎法也被称之为执因导果法，主要是按照原理对结果进行推导，属于一种逻辑推理方法。条件在成立情况下，结论也就成立，这种形式为综合演绎法在推理过程中的基础形式。综合演绎法在应用过程中，是以已知条件作为切入点，对必要条件成立因素探索，探索不同因素之间所呈现出来的关联。所以，综合演绎法在逐步推演过程中，从而推导出结论。
2、归谬法
归谬法属于一种间接性数学论证方式，在对数学问题证明过程中，以否定结论作为切入点，对推理结论极性推导，保证推导结果与数学问题结论相互矛盾，因此也就对数学题目结论进行证明，有效解决直接论证方法在问题所存在的问题。归谬法在论证数学题目过程中，需要先假设一个与命题相反的假设条件，以假设条件作为切入点，逐渐对于假设结论进行推理证明，最后让假设结论与数学题目结论之间相互矛盾，有效对假设结论进行否定，对正确命题进行还原。归谬法在对命题证明过程中，主要分为三个步骤，首先需要按照数学结论提出假设结论；其次，应用假设结论对题目进行证明，在系列逻辑推理之后，让数学题目条件与假设条件相矛盾；最后，通过上述矛盾对原本数学命题进行验证[1]。
3、构造法
构造法在实际应用过程中，主要是按照数学题目所呈现出来的特征，将数学题目内所给出的条件全部划分为元素，不同数学之间所具有的关系结构看做为支架，在逻辑思维在构造之下对数学题目进行论证。构造法在实际应用过程中，主要具有两种数学形式，分别为构造图形与构造方程，在数学问题解答过程中探索一种全新解答途径，绕过数学题目所设定的障碍，对数学问题想要论证的问题进行解答[2]。
4、反例法
数学问题证明过程中，反例法属于应用的证明方法。反例法作为特殊构造法。利用反例法所构造出来的数学形态，与数学题目所给出的数学结论相反。反例法在数学问题解答过程中，主要表示符合命题，同时与命题结论例子相反。主要就是在已经得到证明的逻辑推理及结论前提条件基础智商，应用否定作用的例子进行证明。反例法作为特殊证明形式，主要就是对某命题不成立作为论证结论。在一般情况下，在假命题下需要构建出多种反例题，但是在实际问题解决过程中仅仅构造一个假命题就可以。反例在列举过程中，属于一种数学构造方法。对于反例构造方法而言，主要可以分为三种构造方法，分别为特例选择构造方法、性质分析构造方法、类比构造方法[3]。
5、逐步逼近法
数学问题在较为复杂情况下，难以在短时间内对数学问题进行解决。在这个情况下，可以将原来数学问题划分为多个子问题，然后按照一定顺序进行解决，这样问题解答难度显著下降，这些问题逐渐逼近数学题目原来问题，将解答精力都放在数学问题解答上，在对子问题解答过程中，能够逐渐逼近数学问题解答问题。逐步逼近法主要表示在对数学问题解答上，通过逐步解答的形式，逐渐对正确答案进行推理[4]。
6、计算性证明法
计算性证明法主要表示在数学题目计算过程中，对命题进行论证。正常情况下，计算机证明法在实际应用过程中对于计算过程关注，对证明问题进行推理，属于数学问题证明过程中经常应用的一种证明方法。计算性证明法在导数与积分等数学问题论证上广泛应用。很多逻辑推理问题都开始应用计算性证明法进行证明，是现代数学发展的主要方向，能够有效对文字论证内容进行简化[5]。
结论
洛伦慈变换中的数学证明方法在实际应用过程中，与教学规律十分吻合。洛伦慈变换所形成的数学证明方法，在数学问题解答上，所针对的数学题目不同，能够有效对数学问题进行简化，提高数学问题解答正确。本文在对洛伦慈变换不同数学证明方法分析研究中，还存在一定不足，仅供参考。
参考文献
[1] 李文博，王大轶，刘成瑞.动态系统实际故障可诊断性的量化评价研究[J/OL].自动化学报，2015（03）
[2] 朱熀秋，秦英，鞠金涛，李发宇.基于磁链耦合分析的无轴承永磁同步电机通用数学模型[J].振动与冲击，2015，17：191-198.
[3] 金亚南，徐沥泉.高斯数论研究刍议及其生平补遗——纪念高斯逝世160周年[J].自然杂志，2015，05：348-354.
[4] 凌道盛，石吉森，张如如，王云岗.Hansbo类有限单元法的非连续分片试验[J].浙江大学学报（工学版），2015，11：2142-2150.
[5] 宋昆，秦英.无轴承永磁同步电机磁链耦合分析及数学建模[J].微电机，2016，07：77-82.
[关键词]洛伦慈变换；数学；证明方法
中图分类号：O412.1 文献标识码：A 文章编号：1009-914X（2017）43-0192-01
前言
洛伦慈变换仅仅是狭义相对论内的一种数学工具，虽然洛伦慈变换在数学问题解答上具有十分显著作用，但是人们关注程度十分低下。洛伦慈变换作为狭义相对论内的核心问题。洛伦茨变换在爱因斯坦推导之后产生，人们就形成了不同推导方式。在全部推导数学方法内，都是以数学检验作为推导核心。
1、演绎法
演绎法在数学表述过程中的基础办法，所具有的推理形式较多，根据因果关系可以将演绎法分为三种，分别为分析演绎法、综合演绎法与分析综合演绎法。分析与综合在演绎过程中所具有的含义较为特殊，属于数学问题内常用推理论证方法。分析綜合演绎法在实际应用过程中，需要特别注意的是，分析综合演绎法与分析演绎法和综合演绎法在思维逻辑上存在显著差异。
1.1 分析演绎法
分析演绎法也称之为果索因法，主要表示结果从产生一直到结果之间所呈现的逻辑推理模式。想要结论正确，就需要具备某一个前提条件，这种推理演绎方法为分析演绎法的基础推理形式。分析演绎法在逻辑思维主要是从结果及结论作为出发点，逐渐对结论与结论成立的条件进行探索，保证结论推理与已知条件相同。
1.2 综合演绎法
综合演绎法也被称之为执因导果法，主要是按照原理对结果进行推导，属于一种逻辑推理方法。条件在成立情况下，结论也就成立，这种形式为综合演绎法在推理过程中的基础形式。综合演绎法在应用过程中，是以已知条件作为切入点，对必要条件成立因素探索，探索不同因素之间所呈现出来的关联。所以，综合演绎法在逐步推演过程中，从而推导出结论。
2、归谬法
归谬法属于一种间接性数学论证方式，在对数学问题证明过程中，以否定结论作为切入点，对推理结论极性推导，保证推导结果与数学问题结论相互矛盾，因此也就对数学题目结论进行证明，有效解决直接论证方法在问题所存在的问题。归谬法在论证数学题目过程中，需要先假设一个与命题相反的假设条件，以假设条件作为切入点，逐渐对于假设结论进行推理证明，最后让假设结论与数学题目结论之间相互矛盾，有效对假设结论进行否定，对正确命题进行还原。归谬法在对命题证明过程中，主要分为三个步骤，首先需要按照数学结论提出假设结论；其次，应用假设结论对题目进行证明，在系列逻辑推理之后，让数学题目条件与假设条件相矛盾；最后，通过上述矛盾对原本数学命题进行验证[1]。
3、构造法
构造法在实际应用过程中，主要是按照数学题目所呈现出来的特征，将数学题目内所给出的条件全部划分为元素，不同数学之间所具有的关系结构看做为支架，在逻辑思维在构造之下对数学题目进行论证。构造法在实际应用过程中，主要具有两种数学形式，分别为构造图形与构造方程，在数学问题解答过程中探索一种全新解答途径，绕过数学题目所设定的障碍，对数学问题想要论证的问题进行解答[2]。
4、反例法
数学问题证明过程中，反例法属于应用的证明方法。反例法作为特殊构造法。利用反例法所构造出来的数学形态，与数学题目所给出的数学结论相反。反例法在数学问题解答过程中，主要表示符合命题，同时与命题结论例子相反。主要就是在已经得到证明的逻辑推理及结论前提条件基础智商，应用否定作用的例子进行证明。反例法作为特殊证明形式，主要就是对某命题不成立作为论证结论。在一般情况下，在假命题下需要构建出多种反例题，但是在实际问题解决过程中仅仅构造一个假命题就可以。反例在列举过程中，属于一种数学构造方法。对于反例构造方法而言，主要可以分为三种构造方法，分别为特例选择构造方法、性质分析构造方法、类比构造方法[3]。
5、逐步逼近法
数学问题在较为复杂情况下，难以在短时间内对数学问题进行解决。在这个情况下，可以将原来数学问题划分为多个子问题，然后按照一定顺序进行解决，这样问题解答难度显著下降，这些问题逐渐逼近数学题目原来问题，将解答精力都放在数学问题解答上，在对子问题解答过程中，能够逐渐逼近数学问题解答问题。逐步逼近法主要表示在对数学问题解答上，通过逐步解答的形式，逐渐对正确答案进行推理[4]。
6、计算性证明法
计算性证明法主要表示在数学题目计算过程中，对命题进行论证。正常情况下，计算机证明法在实际应用过程中对于计算过程关注，对证明问题进行推理，属于数学问题证明过程中经常应用的一种证明方法。计算性证明法在导数与积分等数学问题论证上广泛应用。很多逻辑推理问题都开始应用计算性证明法进行证明，是现代数学发展的主要方向，能够有效对文字论证内容进行简化[5]。
结论
洛伦慈变换中的数学证明方法在实际应用过程中，与教学规律十分吻合。洛伦慈变换所形成的数学证明方法，在数学问题解答上，所针对的数学题目不同，能够有效对数学问题进行简化，提高数学问题解答正确。本文在对洛伦慈变换不同数学证明方法分析研究中，还存在一定不足，仅供参考。
参考文献
[1] 李文博，王大轶，刘成瑞.动态系统实际故障可诊断性的量化评价研究[J/OL].自动化学报，2015（03）
[2] 朱熀秋，秦英，鞠金涛，李发宇.基于磁链耦合分析的无轴承永磁同步电机通用数学模型[J].振动与冲击，2015，17：191-198.
[3] 金亚南，徐沥泉.高斯数论研究刍议及其生平补遗——纪念高斯逝世160周年[J].自然杂志，2015，05：348-354.
[4] 凌道盛，石吉森，张如如，王云岗.Hansbo类有限单元法的非连续分片试验[J].浙江大学学报（工学版），2015，11：2142-2150.
[5] 宋昆，秦英.无轴承永磁同步电机磁链耦合分析及数学建模[J].微电机，2016，07：77-82.