正弦定理在数学竞赛解题中的应用(一)

正弦定理在数学竞赛解题中的应用（一）李火斤（天津师范大学数学系３０００７４）正弦定理是高中数学课的一个重要内容．利用正弦定理解决几何问题，在数学竞赛中也经常出现．灵活运用该定理解决几何在有关求角、求最值、证明线段相等、证垂直及证三点共线的例子有很多，...     

面积问题与面积方法

面积问题与面积方法黄启林（华南师大附中５１０６３０）在各级各类国内外数学竟赛试题中，有不少关于面积的问题，面积问题是几何中的一个重要问题．面积方法─—利用面积知识来求解或证明命题的方法，是几何证明的重要方法，几乎所有的平面几何定理都可以用面积方法来加...     

用原函数构造辅助函数

辅助函数法是高等数学证明中经常使用的一种非常有用的方法，例如拉格朗目中值定理与柯西中值定理的证明都使用了辅助函数法。构造辅助函数的方法很多，构造出的辅助函数也可以有各种不同的形式。大部分高等数学教材（例如「1」〔Zj上，拉格朗目中值定理和柯西中值定理证明中的辅助函数都是从几何角度得出的，然而上述两个定理证明中的辅助函数也可以用原函数构造出来。本文先通过拉格朗目中值定理与柯西中值定理的证明，介绍用原函数构造辅助函数的方法，然后再介绍一些用此法进行证明的其他实例。在拉格朗目中值定理的证明中，设八x）在…     

Proving Theorems in Elementary Geometry with Clifford Algebraic Method

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

HPM视角下“三角形一边的平行线性质定理及推论”教学

笔者以问题串的形式,带领学生探讨平面几何中“三角形一边的平行线性质定理及推论”能否用“出入相补原理”证明.师生发现,一方面,“出入相补原理”可以从特殊到一般证明该定理,另一方面,《几何原本》命题1.43和VI.14可以看作由“出入相补原理”推导出的“容直容横原理”的一般情况,欧氏几何是用“面积比”证明该定理,“容直容横原理”是用积来解决,理论上两者异曲同工,但在计算技巧上,中国传统数学更胜一筹.     

初等几何定理证明的Clifford代数方法

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

初中数学教学中几何直观能力的培养

<正>几何直观是当下初中数学教学领域的一个热门名词,用通俗的语言解释几何直观,就是"看图说话,看图说理".借助几何直观可以把复杂的数学问题变得简明、形象,有助于探索解决问题的思路,预测结果.当代著名数学家徐利治教授就曾说过:"无论是从事数学教学还是研究,我是喜欢直观的.学习一条数学定理及其证明,只有当我能把定理的直观含义和证法的直观思路弄明白了,我才认为真正懂得了."可见几何直观能力的培养在整个数学学习过程     

基于特征列方法和Wronskian行列式的曲面定理机器证明

将Chou与Gao的关于微分几何中曲线定理机器证明的方法推广到微分几何曲面定理中. 改进了经典的Wronskian行列式, 它可以用于判断微分域中的有限个元素是否在其常数域上线性相关. 基于Wronskian行列式, 可以用代数语言来描述微分几何曲面理论中的几何表述, 进而用特征列方法来证明这些定理.     

Steiner定理的拓广

Steiner定理是一个著名的几何题,它的证明更是给广大数学爱好者予启发和想象.本文给出Steiner定理的拓广,供大家参考.Steiner定理在△ABC中,∠B和∠C的平分线BD与CE相等,则AB=AC.拓广定理(如图1)在△ABC中,设BD、CE分别为∠ABC和∠ACB的n≥2等分角线中的任意两条相应的分角线段     

如何证明线段相等

<正>在初中几何中,证明图形中线段相等能较好的训练学生几何思维,也是后面学习线段和差倍分关系的基础.本文将从几何证法方面进行归类解析,供读者参考.数学讲究逻辑思维,每个结论的得出都有它的理由.证明线段等也要有它的理论依据.翻看初中阶段所学定理、性质等,能用来证明线     

蝴蝶定理及其推广

蝴蝶定理是初等几何中的近代名题，可称为数学殿堂里的一颗璀璨的珍珠．自1985年杜锡录教授介绍到我国以来，不少数学家、数学教育工作者对此作过研究．本文在给出蝴蝶定理的一个简洁证明的基础上研究其推广形式并加以证明．     

Napoleon定理的一个初等证法

Napoleon定理是欧氏几何中最经典最奇妙的定理之一.这个定理的结论深刻地揭示了几何量之间的内在关系,同时也充分体现出几何图形的和谐美和对称美,为了让广大几何爱好者,进一步了解这个定理,欣赏这个定理,研究这个定理,本人在这里特给出如下一个初等证法,以飨读者.     

非欧几何的发现

欧氏几何包括我们高中生学过的平面几何和立体几何 ,但欧氏几何并不是唯一能正确反映物质空间的几何学 .为了开阔同学们的视野、了解几何空间的多样性 ,这里介绍另一种几何———非欧几何 .欧几里得的《几何原本》是欧氏几何的经典著作 .许多人认为《几何原本》中的第五公设 (它等价于过直线外一点 ,只能作一条直线与已知直线平行 )是可以用其它的公理、公设证明出来的一个定理 .从欧几里得时代起 ,直到十九世纪初 ,都没有找到正确的证明 .俄罗斯数学教授罗巴切夫斯基在青年时代也曾企图找到“第五公设”的证明 ,但很快地他就发现是不能证明…     

加强一个几何定理及其应用的指导

众所周知,圆幂定理是平面几何学中一个极其重娶的基本定理,它在几何证明积几何计算中有着广泛的应用。现行部编初中数学教材把它隐含在讲过相交弦定理、切割定理后练习题中,见《几何》第二册P_3,练习4:根据下图,运用勾股定理证明:(1)弦     

基于指标形式张量的微分几何定理机器证明

提出了一个基于指标形式张量的微分几何定理的机器证明算法.该算法将微分几何定理转化成带指标的张量多项式的计算问题,然后通过利用重写规则,挖掘等价条件和分次选取条件等方法大大减少了这个多项式系统的方程个数.再利用这个多项式系统本身和关于哑元的方程三角化这个多项式系统,将所得到的首项代入结论, 从而得到了该定理的机器证明.该算法不仅能够证明基于指标形式张量的微分几何定理,也可以用于张量方程的求解.     

關於幾何定理的證明

中学里学习几何定理的主要目的,是为了使学生学会独立地去证明定理,以便发展他们的独立的逻辑思考能力. 在苏联教育部中学教育司 1950年关于数学教学法的指示里曾经说:“学生们在几何课里不明白演译步骤的本质,特别像证明的意义和获得证明的方法,也是常有的事.     

勾股定理源远流长

勾股定理源远流长百闻●古巴比伦、中国、古印度和古希腊人各自独立地发现了勾股定理。●数学上第一个名副其实的定理。●整个数学历史中也许找不到第二个定理有勾股定理那样多的千姿百态的证明。一个叫卢求斯的人收集了３７０个证明。初等几何中最引人注目、肯定也是最著...     

仅靠旋转未必能将“椅子”放稳

《数学学习》在1997年第3期上发表了“介值定理在数学建模中的应用”一文（见文[1]）。文[1]针对椅脚呈平行四边形时能否在地面上放稳问题作了讨论，该文建立了数学模型，证明了一个定理、给出了“符脚呈平行四边形的椅子总可以经适当旋转，把椅子放稳”的结论。文[1]给出的定理是：设为连续非负函数，，则一定存在。，使。本文指出，该定理的结论是不对的，反例如下：例1取，则满足定理的一切条件，但对一切氏都有，可见定理不真。文[1]中定理的证明过程也是不对的，究其主要原因是证明过程中引用了定理条件以外的假设，从而导致了证明过程…     

抓住向量的核心知识，灵活解决问题

向量是近代数学中重要和基本的数学概念之一,它可以沟通代数、几何与三角函数,也是考查学生思维能力很好的载体,因此向量是高考的重点内容之一．向量的核心内容可以概括成“两个定理、三种形式、四类运算”．两个定理是指共线向量性质定理和平面向量基本定理;三种形式为几何形式（作图）、代数形式、坐标形式;     

初等几何定理机器证明——吴方法简介

吴文俊院士获得2000年国家科学技术最高奖，这对我们数学工作者是极大的鼓舞，他的主要成就包括代数拓扑，应用数学，数学史，几何定理的机器证明等．这里，我们介绍后者．