关于双圆四边形的双圆半径的一个性质

文 [1 ]介绍了三角形双圆半径的如下一个命题 :设△ ABC的外接圆半径为 R,内切圆半径为 r,顶点 A、B、C到内心的距离分别为 a0 ,b0 ,c0 ,则　　　　 4Rr2 =a0 b0 c0 (1 )文 [2 ]介绍了 (1 )式的一个引申命题 :设 I是△ ABC的内心或旁心 ,r是内切圆半径或对应的旁切圆半径 ,R是外接圆半径 ,则　　 4Rr2 =IA . IB . IC (2 )笔者经研究发现 ,双圆四边形 (既有外接圆 ,又有内切圆的四边形 )也有如下有趣性质 .定理　设双圆四边形 ABCD的外接圆半径、内切圆半径分别为 R、r,内心为 I,则有IA.IB.IC.ID=2 r3 (4 R2 r2 - r) . (3 )图…     

欧拉不等式一个三角形式的类比北大核心

1引言设△ABC的三边为a,b,c,外接圆和内切圆半径分别为R,r,则有著名的欧拉不等式R≥2r,文[1]建立了欧拉不等式的一个三角形式:定理1设R,r分别为△ABC外接圆和内切圆半径,则有(∑表示循环和)     

一类关于三角形不等式的证明方法

文[1]借助两个特殊不等式并应用代数变换证明了一类三角形不等式.本文给出这类不等式的三角证法.为行文方便,约定△ABC的三边长、半周长、外接圆半径、内切圆半径分别为a、b、c、,s,R,r;其中例题的证明要用到下列熟知的三角形恒等式:abc=4Rrs,∑bc=s2 4Rr r2,∑a2=2(s2-4Rr-r2)     

再探旁心三角形的性质

三角形一个内角的平分线和其他两个内角的外角平分线的交点称为三角形的旁心.旁心是三角形的旁切圆的圆心,一个三角形有三个旁心,连接三角形的三个旁心而成的三角形称为旁心三角形.在文[1]的基础上,笔者经过探讨,得到:定理如图1所示,△DEF是△ABC的旁心三角形,三边长分别为d,e、f,且△ABC的三边长分别为a,b、c,△ABC的外接圆、内切圆的半径分别为R、r,则有def=4R/r·abc.     

三角形的双圆半径的一个"孪生"命题

文 [1 ]给出如下关于三角形双圆半径的一个命题 :设△ ABC的外接圆半径为 R,内切圆半径为 r,顶点 A、B、C到内心的距离分别为 a0 、b0 、c0 ,则　 4 Rr2 =a0 b0 c0 .今给出此命题所引伸出的一个“姊妹”命题 :命题　设△ ABC的外接圆半径为 R,旁切圆半径为 r′,顶点 A、B、C到对应的旁心的距离分别为 a′0 、b′0 、c′0 ,则　 4 Rr′2 =a′0 b′0 c′0 .证明　如图 1 ,∵　 r′=a′0 sin A2 =b′0 cos B2=c′0 cos C2 ,∴　 r′3=a′0 b′0 c′0 sin A2 cos B2 cos C2 1又　△ =12 r′( b c - a) =Rr′( sin B sin C - sin A…     

切点三角形的性质初探

文[1]证明了关于三角形面积的一个有趣性质: 若△ABC的内切圆切各边于点D、E、F,且△ABC的外接圆、内切圆半径分别为R、r.则切点△DEF[2]面积.     

垂足三角形的性质初探

以三角形三条高的垂足为顶点的三角形称为垂足三角形.如图,锐角△ABC,AD⊥BC,BE⊥CA,CF⊥AB,垂足分别为D、E、F,记BC=a,CA=b,AB=c,EF=a1,FD=b1,DE=c1,△ABC的面积、外接圆半径、内切圆半径、半周长分别为△、R、r和s,△DEF外接圆半径、内切圆半径、半周长分别为R1、r1和s1.设△AEF,△BDF,△CDE的面积分别为△A,△B,△C,外接圆半径、内切圆半径分别为RA,RB,RC、rA,rB,rC.     

三角形内点到各边距离之积的一个不等式链

设△ABC的三条边长分别为a、b、c,内切圆半径、外接圆半径、半周长分别为r、R、s,本文在研究三角形内点到各边距离之积时,得到了一个新不等式.首先给出几个引理.引理1设△ABC外心O到三边的距离之积为DO,则DO=R3∏cosA=R4[s2-(2R r)2](∏表示循环积,下同).证明由文[1]知,外心O到三边的距离分别是R cosA、R cosB、R cosC,所以外心O到三边的距离之积DO=R3∏cosA=R4[s2-(2R r)2].引理2设△ABC重心G到三边的距离之积为DG,则DG=827R3∏sin2A=2p2r227R(2)证明由文[1]知,重心G到三边的距离分别是23R sinA sinB、23R sinB sinC、…     

与垂足三角形内切圆有关的几个等式

文[1]给出如下结论, 定理 设△ABC边长为α,b,C,外接圆半径为R,垂足△DEF内切圆的半径为r则有,r=a2 b2 c2-8R2/4R     

两个几何不等式的证明

文[1]中,胡如松先生提出了如下猜想,现予以证明.设△DEF为△ABC内接三角形(如图).并设△ABC的三内角为A,B,C;三边BC=a,CA=b,AB=c;EF=a0,FD=b0,DE=c0.分别设△ABC,△DEF,△AEF,△BDF,△CDE的外接圆半径、内切圆半径、半周长和面积依次为R,R0,R1,R2,R3;r,r0,r1,r2,r3;P,P0,P1,P2,     

关于费尔马点的又一个不等式

本文将进一步加强文 [1]中的结论 ,即有命题　设 F是△ ABC内的费尔马点 ,延长AF、BF、CF分别交对边于 A′、B′、C′.记 AA′=x,BB′=y,CC′=z,△ ABC的外接圆和内切圆半径分别为 R与 r,则( 1x 1y 1z) 2≥ 116r( 9r 14R) . 1证明　由文 [3 ]知　　 ( 1x 1y 1z) 2　 =3 ( a     

一个结论的简证

文[1]给出了结论1在△ABC中,(sinA sinB sinC)/(cosA cosB cosC)<2 (1)但文中只对锐角三角形的情形给出了证明,文[2]利用导数给出了结论1的统一证明.本文给出简证.引理在△ABC中,用s,R,r分别表示半周长,外接圆半径,内切圆半径,则有     

欧拉不等式的一个三角形式的加强链

文[1]给出欧拉不等式与边长间的一个不等式链,笔者得到欧拉不等式的一个三角形式的加强链,与不等式爱好者共赏.定理设R,r分别为△ABC的外接圆及内切圆半径.     

三角形外角平分线三角形面积的性质

如图1,△ABC是一任意三角形,△DEF图1是它的外角平分线三角形,记△ABC的三边长为a、b、c,半周长为p,面积为S0,外接圆半径为R,内切圆半径为r,旁切圆半径为ra、rb、rc,△DEF的面积为S.经过探讨,笔者现已得到:定理S=2pR.证明因(p-a)(p-b)(p-c)=r2p,ab bc ca=p2 4Rr r2,得p-1a p-1b     

一个三角形不等式的加强

设非钝角△ABC的三边长为BC=a,CA=b,AB=c,a≤b≤c,ma,ha分别为BC边所对应的中线长和高线长,R、r分别为△ABC的外接圆半径,内切圆半径.杨学枝老师在文[1]证得:     

切点三角形的一个新不等式链

三角形的内切圆与各边相切于三点所构成的三角形称为切点三角形.如图,⊙O内切于△ABC,切点分别为D、E、F,记BC=a,CA=b,AB=c,EF=a1,FD=b1,DE=c1,△ABC的外接圆半径、内切圆半径、半周长分别为R、r和s,ΔDEF外接     

一道数学问题的简单证明

文[1]给出如下一个不等式证明问题. 　　△ABC的外接圆和内切圆半径分别为R,r.证明:sin(A)/(2)+sin(B)/(2)+sin(C)/(2)≥(3r)/(R). 　　本文将给出此问题的一个简单证明.……     

关于三角形旁切圆半径一个公式的简证

文 [1]的定理 1为 :已知△ ABC中 BC边上的高为 h,N为BC边内一点 ,△ ABN与△ AN C的内切圆半径分别为 r1 、r2 ,则△ ABC的内切圆半径 r满足　　 r =r1 +r2 - 2 r1 r2h . (1)文 [2 ]给出它的一个对偶形式 :定理　△ ABC中 BC边上的高为 h,N为BC边内一点 ,△ ABC与△ ACN的旁切圆 (指在∠ BAC内的 )半径 r′1 、r′2 ,则△ ABC旁切圆半径 r′满足　　 r′=r′1 +r′2 +2 r′1 r′2h . (2 )现给出 (2 )的一个简证 .证明　设△ ABC的面积、半周长分别为△、s,则　　　　　 r′=△s- a,∴　 1r′=s△ - a△ =ssr- 2 aah=1r- 2h…     

周界中点三角形又一有趣的性质

若三角形一边上的一点和这边所对的顶点将三角形的周长二等分 ,则称这一点为三角形的周界中点 ,并将以三个周界中点为顶点的三角形称为周界中点三角形 .文 [1]、文 [2 ]得到了与周界中点三角形有关的三角形外接圆半径、面积之间的三个不等式 .本文再给出一个更有趣的性质 .定理 1　设Ｄ ,Ｅ ,Ｆ分别为△ＡＢＣ的边ＢＣ ,ＣＡ ,ＡＢ上的周界中点 ,且ＢＣ =ａ ,ＣＡ =ｂ ,ＡＢ =ｃ,Ｓ =12 (ａ +ｂ +ｃ) ,△ＡＢＣ的外接圆半径和面积分别为Ｒ ,△ ,△ＤＥＦ的外接圆半径为Ｒ0 ,则有 :Ｒ·Ｒ0 ≥2 39△ .为证明此不等式 ,先看如下引理 :图 1　引…     

双圆四边形中一个不等式的简证及其反向

文[1]给出如下 命题设双圆四边形ABCD的外接圆半径、内切圆半径分别为R、r,记AB=a,BC=b,CD=c,DA=d,则 abcd≥8r3(√4R2 r2-r)(1) 本文给出其一简证及其相应的逆向不等式: