[旁切圆及应用.docVIP

旁切圆 每个三角形都有3个旁切圆，各与三角形其中一边和另外两边的延线相切。 而它们的圆心称为旁心，旁心是三角形一内角平分线和另外两外角平分线的交点，每个三角形有三个旁心在三线性坐标系中，旁心分别是-1:1:1、1:-1:1和1:1:-1。其半径分别是2S / ( ? a + b + c)、2S / (a ? b + c)和2S / (a + b ? c)，其中S表示三角形面积,a,b,c,表示3条边。 旁切圆与三角形相切的点，和三角形相对的顶点连起，三线交于一点，称为奈格尔点。 半径分别是、和，其中表示三角形面积，a、b、c分别是A、B、C的对边。 旁切圆和内切圆有密切的联系。它们都与九点圆相切，切点称为费尔巴哈点。三个旁心与内心组成一个垂心组，也就是说内心是三个旁心所组成的三角形的垂心，而相应的三个垂足则是旁心所对的顶点。 在右图中，I、B、C、JA四点共圆，其中IJA是这个圆的直径，而圆心PA在三角形ABC的外接圆上，并且过BC的中垂线，即等分劣弧BC。对其它两边也有同样的结果。 对于一个顶点（比如A）所对的旁切圆，三角形ABC的外接圆半径R、A所对旁切圆半径rA以及内外心间距OJA之间有如下关系：[1]:185 旁切圆与三角形的边（或其延长线）相切的点称为旁切点。从一个顶点沿着三角形的边走到与之相对的旁切圆在对边的切点所用的距离必定是周长的一半，也就是说，这个顶点和它“对面”的旁切点将三角形的周界等分为两半。将三角形的每个顶点和与之相对的旁切圆关于对边的旁切点连起，则根据塞瓦定理，三线交于一点，这个点称为奈格尔点。 内切圆在一边上的切点与旁切圆在该边的切点之间的距离恰好是另外两边的差（绝对值）。比如说，A的对边：BC上面的内切点和外切点之间的距离等于。 坐标表示 在三线性坐标系中，三个旁心的坐标分别是-1:1:1、1:-1:1和1:1:-1。 在直角座标系中，若顶点的座标分别为、、，则三个旁心的座标为： 梅涅劳斯定理 梅涅劳斯（Menelaus）定理（简称梅氏定理）是由古希腊数学家梅涅劳斯首先证明的。它指出：如果一条直线与△ABC的三边AB、BC、CA或其延长线交于F、D、E点，那么(AF/FB)×(BD/DC)×(CE/EA)=1。 或：设X、Y、Z分别在△ABC的BC、CA、AB所在直线上，则X、Y、Z共线的充要条件是(AZ/ZB)*(BX/XC)*(CY/YA)=1 。 首先给出完整的定理内容：当直线交 三边所在直线 于点 时， 以及逆定理：在 三边所在直线上有三点 ，且 ，那么 三点共线。 注意：以上定理严格来说应该用有向线段形式，且乘积为-1；另外， 三点中有偶数个点在线段上时，才有梅氏定理，否则为塞瓦定理. 证明一 过点A作AGDF交BC的延长线于点G.则 证毕 证明二 过点C作CPDF交AB于P，则 BD：DC=FB：PF，CE：EA=PF：AF 两式相乘得 (AF：FB)×(BD：DC)×(CE：EA)=(AF：FB)×(FB：PF)×(PF：AF)=1 证明三 连结CF、AD，根据“两个三角形等高时面积之比等于底边之比”的性质有。 AF：FB =SADF：SBDF…………（1）， BD：DC=SBDF：SCDF…………（2）， CE：EA=SCDE：SADE=S△FEC：SFEA=（SCDE+S△FEC ）：（SADE+S△FEA） =SCDF：SADF………… （3） （1）×（2）×（3）得 × × = × × 证明四 过三顶点作直线DEF的垂线AA‘，BB，CC，如图： 充分性证明： ABC中，BC，CA，AB上的分点分别为D，E，F。 连接DF交CA于E，则由充分性可得，(AF/FB)×(BD/DC)×(CE/EA)=1 又 ∴有CE/EA=CE/EA，两点重合。所以 共线 推论 在ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是λ=BL/LC、μ=CM/MA、ν=AN/NB。于是AL、BM、CN三线交于一点的充要条件是λμν=-1。（注意与塞瓦定理相区分，那里是λμν=1） 此外，用该定理可使其容易理解和记忆： 第一角元形式的梅涅劳斯定理如图：若E，F，D三点共线，则 (sinACF/sin∠FCB)(sin∠BAD/sin∠DAC)(sin∠CBE/sin∠ABE)=1 即图中的蓝角正弦值之积等于红角正弦值之积。 该形式的梅涅劳斯定理也很实用。 证明：可用面积法推出：第一角元形式的梅氏定理与顶分顶形式的梅氏定理等价。 第二角元形式的梅涅劳斯定理 在平面上任取一点O，且EDF共线，则（sinAOF/sin∠FOB)(sin∠BOD/sin∠DOC)(sin∠COE /sin∠AOE)=1。(O不与点A、B、C重合)塞瓦定理在ABC