斯坦纳——雷米欧司定理的证明及推广

两条内角平分线相等的三角形是等腰三角形.这就是著名的斯坦纳——雷米欧司定理.这是一个充满诱惑力的几何命题,是一道脍炙人口的几何名题.1840年德国数学家雷米欧司在给斯图姆的一封信中提到,几何题在没有证明之前,很难说它是难还是容易.等腰三角形两底角平分线相等,初中生都会证明;可是反过来,已知三角形两内角平分线相等,要证它是等腰三角形却不容易了,我至今还没有想出来,斯图姆向许多数学家提到了这件事,请求给出一个纯粹的几何学的证明,首先回答这个问题的是瑞士的几何学家斯坦纳(1796—1863),所以这个问题就以斯坦纳——雷米欧司定理而闻名于世.     

蝴蝶定理及其推广

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

三角形内外角平分线有关命题的证明及应用

在中考和一些竞赛题目中常有与三角形内外角平分线有关的题目,本文将此类问题进行归纳总结,以利于进行求解.命题1 如图1,点D是△ABC两个内角平分线的交点,则∠D =90°+1/2∠A.∵ ∠1 =∠1′,∠2 =∠2′,∴ 2∠1 +2∠2 +∠A =180°,∠1 + ∠2 + ∠D=180 °.     

斯坦纳——莱默斯定理的判别式证法

斯坦纳——莱默斯定理在AABC中,若内角平分线BD=CE,则△ABC为等腰三角形,即AB：AC（如图1）．     

三角形内角平分线定理在解题中的应用

定理三角形的内角平分线内分对边所得两线段与两邻边成比例.上述定理的证明方法较多,有十多种,同学们可尝试自己去证明.由于它是平面几何中重要而又基本的定理,故在解题中有着十分广泛地应用,下面以近几年的竞赛题为例来说明其应用.     

等腰三角形“三线合一”逆命题的证明及应用

等腰三角形的三线合一性质,学生都易掌握并能正确应用,但是围绕等腰三角形逆命题的证明及应用,学生就理解的不那么透彻.笔者认为,因为这种逆命题虽然不能作为定理用,但它在解题中非常常见.掌握了它,可以为我们解题增加一种重要思路.它有以下几种形式:①一边上的高与这边上的中线重合的三角形是等腰三角形.(线段垂直平分线的性质)②一边上的高与这边所对角的平分线重合的三角形是等腰三角形.③一边上的中线与这边所对角的平分线     

“Katona-Kleitman定理的推广定理”的简短证明

本文给出“Katona-Kleitman定理的推广”的简短证明.设S是n元集合,S1,S2,…,Sk是S的k分划,f是S的子集系,使得没有A,B∈f,满足存在某个Si有A∩Si=B∩Si,而对所有Sj(1≤j≠i≤k)有A∩Sj∈B∩Sj,则     

“Katona-Kleitman定理的推广定理”的简短证明

本文给出“Ｋａｔｏｎａ－Ｋｌｅｉｔｍａｎ定理的推广”的简短证明．设Ｓ是ｎ元集合,Ｓ１,Ｓ２,…,Ｓｋ是 Ｓ的ｋ分划,Ｆ是Ｓ的子集系, 使得没有Ａ,Ｂ∈Ｆ,满足存在某个Ｓｉ有Ａ∩Ｓｉ＝Ｂ∩Ｓｉ,而对所有Ｓｉ＜（１＜ｉ≠ｉ＜ｋ）有Ａ∩∨ＳｉＢ∩Ｓｉ,则｜Ｆ｜     

基于吴方法的几何定理证明的恒等式方法

多年来通常认为以吴方法为代表的几何定理机器证明的坐标法给出的证明不可读,或不是图灵意义下的类人解答.其实,只要对吴氏的算法做不多的改进,即将命题的结论多项式表示为其条件多项式的线性组合,就能获得不依赖于理论、算法和大量计算过程的恒等式明证.这样的恒等式可以转化为其他更简明且更有直观几何意义的点几何形式或向量及其他形式,从而获得多种证明方法.这也证明了点几何恒等式明证方法对等式型几何命题的普遍有效性.     

用代数方法和向量方法证明斯坦纳定理

斯坦纳定理：如图1,DB平分∠ABC,EC平分∠ACB,BD—EC,则AB＝AC．即△ABC是等腰三角形． 1．代数方法证明     

对《巧添平行线证明三角形内角和定理》一文的补充

阅读贵刊2010年第4期(下)刊载的欧阳明珍同学的习作《巧添平行线证明三角形内角和定理》后,对欧阳明珍同学的钻研精神和创新能力表示赞赏,对利用平行线证明三角形内角和定理的作法有了更深入的了解,经认真研     

与三角形角平分线相关的三条结论

三角形的三个内角之和为180°,这是平面几何中一条十分重要的定理.那么在此基础上,三角形的内角或外角平分线与其内角间有怎样的关系呢?本文总结出与角平分线有关的三条结论.结论1三角形的任意两条角平分线间的夹角等于第三个角的一半加上90°;结论2三角形的任一内角角平分线与它不相邻的任一外角的角平分线间的夹角等于第三个角的一半;结论3三角形的任意两个外角的角平分线间的夹角等于90°减去第三个角的一半.证明如下:1.如图1,△ABC中,∠ABC与∠BCA的角平     

探求几何题简解(证)的辅助线

几何题的证、解,除了比较简单的情形以外,一般都要作辅助线,辅助线的作法,千变万化,作出了不同的辅助线,往往就有了不同思路的解(证)法,这都需要我们不断积累知识认真总结经验.比如总结出梯形中常用辅助     

Steiner——Lehmus定理的代数证法

每个初学平面几何的学生都曾证明过这样一个十分简单的几何命题“等腰三角形的两个底角的平分线相等”,这个命题早在2000多年前欧几里得的《几何原本》中就已经出现.然而令人惊讶的是它的逆命题“如果一个三角形的两个内角的平分线相等,那么这个三角形一定是等腰三角形”,却要迟至1840年才由雷米欧斯(Lehmus)给瑞士著名数学家斯图姆(Sturm)的一封信中提出来,信中请求给出这个命题的纯几何证明,斯图姆竟然一下子解决不了,于是就在数学界广泛地征求解答,瑞士几何学家斯坦纳(Steiner)首先给出了它的证明,此后就把这个命题叫做Steiner-Lehmus定理.     

对《三角形角平分线构成三角形的初探》中定理5的改进

文[1]中证明了三角形角平分线的几个性质,笔者觉得定理5还可以改进.先看文[1]中的定理4,定理5以及定理5的证明过程.定理4△ABC中,三边分别是a,b,c,三角     

最大内角不等于120°的三角形性质

<正>费马点以三角形各边为边长向形外作等边三角形,则三个等边三角形的外接圆共点.该点称为三角形的费马点.显然,最大内角小于120°的三角形的费马点在形内,最大内角大于120°的三角形的费马点在形外,最大内角等于120°的三角形的费马点是120°角的顶点.本文对最大内角等于120°的三角形不作介绍了     

1525号题推广的证明及引申

<数学通报>2004年第12期刊出的1525号题为:在△ABC中,求证 sin(A-30°) sin(B-30°) sin(C-30°)≤3/2 文[1]指出原证技巧性较高,但文[1]之证也不够自然流畅,不易推广.本文首先给出该题推广的一个较简证明,然后再引申出几个相应结论,供参考.     

基于多项式组主项解耦消元法的几何定理机器证明

基于多项式组主项解耦消元法 ,将几何定理的假设条件 (多项式组 PS)化为主项只含主变元的三角型多项式组 DTS,可得到定理命题成立的不含变元的非退化条件 ,即充分必要或更接近充分必要的非退化条件 .由于多项式主系数不含变元 ,已不存在 DTS多项式之间的约化问题 ,故方法有普遍意义 .文中例为西姆松定理的机器证明 .     

三割线定理的一个新证及其推广

一、三割线定理如图1,PAB、PCD、PEF为⊙O的三条割线,其中割线PEF经过弦AD和BC的交点G,则1/PE+1/PF=2/PG.我们先证明如下引理:如图2,△ABC和△XYZ内接于⊙O,则△ABC/△XYZ=