关于三角形旁切圆的若干命题.doc

关于三角形旁切圆的若干命题 田开斌 潘成华 定理1 如图（1），⊙、⊙是△ABC的两个旁切圆，⊙分别切BC、AB于D、E、⊙分别切BC、AC于G、F,射线E、F交于K。△ABC内心为I，求证：KI⊥BC，且KI=K=。 图（1） 图（2） 引理1：图（3）四边形ABCD,若AB=AD,∠B+∠D=∠C, 则AB=AC=AD 证明：若AC＞AB，则∠BCD＜∠B+∠D，反之亦然 所以AB=AC=AD 图（3） 现在证明定理： 证明：如图（2），连接，C，B则两条线交于点I。延长KI交BC于L。则知 ,,因此，，于是,进而, ，根据引理得KI=K=。于是知，,所以AI⊥BC。 定理2 如图(4)，⊙、⊙、⊙是△ABC的三个旁切圆，⊙分别切AB于D，⊙分别切BC于G,⊙分别切边AB,AC于M,K，D交M于P，G交K于Q，求证：(1)P=Q。(2)PM=KQ, (3)PQ是平行四边形 图（4） 图（5） 证明(一)：如图（5），设△ABC内心为I，则I在A上，于是根据定理1结论知PI=P、QI=Q，又∠IP=∠IQ，所以四边形PIQ菱形。于是知P=Q。因为M=K,因此PM=KQ，根据定理1可知：P=PI=QI=Q, P⊥BC, Q⊥BC,所以P// Q,于是PQ是平行四边形 证明 （二）连接，必过点C,根据旁切圆半径公式：, ,(,,R分别是A-,B-,旁切圆半径，三角形ABC外接圆半径)，易知∠CQ=∠CQ=, 可知Q=Q, ,于是，=C+C=,于是Q=Q =2R,同理P=P=2R，其他同（证法一） 推论1 如图（6），⊙、⊙、⊙分别是△ABC的C-,B-,A-三个旁切圆，⊙分别切边AC,BC于D、F，⊙分别切边AB,BC于E,G、⊙分别切边AB,AC于M，K,D交M于P，G交K于Q，F交G于R，求证：Q、P、R三线共点。 图（6） 图（6） 证明：图（7）根据定理2，可知QP是平行四边形，Q, P互相平分，同理P、R互相平分，可知Q、P、R三线共点。且交点为三条对角线中点。 推论2如图（8）⊙、⊙、⊙是△ABC的三个旁切圆，⊙分别切边BC,AC于D、F，⊙分别切边AB,BC于G、J，⊙分别切边AC,AB于K、M， D交M于P，J交K于Q，F、G交于R，求证：RA、PB、QC三线共点。 图（8） 证明：根据定理2知：RF=DP，PM=KQ，QJ=GR。于是知，根据赛瓦定理知RA、PB、QC三线共点。 定理（三）如图（9），⊙、⊙是△ABC的C-,B-个旁切圆, ⊙分别切边AC,BC于D、F，⊙分别切边AB,BC于G,J, AH⊥FG 求证：∠FAR=∠HAG 证明：易知,因此，可得: ,进而 ①，或（舎） ②，①+ ②得∠FAR=∠HAG 图（9） 推论1如图(10)⊙、⊙、⊙是△ABC的三个旁切圆，⊙分别切边BC,AC于D、F，⊙分别切边AB,BC于G、J，⊙分别切边AC,AB于K、M， AU⊥FG，BV⊥DM，CW⊥JK，求证：AU、BV、CW三线共点。 图（10） 图（11） 证明：如图，设D交M于P，J交K于Q，F、G交于R。则根据定理3，定理2的推论2，知。 根据赛瓦定理知AU、BV、CW三线共点。 定理4如图（12）⊙、⊙、⊙是△ABC的三个旁切圆，⊙分别切边BC,AC于D、F，⊙分别切边AB,BC于G、J，⊙分别切边AC,AB于K、M，DM交JK于S，求证：AS⊥BC。 图（12） 图（13） 引理 图（14）已知H是△ABC边BC上一点，则的充要条件 是AH⊥BC 证明：设∠CAH=x,则∠BAC=A-X，， 等价于 ,因为 A+B+C=180°，因此， 可知等价于 图（14） 即或=180°（舎），得， 也就是C+x=90°，即AH⊥BC 证明：如图（13），设D交M于P，J交K于Q，连接BP交DM于U，连接CQ交JK于V。根据引理知要证AS⊥BC，只需证明：，根据正弦定理：,可知，结论就等价于 （1） 于是要证明（1），只需证明：，也即只需证明：，即只需证明，根据BD=CJ,定理2，此式显然成立，命题得证。 推论1 如图(15)，⊙、⊙、⊙是△ABC的三个旁切圆，⊙分别切边BC,AC于D、F，⊙分别切边AB,BC于G、J，⊙分别切边AC,AB于K、M，直线FG、DM、JK两两交于R、S、T， 求证：AS、BT、CR交于