反例在高考压轴题中的运用

数学发现主要是提出证明和构造反例.在数学中,要证明一个命题成立,必须严格地在所给的条件下,用逻辑推理的方法推导出结论.要证明一个命题是错误的,极具有说服力而又简明的方法就是举出反例,去推翻它.在数学发展史上,恰当的反例推动了数学的发展.常常有这样的情况,一个重要的猜想,数学家用了很长的时间未能证明它,结果有人举出反例否定了这样的猜想,使问题得到了解决.……     

考虑投入和产出指标偏好的广义DEA模型

广义DEA是一种基于决策单元和非决策单元自由选择参考集的扩展DEA模型.传统DEA模型的最优解大多是由线性规划随机计算的,未能充分考虑投入和产出指标的重要程度.将投入和产出指标的决策者偏好引入到广义DEA模型约束条件中,首先定义投入和产出指标偏好矩阵,再将该矩阵纳入广义DEA模型的约束条件,构建了带投入和产出指标偏好的广义DEA模型(GDEA-IP).接下来给出决策单元GDEA-IP有效性与评价指标的量纲选择无关性的证明,以及决策单元为GDEA-IP弱有效和有效的理论证明.算例分析说明GDEA-IP模型的有效性,通过和其它经典模型的对比分析,进一步说明该模型比广义DEA模型具有更大的灵活性和通用性,拓展了DEA方法的理论研究.     

二次曲线中点弦存在条件统一证明

中数期刊近十年来发表了一系列讨论二次曲线中点弦的文章．然而“外中点弦存在条件”［１］未能“统一证明”［２］．本文用初等方法给出一般二次曲线中点弦存在条件统一证明（含外中点弦）;并给出一般二次曲线内、外部,内、外角域的形式判定条件,实际上直接作为“定义...     

两类积分不等式的一个应用

针对北京市大学生数学竞赛试题中一道积分不等式证明题,在重述原参考解答后,重点介绍Steffesen不等式和Chebyshev不等式,并分别运用它们证明该积分不等式．此外,利用积分第二中值定理也可证明该积分不等式。且方法更为简洁．     

Coven和Hedlund一个定理的较简单的证明

Coven和Hedlund在[1]中证明：若区间映射的周期集为有限集,则它的每一个非游荡点都是周期点。本给出了这一定理的一个较简单的证明。此外,我们还用“同伦”的方法简化了该的一个关键引理的证明。     

Halmiton-Caylay定理的新证明

基于商空间和不变子空间的有关结果,利用数学归纳法可证明在线性代数理论中占据重要地位的Hamilton-Caylay定理.此法有别于借助多项式矩阵及其伴随矩阵证明该定理的传统方法.     

图表追踪的一种机器实现方法

交换图表追踪法是同调代数中一种重要的证明方法.本文提出了一种基于前推的交换图表追踪的机器实现方法,它可以证明同调代数中一系列基于交换图的定理.该方法从定理的结论出发,通过构造辅助元素以及对辅助元素进行推导,能在有限步内给出定理的证明.本文提出的前推方法已经在Java开发平台上实现,同调代数中的五引理、九引理、蛇引理等的证明都可以由我们的程序自动产生.     

基于最小二乘近似的模型平均方法

本文提出基于最小二乘近似的模型平均方法.该方法可用于线性模型、广义线性模型和分位数回归等各种常用模型.特别地,经典的Mallows模型平均方法是该方法的特例.现存的模型平均文献中,渐近分布的证明一般需要局部误设定假设,所得的极限分布的形式也比较复杂.本文将在不使用局部误设定假设的情形下证明该方法的渐近正态性.另外,本文...     

一个等式约束问题的拟Newton—信赖域型方法及其收敛性

在[1]中,Vardi提出一个信赖域方法,而收敛性证明却是在精确λ-搜索下给出的,本文在[1]的基础上提出一个新的算法-拟Newton-信赖域型算法,并证明该算法是全局收敛的,通过利用二阶修正技术去修正该算法,我们证明了该算法是局部超线性收敛的。     

复数集无零因子的几种证明

一个集合定义了一个叫作乘法的运算后，无零因子的性质在数学推理中是经常运用的．但是这么个有用的性质在教学中未能引起教师足够的重视，而学生则认为是理所当然的事，只停留在习惯的应用上并没有深刻地理解它．加之复数集无零因子的证明学生普遍感到困难，本文将提供几种证明，其中不乏巧妙证法．     

线性变换的值域与核的维数关系定理的证法探析

本文首先证明了有限维线性空间上的线性变换是单射当且仅当它是满射这一结论,其次分析了通常高等代数教材中关于线性变换的值域与核的维数关系定理的两种证明方法,并给出了该定理的一种新的证明方法.     

利用调和分析方法证明柯西积分公式

柯西积分公式是复变函数中的重要公式之一,它的证明在一般的教材中是利用柯西积分定理以及函数的连续性来证明的.而在该论文中提供了另一种的柯西积分公式证明方法,主要是利用调和函数和数学分析中的格林公式来证明.     

无罚函数和滤子的一个新的QP-free方法

通过构造一个等价于原约束问题一阶KKT条件的非光滑方程组, 提出一类新的QP-free方法. 在迭代中采用了无罚函数和无滤子线搜索方法, 在此基础上, 通过牛顿-拟牛顿迭代得到满足KKT最优条件的解, 并证明该算法是可实现、具有全局收敛性. 另外, 在较弱条件下可以证明该方法具有超线性收敛性.     

关于非扩张映像的复合Halpern迭代的强收敛性

在具有G-可微范数的Banach空间中证明非扩张映像的复合Halpern型迭代的强收敛定理．该结论不需要使用连续道路魂，证明方法更简单，条件比Qin x更弱．     

无罚函数和滤子的一个新的QP-free方法（英文）

通过构造一个等价于原约束问题一阶KKT条件的非光滑方程组,提出一类新的QPfree方法.在迭代中采用了无罚函数和无滤子线搜索方法,在此基础上,通过牛顿-拟牛顿迭代得到满足KKT最优条件的解,并证明该算法是可实现、具有全局收敛性.另外,在较弱条件下可以证明该方法具有超线性收敛性.     

三角恒等式与初等几何定理的机械化证明

一、三角恒等式的机械化证明我们知道,适当选取模型,双曲几何、椭圆几何中的定理证明几乎可以全部化为三角函数与双曲函数的运算。即使在欧氏平面几何中,三角函数的应用有时也会使证明大大简化。但三角函数的运算往往是既繁琐又要很高的技巧,特别是当涉及的几何问题复杂时手算几乎是不可能的。吴文俊在文献[4,6]中指出,可以利用三角函数满足的代数关系及 Ritt-吴文俊原理机械化地证明三角函数公式。本文将给出更直接的方法,并用之于几何定理的证明。当定理涉及角度及方向时,该方法特别有效。     

基于线性ν-支持向量回归机的异常数据检测

讨论了线性v-支持向量回归机中参数v的意义,并给出了严格的理论证明。利用v-支持向量回归机中ε-不敏感损失函数及参数v的意义,提出一种回归数据中的异常值检测方法。采用线性模型使得该方法不仅速度快而且能处理大规模数据。数值实验证明其具有可行性和有效性。     

从W·Janous猜想谈起

Ｗ·Ｊａｎｏｕｓ猜想是 :设ｘ ,ｙ ,ｚ是正数 ,则 ｙ2 -ｘ2ｚ ｘ ｚ2 -ｙ2ｘ ｙ ｘ2 -ｚ2ｙ ｚ ≥ 0 .Ｗ·Ｊａｎｏｕｓ本人未能证明这个猜想 ,该猜想最先发表在加拿大《数学难题》杂志 16 12期 ,后作为数学难题刊在湖北《数学通讯》1992年第 4期上 ,从此引入中国 ,并引起读者的兴趣 ,下面从多个角度给出该猜想的证明及推广 ,最后给出一些练习 ,供读者思考 .1　证明[方法 1]　设ｚ ｘ =ａ ,ｘ ｙ =ｂ ,ｙ ｚ =ｃ ,则ｘ ｙ ｚ =12 (ａ ｂ ｃ) ,ｘ =12 (ａ ｂ -ｃ) ,ｙ= 12 (ｂ ｃ-ａ) ,ｚ =12 (ａ ｃ-ｂ) .故原不等式可化…     

一个命题的多种证明

在解答某文献中的一个问题的过程中,得到了一个命题.用不同的方法给出了该名题的多种证明.     

用离散纵标法计算平板几何反应堆厚度临界尺度的合理性~

自从1944年 chandrasekhar 在辐射迁移现象计算中使用离散纵标法之后,该方法在核反应堆实际计算中有了广泛的应用,因而引起了许多数学工作者的关心.他们去研究和证明该方法的合理性,并已得到很多结果(如[2—10]).本文的目的是证明用离散纵标法计算平板几何反应堆关于厚度的临界尺度本征值的合理性.这里我们讨论介质体