各种圆定理总结费尔巴赫定理三角形的九点圆与内切圆内切,而与旁切圆外切
此定理由德国数学家费尔巴赫(k·w·feuerbach,1800—1834)于1822年提出
费尔巴赫定理的证明在不等边△abc中,设o,h,i,q,ia分别表示△abc的外心,垂心,内心,九点圆心和∠a所对的旁切圆圆心
s,r,r,ra分别表示△abc的半周长,外接圆半径,内切圆半径和∠a所对的旁切圆半径,bc=a,ca=b,ab=c
易得∠hao=|b-c|,∠hai=∠oai=|b-c|/2;ah=2r*cosa,ao=r,ai=√[(s-a)bc/s],aia=√[sbc/(s-a)]在△ahi中,由余弦定理可求得:hi^2=4r^2+4rr+3r^2-s^2;在△aho中,由余弦定理可求得:ho^2=9r^2+8rr+2r^2-2s^2;在△aio中,由余弦定理可求得:oi^2=r(r-2r)
九点圆心在线段ho的中点,∴在△hio中,由中线公式可求得
4iq^2=2(4r^2+4rr+3r^2-s^2)+2(r^2-2rr)-(9r^2+8rr+2r^2-2s^2)=(r-2r)^2故iq=(r-2r)/2
又△abc的九点圆半径为r/2,所以九点圆与内切圆的圆心距为d=r/2-r=(r-2r)/2=iq
因此三角形的九点圆与内切圆内切
在△ahia中,由余弦定理可求得:iah^2=4r^2+4rr+r^2-s^2+2(ra)^2;在△aoia中,由余弦定理可求得:iao^2=r(r+2ra)
在△hiao中,由中线公式可求得
4iaq^2=2(4r^2+4rr+r^2-s^2+2ra^2)+2(r^2+2rra)-(9r^2+8rr+2r^2-2s^2)=(r+2ra)^2故iaq=(r+2ra)/2
九点圆与∠a的旁切圆的圆心距为d=r/2+ra=(r+2ra)/2=iaq
故三角形的九