三角数列恒等式的证明

１引言有关三角数列和、积恒等式的证明问题,在现行高中数学教材中是用数学归纳法证明的,当然数学归纳法是证明这类恒等式的基本方法,但是过程比较繁琐．本文给出一种简洁的证明方法,它可以作为证明数列恒等式的通法．２两个定理定理１如果ｆ（ｎ）－ｆ（ｎ－１）＝ｇ...     

帕斯卡与数学归纳法

帕斯卡与数学归纳法孙宏安（大连教育学院１１６０２１）数学归纳法是证明关于自然数ｎ的命题Ｐ（ｎ）的一种方法，是人们最早掌握的递归方法．其具体操作是：１°证明Ｐ（１）为真；２°假设Ｐ（ｋ）真，证明Ｐ（ｋ＋１）为真．若１°，２°都得证，则Ｐ（ｎ）对所有自然...     

利用组合解决射影几何问题

在射影几何里,有一类问题要用笛沙格定理来证明,本文对这类问题给出相当简单的证明方法;用笛沙格定理证明的问题,一般是证明三点共线、三线共点、或可归结为这两种类型的问题;而这两类问题有时又可以相互转化;例如：要证明Ａ１Ａ２,Ｂ１Ｂ２,Ｃ１Ｃ２三线共点,可转化为证明Ａ１,Ａ２,Ｂ１Ｂ２∩Ｃ１Ｃ２三点共线;反之亦然;笛沙格定理：如果两个三点形对应顶点的连线交于一点,则对应边的交点在一直线上;笛沙格定理的逆定理：如果两个三点形对应边的交点在一直线上,则对应顶点的连线交于一点;１　证明三线共点问题在证明三线…     

从k到k 1思路受阻分析及转化策略

用数学归纳法证明不等式，特别是数列不等式，是一个行之有效的方法，也是中学数学中的一个基本方法，近些年高考试题中几次出现这类问题．运用这种方法时，往往有好多学生在证ｋ到（ｋ＋１）的过程中，卡了壳、断了思路，这是一种普遍现象．现就笔者在讲授这部分内容时学生暴露的问题，分析一下思路受阻的几种原因及转化策略．１　从ｋ到（ｋ＋１）添项不足在从ｋ到（ｋ＋１）的证明过程中，如果分析不透命题结构，就会造成添项不足，证明夭折．例１　已知Ｓｎ＝１＋１２＋１３＋…＋１ｎ，（ｎ∈Ｎ）．用数学归纳法证明Ｓ２ｎ＞１＋ｎ２　…     

证明(两)曲线对称的一种方法

要证明曲线ｃ：ｆ（ｘ,ｙ）＝０关于点Ｐ（或直线ｌ）对称,只需证明曲线ｃ关于点Ｐ（或直线ｌ）的对称曲线ｃ′就是ｃ;由曲线和方程的关系,只需证明ｃ′的方程就是ｃ的方程,即只需证明ｃ′的方程就是ｆ（ｘ,ｙ）＝０．要证明两曲线ｃ１：ｆ１（ｘ,ｙ）＝０与ｃ２：ｆ２（ｘ,ｙ）＝０关于点Ｐ（或直线ｌ）对称,只需证明曲线ｃ１关于点Ｐ（或直线ｌ）的对称曲线ｃ１′就是ｃ２;由曲线和方程的关系,只需证明ｃ１′的方程就是ｃ２的方程,即只需证明ｃ１′的方程就是ｆ２（ｘ,ｙ）＝０．我们把上面证明（两）曲线对称的方法叫同一法…     

算术——几何平均不等式的简捷证明

算术——几何平均不等式是一个有着广泛应用的重要不等式．证明这个不等式有多种方法,但都较繁．本文给出一个比较简捷的证明方法．定理设ａ１,ａ２,…,ａｎ是ｎ个（ｎ∈Ｎ且ｎ≥２）正数,则１ｎ（ａ１＋ａ２＋…＋ａｎ）≥ｎａ１ａ２…ａｎ,当且仅当ａ１＝ａ２＝…...     

数学问题解答

１９９８年１１月号问题解答（解答由问题提供人给出）１１６１．对任意正整数ｎ，试证明：１ｎ＋１＋１ｎ＋２＋…＋１３ｎ＋１＜９８．证明容易证明，１ｎ＋１＋１ｎ＋２＋…＋１３ｎ＋１是关于ｎ递增的，所以上述不等式无法直接用数学归纳法证明．我们设法在不等式左边...     

证明不等式的两种方法

证明不等式的两种方法孙井生，何满良（内蒙古兴安盟师范学校１３７４００）举例说明证明某些不等式的几种方法．１升次、降次、拆项证明不等式例１已知ａ，ｂ，ｃｅＲ＋，且５ａ４＋４ｂ４＋６ｃ４—ｇｏ，求证：５ａ３十２萨十３ｃ’三４５．证明ｓａ“＋Ｚｂ“＋３ｃ“...     

关于最小二乘法估计量性质的一个注记

本文指出了文献［１］中最小二乘法估计量性质证明过程中的不妥之处，并且给出了正确的证明方法．     

关于一类条件不等式的数学归纳法证明

关于一类条件不等式的数学归纳法证明许兴华（广西防城港市上思中学５３５５００）１问题的提出在高中数学竞赛中，常出现一类以或为常数作为条件的不等式的证明，因与自然ｉ＝１数ｎ有关，尽管用数学归纳法证明方法上并不很简便，许多同学还是采用了数学归纳法。例如：例...     

拉普拉斯级数收敛性的一种简单证明

拉普拉斯级数的收敛性有多种证明方法[1 - 3 ] .本文给出了一种非常简单的证明 ,其中主要只用到了正项级数的一个基本定理 .相比之下 ,本文的方法是很容易理解的 ,在工科的教学中采纳比较合适     

Riemann引理的若干证法和推广

本文首先给出了Ｒｉｅｍａｎｎ引理及其三种证法；然后通过直接方法、变量替换方法和多项式逼近的方法分别进行了证明．最后给出了Ｒｉｅｍａｎｎ引理的推广及其证明。     

辅助函数在不等式证明中的应用

将不等式问题转化为函数问题,利用函数性质来研究、解决不等式问题.掌握不等式证明的一种函数思想方法,从而提高分析问题与解决问题的能力.     

Comments on the core of the direct method for proving Hyers-Ulam stability of functional equations

In this short paper the core of the direct method for proving stability of functional equations is described in a clear way and in a quite general form.     

函数芽k-R决定性的一种新的证明方法

通过改进在接触等价下函数芽有限决定性的相关方法,给出了在右等价下函数芽有限决定性得一种新的证明方法.     

Basis property of eigen- and associated functions of an operator with nondense domain of definition in the example of the Orr–Sommerfeld problem

Mathematical Notes - In the paper, we propose a method for proving the unconditional basis property of eigen- and associated functions of an integro-differential operator defined on a nondense...     

Proving Theorems in Elementary Geometry with Clifford Algebraic Method

本文结合吴方法及平面几何的Ｃｌｉｆｏｒｄ代数表示，提出了几何定理机器证明的一种完备的方法．用这种方法证明定理时，三角化的过程及证明的过程通常较以前的方法更简短而且它们是可以几何解释的．     

质点法在SGARP中的新实现

可持续发展的几何自动推理平台(SGARP)支持用户发展多种多样基于规则的机器自动推理或人机交互推理方法,但缺乏处理符号计算的模块,其解题能力仍有待加强.质点法是最近发展的继面积法之后又一个能对可构造型几何命题生成可读机器证明的具有完全性的算法.基于一种在SGARP中快捷实现符号计算功能的方法,对质点法机器证明算法进行了新的实现.新添加的质点法模块使得用户能更便捷地验证更多的几何定理,从而使SGARP能更好地满足用户学习与发展几何机器推理的需求.     

Hamilton－Cayley定理的另一种证法

本文提出了线性代数中重要的Ｈａｍｉｌｔｏｎ－Ｃａｙｌｅｙ定理的另一种证明．     

The teaching of proof at the lower secondary level—a video study

Teaching mathematical proof is one of the most challenging topics for teachers. Several empirical studies revealed repeatedly different kinds of students’ problems in this area. The results give support that students’ abilities in proving are significantly influenced by their specific mathematics classrooms. In this paper we will present a method for evaluating proof instruction and some results of a video study that describe proving processes in mathematics classrooms at the lower secondary level from a mathematical perspective.