求四圆定理的证明．

垂径定理 垂直于弦的直径平分这条弦，并且平分弦所对的两条弧
几何语言：
∵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的切线（切线判定定理）
切线的性质定理 圆的切线垂直于经过切点半