一个三角形不等式的再推广

在三角形中,有一个熟知的不等式命题为命题1 若△ABC的三边的长分别为a、b、c,外接圆半径为R,则 1986年,文[1]在圆内接四边形中,推出了一个类似的命题: 命题2 若圆内接四边形ABCD的四边长长分别为a、b、c、d,圆的半径为R,则 1987年,文[2]将上述命题一般化,进一步证明了命题3 若圆内接n边形A_1A_2…A_n的n边的长分别为a_1、a_2 …、a_n,圆的半径为R,则等号当且仅当A_1A_2……A_n为正n边形时成立。     

一道赛题的简证

1992年全国高中数学联赛第二试题第一题为:设A_1A_2A_3A_4为☉O的内接四边形,H_1H_2、H_3、H_4、依次为△A_2A_3A_4、△A_3A_4A_1、△A_1A_2A_4、△A_1A_2A_3的垂心。求证:H_1、H_2、H_3、A_4四点在同一个圆上,并定出该圆的圆心位置。     

二连通的二部图的最长圈

本文研究的图 G 为简单的无向的二部图.所用术语和符号除说明外皆同[1].c(G)表示 G 的最长圈的长.以(A_1,A_2)为二分类的二部图记为 G(A_1,A_2).(?)=min{d(v)|v∈V(G)}.已有结果:定理1.设 G(A_1,A_2)为二连通的二部图,则 c(G)≥2min{|A_1|,|A_2|,2δ—2}.定理2.设 G(A_1,A_2)为二连通的二部图,且(?)_i=min{d(v)|v∈A_i}(i=1,     

请不要轻信你的猜想

我们来研究一个简单有趣的极限问题: 有一个半径为1的圆c(见图1),在圆c内作一个内接正三角形及这个三角形的内切圆c3,再在c3内作一个内接正四边形及这个内接     

圆内接多边形的一个性质

笔者研究发现,圆内接多边形有如下一个美妙性质. 设A_1 A_2 """A_n为圆内接n边形(n≥4),画n-3条对角线将这个n边形分割成n-2个三角形(这些对角线在多边形内部没有交点),则无论如何分割,所得到的n-2个三角形的内切圆半径之和是一个定值.     

正则卵形线的一些性质

本文建立正则卵形线的弦切角与曲率关系,利用此关系以研究弧上曲率的变化是比较方便的,由此不仅简单的得到S. B. Jackson之结果(系2)及W. C. Graustein之曲线之性质(系3);而且得到下列正则卵形线之性质: 定理1.一正则卵形弧具有顶点之充份及必要条件是有一圆存在,此圆与弧至少相切于二点,若此卵形弧有一段弧是圆弧的话,则此二切点不同在此圆弧上。定理2.设A_1,A_2,…,A_(2n)依次为一正则卵形线之顶点。A_1,A_3,…,A_(2n-1)之曲率为极小;A_2,A_4,…,A_(2n)之曲率为极大。顺次连结各顶点成一内接多角形,则     

非齐次常系数线性微分方程组的解的拓扑分类

<正> 把(2)的积分曲线族记为{A,B}.若存在 R~n 到自身的拓扑变换(?),把{A_1,B_1)中的积分曲线变为{A_2,B_2)中的积分曲线,则称{A_1,B_1)与{A_2,B_2}拓扑等价,记为{A_1,B_1)～{A_2,B_2).当 B=0时,即对齐次常系数线性微分方程组,Kuiper 完全解决了它们的积分曲线族的拓扑分类.     

几种同伦等价的道路空间和Fréchet数

<正> M.Morse在大范围变分中先后引进了几种道路空间,即联M_n上两点A_1≠A_2的逐段正则曲线所构成的距离空间Ω_(A_1)~(A_2)和联A_1,A_2的连续曲线所构成的空间Ω~0(见[1]、[2])以及联M_n上两点A_1≠A_2的所有Frechet曲线类所构成的Frechet距离空间F_(A_1)~(A_2)(见[2]),并在A_1≠A_2是非退化点对时分别证明了这几个空间的Betti数与M_n上联A_1,A_2的J-极值(测地线的推广)之间的一些不等式.同时M.Morse,S.S.Cairns和     

Cauchy定理的新证明

<正> 解析函数的Cauchy 定理是复变函数论中的一个重要内容,它是复变函数论发展的基础。这个定理的叙述如下:定理1 (Cauchy 定理)设函数f(z)是区域D 内的解析函数,则对于任何一条可求长的闭曲线c,只要曲线c 以及它的内部都属于区域D,就有     

几个新发现的几何定理

在给初三学生专题讲授命题:“圆上任一点到某切线的距离等于该点到该切线的切点的距离的平方除以圆直径所得的商。”(应用三角形相似证明,这里略)时,我高兴地发现了如下几个定理及其推广。为稳妥起见,我又反复查阅了许多文献资料,均未发现有此定理,故斗胆抛砖引玉介绍如下,不足之处,请读者指正。定理1 圆内接四边形外接圆上任一点至各顶点所作切线的距离之积与该点至各条对角线的距离之积的平方相等。证明如右图,设四边形A_1A_2A_3A_4的外接圆上一点P至各顶点所     

关於高維射影空間共軛网論的研究(Ⅱ)

<正> 本文是继前文[1]来討論n維射影空間S_n(n≥4)的共軛网有关的一些性貭,特別是第k类共軛和調和性貭.我們已經闡明,当k=1时,这些性貭变为普通共軛性貭和調和性貭.这里,很自然地发生一个問題:当一个拉普拉斯叙列{…X_3X_1X_2X_4…}是另一个拉普拉斯叙列{…A_3A_1A_2A_4…}的第k类內接叙列吋,能不能在这两个之間嵌入k-1个(k>1)拉普拉斯叙列{…A_3~((h))A_1~((h))A_2~((h))A_4~((h))…}(h=1,2,…,k-1),使一个內接着一个而且最后的一个內接于{…A_3A_1A_2A_4…}呢?我們将証明,問題中的嵌入完全可能,这     

关于棱锥的一个猜想的证明

文[1]、文[2]对2005年湖南省高考数学试题(理10)进行了探究推广,分别给出了多边形面积三角形化定比分点、棱锥体积棱锥化定比分点的概念及有关性质.定义1设P是n边形A_1A_2…A_n(n≥3)内任意一点,S表示该n边形的面积,     

等积变形与面积证题(三)

<正>一般说来,若Δ=Δ_1+Δ_2+…+Δ_n称为一个面积方程.如例1中,就是从面积方程S(△ABC)=S(△APB)+S(△BPC)+S(△CPA)入手的.1.若S(△ABC)=S(△A_1B_1C_1),这样1/2AB·h_c=1/2A_1B_1h_(c1).当AB=A_1B_1,则有h_c=h_(c1);当h_c=h_(c1),则有AB=A_1B_1.利用上述关系可以证明线段的相等.     

证明不等式的几种重要技巧

一、放缩放缩是不等式证明中一种重要的变形技巧,它的一般形式是欲证A≥B,可借助一个或多个中间量通过适当的放大,使得 B≤B_1 ,B_1≤B_2,…,B_n≤B_n,B_n≤A或通过适当的缩小,使得 A≥A_1,A_1≥A_2,…,A_n1≥A_n,A_n≥B利用传递性达到目的。例1 已知a,b,c∈[0,1],求证: a/b c 1 b/c a 1 c/a b 1 (1-a)(1-b)××(1-c)≤1 证明显然,对不等式(1)左边进行通分会使问题变得更为复杂,由对称性,可令o≤a≤b≤c≤1,将左边放大     

问题与解答

一本期问题 1.△A_1A_2A_3内接于圆,过A_1、A_2作三角形的中线分别交圆于M_1,M_2,过A_1,A_2作三角形的内角平分线分别交圆于T_1、T_2,证明或否定|A_1M_1-A_2M_2|≤|A_1T_1-A_2T_2|。 2.已知在△ABC中,A=(a+1)β,B=αβ,C=(α一1)β,且sin~2A=sin~2β+sin~2C,求α和β的值。 3.求证:从数列1,1/2,1/2,1/3,…中一定能挑出一个无穷等比数列,使它的和等于1/2。 4.设x>0,x+y<1,x一y<3,求证6x-8x~2-4xy+2x~3-2xy~2+9x~2/27x~3+4≤73/27。     

四边形的海伦面积公式

当且仅当a=b=c=d,即四边形是圆内接正方形时,面积最大．     

问题与解答

一本期问题 1 若a、b>0,且a~(1/2)(1+1/a)·<4b+9/b=24 求作以a,b为根的二次方程。 2 求一最小的正整数,它的一半是平方数,三分之一是立方数、五分之一是五次方数。陕西户县二一○所子校刘毛秀提供 3 已知半径为6~(1/2)+2~(1/2)的圆内接正十二边形:过A_1A_2…A_(1_2),又A_1A_2、A_2A_3的中点分别为M、N;MA_6、NA,相交于点P,试证PA_6PA_7-PM·PN=1。 4 试在整数集合内解力程1949(xyzuv+xyx+xyv+xuv+zuv+x+z+v)=1987(yzuv+yz+yv+uv+1)。山东文登电大褚学璞提供 5 已知定直线l外一点O,在l上任取     

古代算学家刘徽的极限观念

割圆术如所周知,是关于圆周率计算问题的讨论.该术载于“九章算术”第1章方田第32问之后.在我国古代,有一个较长的时期,认为圆周长和直径长之比是“周3径1”.即认为π=3,圆面积等于圆径平方的3/4,这当然是不正确的.我们知道:合于“周3径1”的不是圆周长,而是圆的内接正6边形的周长.刘徽指出了这个错误,并提出了他自己的计算方法--割圆术.他的方法就是:从已知的圆内接正多边形每边的长,用勾股弦定理求出内接边数加一倍的正多边形的边长.他从内接正6边形做起,依法求得正     

非齐次线性微分方程解的增长性

研究了非齐次线性微分方程f^{(k)}+A_{k-1}(z)f^{(k-1)}+...+A_{s}(z)f^{(s)}+...+A_{0}(z)f=F(z) 解的增长性,其中A_{j}(j=0,1,\cdots,k-1)及F是整函数. 在A_{s}比其他系数有较快增 长的情况下,得到了上述非齐次微分方程在一定条件下的超越整函数解的超级的精确估计.     

关于四元数矩阵乘积迹的不等式

设 H~(m×n)为 m×n 四元数矩阵的集合,σ_1(A)≥…≥σ_n(A)为 A∈H~(mxn)的奇异值。本文证明了:1)设 A∈H~(mxm),B∈H~(mxm),r=min(m,m),则|tr(4B)|≤c r σ_i(A)σ_i(B).2)设 A_i∈H~(mxm),i=1,2,…,n,(A_1A_2…A_n)k为 A_1A_2…A_n 的任一个 k 阶主子阵,则|tr(A_1.A_2…A_n)_k|≤sun form i=1 to k σ_i(A_1)…σ_i(A_n).我们还得到四元数矩阵迹的其它一些不等式。这些结果推广和改进了文[1],[2]中的结果,进一步解决了 Bellman 猜想。