圆外切四边形的性质及应用01双心四边形,外心为O,外接圆半径为R,内心为P,内切圆半径为r,OI=h.证明+=.证:如图,分别过K、L、M、N作PK、PL、PM、PN垂线交于A、B、C、D. ∠LCM=180-∠LPM=∠PLM+∠PML=(∠MLK+∠LMN),∠KAN=(∠LKN+∠KNM).∴A、B、C、D四点共圆.我们设其半径为,易证B、P、D;A、P、C分别三点共线.∴r=PLsin=PBsinsin=PB·,PC·AP=2-d2(d为ABCD的外心记为与P的距离).又易证AC⊥BD,∴=r=…①延长NP交BC于T,易证T为BC中点(卜拉美古塔定理).∴T∥PS,S∥PT.□TPS中,4OT2=PS2+OS2-d2=22-d2.又ON=O为KLMN的外心(即为O)且R=…②,h=d…③由①②③得===+.02证明圆外切四边形ABCD的对角线AC、BD的中点E、F与圆心O共线.证:沿用上题的记号,对点X、Y、Z,用d(X,YZ)表示X到YZ的距离.¡ñ¡ñCDAPOLST'K¦Â¦ÁMN¦ÁB¦¸¦Á设⊙O半径为r,∠BAD=2,∠ABC=2,∠BCD=2,∠CDA=2,则,,,均为锐角且+++=.∴sin,sin,sin,sin>0.连结EF(若E与F重合,则结论显然成立,以下设E与F不重合).在线段EF上取点O使=.连OA、OD、OG(F为⊙O与AD相切处),则OG⊥AD,AG=OGcot=rcot,GD=OGcot=rcot.故AD=r(cot+cot).∴d(A,CD)=r(cot+cot)sin2.∴d(E,CD)=sin2(cot+cot)r=sincos(cot+cot)r=(sincoscot+cos2)r=(sincoscot