求四圆定理的证明．文字要简体.

垂径定理 垂直于弦的直径平分这条弦,并且平分弦所对的两条弧
几何语言：
∵OC⊥AB,OC过圆心
（垂径定理）
推论1
（1） 平分弦（不是直径）的直径垂直于弦,并且平分弦所对的两条弧
几何语言：
∵OC⊥AB,AC＝BC,AB不是直径
（平分弦（不是直径）的直径垂直于弦,并且平分弦所对的两条弧）
（2） 弦的垂直平分线过圆心,并且平分弦所对的两条弧
几何语言：
∵AC＝BC,OC过圆心
（弦的垂直平分线过圆心,并且平分弦所对的两条弧）
（3） 平分弦所对的一条弧的直径,垂直平分弦,并且平分弦所对的另一条弧
几何语言：
（平分弦所对的一条弧的直径,垂直平分弦,并且平分弦所对的另一条弧）
推论2 圆的两条平分弦所夹的弧相等
几何语言：∵AB‖CD
圆心角、弧、弦、弦心距之间的关系
定理 在同圆或等圆中,相等的圆心角所对的弧相等,所对的弦相等,所对的弦的弦心距也相等
推论 在同圆或等圆中,如果两个圆心角、两条弧、两条弦或两条弦的弦心距中有一组量相等,那么它们所对应的其余各组量都分别相等
圆周角
定理 一条弧所对的圆周角等于它所对的圆心角的一半
推论1 同弧或等弧所对的圆周角相等；同圆或等圆中,相等的圆周角所对的弧也相等
推论2 半圆（或直径）所对的圆周角是直角；90°的圆周角所对的弦是直角
推论3 如果三角形一边上的中线等于这边的一半,那么这个三角形是直角三角形
圆的内接四边形
定理 圆的内接四边形的对角互补,并且任何一个外角都等于它的内对角
几何语言：
∵四边形ABCD是⊙O的内接四边形
∴∠A＋∠C＝180°,∠B＋∠ADB＝180°,∠B＝∠ADE
切线的判定和性质
切线的判定定理 经过半径的外端并且垂直于这条半径的直线是圆的切线
几何语言：∵l ⊥OA,点A在⊙O上
∴直线l是⊙O的切线（切线判定定理）
切线的性质定理 圆的切线垂直于经过切点半径
几何语言：∵OA是⊙O的半径,直线l切⊙O于点A
∴l ⊥OA（切线性质定理）
推论1 经过圆心且垂直于切线的直径必经过切点
推论2 经过切点且垂直于切线的直线必经过圆心
切线长定理
定理 从圆外一点引圆的两条切线,它们的切线长相等,圆心和这一点的连线平分两条切线的夹角
几何语言：∵弦PB、PD切⊙O于A、C两点
∴PA=PC,∠APO=∠CPO（切线长定理）
弦切角
弦切角定理 弦切角等于它所夹的弧对的圆周角
几何语言：∵∠BCN所夹的是 ,∠A所对的是
∴∠BCN=∠A
推论 如果两个弦切角所夹的弧相等,那么这两个弦切角也相等
几何语言：∵∠BCN所夹的是 ,∠ACM所对的是 ,=
∴∠BCN=∠ACM
和圆有关的比例线段
相交弦定理：圆内的两条相交弦,被焦点分成的两条线段长的积相等
几何语言：∵弦AB、CD交于点P
∴PA·PB=PC·PD（相交弦定理）
推论：如果弦与直径垂直相交,那么弦的一半是它分直径所成的两条线段的比例中项
几何语言：∵AB是直径,CD⊥AB于点P
∴PC2=PA·PB（相交弦定理推论）
切割线定理 从圆外一点引圆的切线和割线,切线长是这点到割线与圆焦点的两条线段长的比例中项
几何语言：∵PT切⊙O于点T,PBA是⊙O的割线
∴PT2=PA·PB（切割线定理）
推论 从圆外一点因圆的两条割线,这一点到每条割线与圆的焦点的两条线段长的积相等
几何语言：∵PBA、PDC是⊙O的割线
∴PT2=PA·PB（切割线定理推论）