关于Heilbron型问题的一个猜测

在数学竞赛中曾多次出现如下的Heilbron型问题:“设平面上任给n个点,每两点之间有一个距离,最大距离与最小距离的比记为又λ_n,求λ_n的最小值(下确界)”。人们已经知道λ_4≥2~(1/2),λ_5≥2sin3π╱10,λ_8≥3~(1/2)。当n≥7时,目前还没有任何结果,只是猜测λ_n≥2sin(n-2)╱(2n)π(见[1])。本文将给出这     

关于Heilbron型问题的一个猜测的纠正和证明

Heilbron型问题是组合几何中较为困难的问题,其中一个是: 平面上任给n个点,每两点之间有一个距离,最大距离与最小距离的比记为λ_n,求λ_n的     

关于Heilbron型问题一个猜测的否定

关于Ｈｅｉｌｂｒｏｎ型问题一个猜测的否定朱玉扬，李友根（安徽肥西师范２３１２００）（安徽肥西中学２３１２００）平面上ｎ个点之间距离的最大者与最小者之比值记为λｎ，求ｉｎｆλｎ即为著名的Ｈｅｉｌｂｒｏｎ型问题．这是组合几何中一个很困难的问题．当ｎ＝４，...     

七点的Heilbron问题的证明

七点的Ｈｅｉｌｂｒｏｎ问题的证明熊斌（华东师大数学系）田廷彦（上海交大应用数学系）平面上的Ｈｅｉｌｂｒｏｎ问题是这样的：在平面上任给ｎ个点，每两点之间有一个距离，最大距离与最小距离之比记为λｎ，求人的最小值（即ｉｎｆλｎ）．已知ｉｎｆλ３＝１，ｉｎｆ...     

关于“Heilbron”型问题一个猜测的否定以及进一步的问题

关于“Ｈｅｉｌｂｒｏｎ”型问题一个猜测的否定以及进一步的问题熊斌，田廷彦（华东师大数学系）（上海科技出版社）对于平面上一个由ｎ个点组成的点集，其中任两点都有一个距离，记这些距离中的最大者和最小者之比为人，求人的最小值ｉｎｆ．这就是一个＂Ｈｅｉｌｂｒｏ...     

两类求和问题的又一构造解法

本刊2000年第17期刊出的《两类求和问题的组合模型》一文,其组合模型构造巧妙,读后很受启发．本文则对原文中的二例从二项式定理出发,再给出它的一种构造性解法,且以同样方法给出一道高考题的构造性证明．     

Steinhaus问题及其证明

本文利用Pythagoras数组的性质,导出了与此问题等价的相关量的表述,证明了可以按某种方式把平面上的点划分为不相交的四类点集,而在每一类点集中都不存在整距点.     

罗尔定理证明一类存在性问题

提出罗尔定理证明一类存在性问题的方法,采用拉格朗日中值定理或柯西中值定理来证明这类问题往往需要构造精巧的辅助函数,我们还指出了这种方法的一般性.     

一类分部积分公式的一种证明

通过引入Lebesgue-Stieltjes测度,利用Fubini定理给出右连续增函数的分部积分公式的证明.     

康托定理的另一证明

若函数f(x)在闭区间[a,b]上连续,则f(x)在闭区间[a,b]上一致连续,(即对任意的ε>0,必存在只与ε有关而与[a,b]上的点x无关的δ>0,使得对[a,b]上的任意两点x′和x″,当|x′-x″|<δ时,总有|f(x′)-f(x″)|<ε.)这一定理称为康托定理。康托定理的证明一直是教学中的难点,在现行教科书中一般给出两种证法。证法一是采用反证法,应用维尔斯特拉斯定理(有界数列中     

从“密克圆问题”的证明谈起

1　 2 0 0 0年 1 2月 2 0日 ,江泽民主席在澳门回归一周年庆典之后 ,下午 3点 1 0分到濠江中学参观 .他对在场的教师们说 :“我也曾在中学教过书 ,与你们是同行 ,教师的职业是非常高尚的 .”他兴致勃勃地给大家出了一道几何题 ,请大家解答 .他说 ,学习几何能锻炼一个人的思维 .解答数学题 ,最重要的是培养一个人的钻研精神 .教师们对江主席的话报以热烈的掌声 .江主席兴致勃勃地给大家出的一道几何题从电视新闻报道的画面上和声音中可以知道是下面的问题 .如下图 ,将任意凸五边形ＡＢＣＤＥ的边延长 ,交成五角星形ＦＧＨＫＬ .作△ＡＢＦ ,…     

证明微分中值问题的辅助多项式法

通过几个典型实例,介绍辅助多项式函数在微分中值证明问题中的应用.     

对《罗尔定理的一个证明》一文的质疑

杨翰深同志在《数学通报》1990年第4期介绍《罗尔定理的一个证明》.此文在对罗尔定理的证明中,回避了平行弦定理和区间套定理的运用,试图另辟新径.这种尝试其愿望是良好的,遗憾的是文中出现了一些疏漏及错误.这里仅就下述问题提出质疑,以便与作者和读者商榷.     

勾股定理的又一简短证明

文〔１〕、〔２〕分别给出了勾股定理的两个简短证明,下面再给出一个简短证明：如图,Ｒｔ△ＡＢＣ中,∠ＡＣＢ＝９０°,设其内切圆半径为ｒ,则２ｒ＝（ＢＣ－ＢＤ）＋（ＡＣ－ＡＦ）＝ＢＣ＋ＡＣ－（ＢＤ＋ＡＦ）＝ＢＣ＋ＡＣ－ＡＢ∴Ｓ△ＡＢＣ＝１２ｒ·ａ＋１２ｒ...     

关于中值问题证明中辅助函数的一种构造方法

本文通过求解微分方程的方法构造辅助函数,用来解决有关微分中值问题的证明     

对一个猜测推广的证明

文 [1 ]对W .Janous猜测推广成如下命题 :设xi >0 (i=1 ,2 ,… ,n) ,记S=x1 +x2 +… +xn,则x22 -x21 S-x2 + x23 -x22S-x3+… + x21 -x2 nS-x1 ≥ 0 ( 1 )文 [2 ]指出文 [1 ]对式 ( 1 )的证明是错误的 ,但未给出式 ( 1 )的正确证明 ,最后又提出了更一般的下述问题 :设xi>0 (i =1 ,2 ,… ,n) ,n≥ 3,记S=x1+x2 +… +xn,能否取适当的k ,有 x2 k-x1 kS-x2 +x3k-x2 kS-x3 +… + x1 k-xnkS-x1 ≥ 0 ( 2 )本文证明 ,当k∈R+时 ,式 ( 2 )成立 .证明　对于 (x1 ,x2 ,… ,xn)的所有互异的n !个排列中 ,必然存在一个排列 (y1 ,y2 ,… ,yn)满足y1 …     

一类连续匹配问题的Hall型定理

本文研究一类从时间表理论中提出的连续型匹配问题一元素在连续区间内匹配．作为完美匹配存在的充要条件，我们证明了Hall型定理，并说明其在算法上的应用．