四边分别与圆相切的四边形称为圆外切四边形.
四边形是圆外切四边形的充要条件是四边形的对边和相等
这个图中,ABCD是圆O的外切四边形(即:圆O是ABCD的内切圆)
设AB、BC、CD、DA与圆的交点分别是E、F、G、H
并且连接OE、OF、OG、OH
由切线长定理(证明过程)得
AH=AE,BE=BF,CF=CG,DG=DH
则
AB+CD
=AE+BE+CG+DG
=AH+BF+CF+DH
=AH+DH+BF+CF
=AD+BC
这就是圆外切四边形的性质:AB+CD=AD+BC
总结归纳即:
圆的外切四边形两组对边和分别相等.