第一篇：4个圆幂定理及其证明
相交弦定理
如图,⊙P中,弦AB,CD相交于点P,则AP·BP=CP·PD
证明：
连结AC，BD，由圆周角定理的推论，得∠A＝∠D，∠C＝∠B。∴△PAC∽△PDB，∴PA∶PD＝PC∶PB，PA·PB＝PC·PD注：其逆定理可作为证明圆的内接三角形的方法.切割线定理
如图，ABT是⊙O的一条割线，TC是⊙O的一条切线，切点为则TC²=TA·TB
证明：连接AC、BC
∵弦切角∠TCB对弧BC，圆周角∠A对弧BC
∴由弦切角定理，得 ∠TCB=∠A
又∠ATC=∠BTC
∴△ACT∽△CBT
∴AT:CT=CT:BT, 也就是CT²=AT·BT
弦切角定义：
顶点在圆上，一边和圆相交，另一边和圆相切的角叫做弦切角C，弦切角定理：
弦切角等于它所夹的弧所对的圆周角.定义弦切角定理：弦切角的度数等于它所夹的弧的圆心角的度数的一半.(弦切角就是切线与弦所夹的角）弦切角定理证明
证明：设圆心为O，连接OC，OB，OA。过点A作TP的平行线交BC于D，则∠TCB=∠CDA
∵∠TCB=90-∠OCD
∵∠BOC=180-2∠OCD
∴,∠BOC=2∠TCB
切线长定理
从圆外一点引圆的两条切线，它们的切线长相等，圆心和这一点的连线，平分两条切线的夹角。
如图中，切线长AC=AB。
∵∠ABO=∠ACO=90°
BO=CO=半径
AO=AO公共边
∴RtΔABO≌RtΔACO（HL）
∴AB=AC
∠AOB=∠AOC
∠OAB=∠OAC
割线定理
如图，直线ABP和CDT是自点P引的⊙O的两条割线，则PA·PB=PC·PD 证明:连接AD、BC
∵∠A和∠C都对弧BD
∴由圆周角定理，得 ∠A=∠C
又∵∠APD=∠CPB
∴△ADP∽△CBP
∴AP:CP=DP:BP, 也就是AP·BP=CP·DP
圆幂定理
圆幂定理是对相交弦定理、切割线定理及割线定理（切割线定理推论）以及它们推论统一归纳的结果。
相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等。
切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。
割线定理：从圆外一点P引两条割线与圆分别交于A、B；C、D，则有 PA·PB=PC·PD。
统一归纳：过任意不在圆上的一点P引两条直线L1、L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D（可重合），则有PA·PB=PC·PD。
第二篇：圆幂定理及其证明
圆幂定理
圆幂的定义:一点P对半径R的圆O的幂定义如下：OPR
所以圆内的点的幂为负数，圆外的点的幂为正数，圆上的点的幂为零。圆幂定理是相交弦定理、切割线定理及割线定理(切割线定理推论)以及他们推论的统称。
（1）相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等。
DA22PC
如图，AB、CD为圆O的两条任意弦。相交于点P，连接AD、BC，则∠D=∠B，∠A=∠C。所以△APD∽△BPC。所以 BAPPDAPBPPCPD PCBP（2）切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆焦点的两条线段长的比例中项。
TPAB
如图，PT为圆切线，PAB为割线。连接TA，TB，则∠PTA=∠B（弦切角等于同弧圆周角）所以△PTA∽△PBT，所以
PTPAPT2PAPB PBPT（3）割线定理：从圆外一点P引两条割线与圆分别交于A.B.C.D 则有
PA·PB=PC·PD。
DCPAB
这个证明就比较简单了。可以过P做圆的切线，也可以连接CB和AD。证相似。存在：PAPBPCPD 进一步升华（推论）：
过任意在圆O外的一点P引一条直线L1与一条过圆心的直线L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D。则PA·PB=PC·PD。若圆半径为r，则
PCPD(POR)(POR)PO2R2|PO2R2|（一定要加绝对值，原因见下）为定值。这个值称为点P到圆O的幂。（事实上所有的过P点与圆相交的直线都满足这个值）
若点P在圆内，类似可得定值为R2PO2|PO2R2|
故平面上任意一点对于圆的幂为这个点到圆心的距离与圆的半径的平方差的绝 对值。（这就是“圆幂”的由来）
第三篇：圆的有关证明相关定理
平面几何证明相关定理、题型及条件的联想
一、平面几何证明相关定理
1、平行线等分线段定理:如果一组平行线在一条直线上截得的线段相等,那么在其他直线上截得的线段相等.推论1: 经过三角形一边的中点与另一边平行的直线必平分第三边。
推论2: 经过梯形一腰的中点，且与底边平行的直线平分另一腰。
2、平行线分线段成比例定理：三条平行线截两条直线，所得的对应线段成比例。
推论：平行于三角形一边的直线截其他两边（或两边的延长线）所得的对应线段成比例。
3、相似三角形的性质定理：相似三角形对应高的比、对应中线的比、对应角平分线的比都等于相似比；
相似三角形周长的比、外接圆的直径比、外接圆的周长比都等于相似比； 相似三角形面积的比、外接圆的面积比都等于相似比的平方；
4、直角三角形的射影定理：直角三角形斜边上的高是两直角边在斜边上的射影的比例中项；
两直角边分别是它们在斜边上射影与斜边的比例中项。
5、圆周角定理：圆上一条弧所对的圆周角等于它所对的圆心角的一半。
圆心角定理：圆心角的度数等于它所对的弧的度数。
推论1：同弧或等弧所对的圆周角相等；同圆或等圆中，相等的圆周角所对的弧也相等。
o推论2：半圆（或直径）所对的圆周角是直角；90的圆周角所对的弦是直径。
弦切角定理：弦切角等于它所夹的弧所对的圆周角。
6、圆内接四边形的性质定理与判定定理：
圆的内接四边形的对角互补；圆内接四边形的外角等于它的内角的对角。如果一个四边形的对角互补，那么这个四边形的四个顶点共圆；
如果四边形的一个外角等于它的内角的对角，那么这个四边形的四个顶点共圆。
7、切线的性质定理：圆的切线垂直于经过切点的半径。
推论：经过圆心且垂直于切线的直线必经过圆心；经过切点且垂直于切线的直线必经过切点。
切线的判定定理：经过半径的外端并且垂直于这条半径的直线是圆的切线。
8、相交弦定理：圆内两条相交弦，被交点分成两条线段长的积相等。
割线定理：从圆外一点引圆的两条割线，这点到每条割线与圆的交点的两条线段长的积相等。
切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。
切线长定理：从圆外一点引圆的两条切线，它们的切线长相等；圆心和这点的连线平分两条切线的夹角。
重要结论：经过不共线三点的圆有且只有一个
二、平面几何证明问题形式及处理方向
1、线段等比式的证明——利用三角形相似证明
2、线段的等积式证明——转化成等比式，利用三角形相似证明，或者等比中项式进行等量代换证明
3、等比中项式证明——可以通过三角形相似，切割线定理，直角三角形射影定理证明
4、线段相等证明——如果它们在一个三角形中，则证明它们所对的角相等，如果不在同一个三角形中，则通过等量代换证明即可
5、四点共圆的证明——证明四点形成的三角形对角互补或是证明该四边形中同一条边对应的两个角相等
6、直线与圆相切的证明——连接圆心与直线与圆的交点，证明半径与该直线垂直即可
7、角相等的证明——通过三角形相似证明或是等量代换证明
8、三角形相似的证明——通过证明两个三角形中有两组角对应相等或是一组角相等，且夹这个的两边对应成比例
三、平面几何证明条件的发散思维
1、条件中有直径——联想——直径所对的圆周角是直角，2、条件中的切线——联想——切割线定理，弦切角定理，连接圆心与与切点，半径与切线垂直
3、直角三角形斜边上的高——联想——直角三角形射影定理
4、条件中圆内接四边形——联想——圆内角四边形对角互补，圆内接四边形外角等于内对角
5、条件中弧相等——联想——它们所对的圆周角相等
6、条件中线段相等——联想——如果在同一个三角形中，则它们所对的角相等
第四篇：圆的定理及其证明
圆周角定理
内容：圆周角的度数等于它所对弧上的圆心角度数的一半。证明：
情况1：
如图1，当圆心O在∠BAC的一边上时，即A、O、B在同一直线上时：
图1
∵OA、OC是半径 解：∴OA=OC ∴∠BAC=∠ACO（等腰三角形底角相等）∵∠BOC是△AOC的外角
∴∠BOC=∠BAC+∠ACO=2∠BAC 情况2：
如图2,，当圆心O在∠BAC的内部时： 连接AO，并延长AO交⊙O于D
图2
∵OA、OB、OC是半径 解：∴OA=OB=OC ∴∠BAD=∠ABO，∠CAD=∠ACO（等边对等角）∵∠BOD、∠COD分别是△AOB、△AOC的外角
∴∠BOD=∠BAD+∠ABO=2∠BAD(三角形的外角等于两个不相邻两个内角的和）∠COD=∠CAD+∠ACO=2∠CAD(三角形的外角等于两个不相邻两个内角的和）∴∠BOC=∠BOD+∠COD=2(∠BAD+∠CAD)=2∠BAC 情况3：
如图3，当圆心O在∠BAC的外部时：
图3
连接AO，并延长AO交⊙O于D连接OC,OB。解：∵OA、OB、OC、是半径 ∴OA=OB=OC ∴∠BAD=∠ABO（等腰三角形底角相等）,∠CAD=∠ACO(OA=OC）∵∠DOB、∠DOC分别是△AOB、△AOC的外角
∴∠DOB=∠BAD+∠ABO=2∠BAD(三角形的外角等于两个不相邻两个内角的和）∠DOC=∠CAD+∠ACO=2∠CAD(三角形的外角等于两个不相邻两个内角的和）∴∠BOC=∠DOC-∠DOB=2(∠CAD-∠BAD)=2∠BAC 圆心角等于180度的情况呢？
看情况1的图，圆心角∠AOB=180度，圆周角是∠ACB，显然因为∠OCA=∠OAC=∠BOC/2 ∠OCB=∠OBC=∠AOC/2 所以∠OCA+∠OCB=（∠BOC+∠AOC）/2=90度 所以2∠ACB=∠AOC 圆心角大于180度的情况呢？
看情况3的图，圆心角是（360度-∠AOB），圆周角是∠ACB，只要延长CO交园于点D，由圆心角等于180度的情况可知∠ACD=∠ABD=90度 根据情况3同理可证：∠BOC=2∠BAC=2∠BDC 根据情况1和情况3同理可证：∠AOC=2∠ADC=2∠ABC 所以∠ACB+∠ADB=∠ACB+∠ADC+∠BDC=∠ACB+∠ABC+∠BAC=180度 即∠ACB=180度-∠ADB 由情况2可知：∠AOB=2∠ADB 所以360度-∠AOB=2（180度-∠ADB）=2∠ACB
切线长定理
内容：切线长定理，是初等平面几何的一个定理。在圆中，在经过圆外一点的切线，这一点和切点之间的线段叫做这点到圆的切线长。它指出，从圆外一点引圆的两条切线，它们的切线长相等。证明：
欲证AC = AB，只需证△ABO≌ △ACO。
如图，OC、OB为圆的两条半径，又∠ABO = ∠ACO=90° 在Rt△ABO和Rt△ACO中
∴Rt△ABO ≌ Rt△ACO（H.L）
∴AB=AC，且∠AOB=∠AOC，且∠OAB=∠OAC。[3]
弦切角定理
内容：弦切角的度数等于它所夹的弧所对的圆心角度数的一半，等于它所夹的弧所对的圆周角度数。证明：
分三种情况
：
（1）圆心O在∠BAC的一边AC上 ∵AC为直径 ∴弧CmA=弧CA ∵弧CA为半圆, ∴弧CmA的度数为180° ∵AB为圆的切线 ∴∠CAB=90°
∴弦切角∠BAC的度数等于它所夹的弧的度数的一半（2）圆心O在∠BAC的内部.过A作直径AD交⊙O于D,在优弧m所对的劣弧上取一点
E，连接EC、ED、EA。则 ∵弧CD=弧CD ∴∠CED=∠CAD ∵AD是圆O的直径 ∴∠DEA=90° ∵AB为圆的切线 ∴∠BAD=90° ∴∠DEA=∠BAD ∴ ∠CEA=∠CED+∠DEA=∠CAD+∠BAD=∠BAC 又∠CEA的度数等于弧CmA的度数的一半
∴弦切角∠BAC的度数等于它所夹的弧的度数的一半
（3）圆心O在∠BAC的外部 过A作直径AD交⊙O于D，连接CD ∵AD是圆的直径 ∴∠ACD=90° ∴∠CDA+∠CAD=90° ∵AB是圆O的切线 ∴∠DAB=90° ∴∠BAC+∠CAD=90° ∴∠BAC=∠CDA ∵∠CDA的度数等于弧CmA的度数的一半。
∴弦切角∠BAC的度数等于它所夹的弧的度数的一半。
切割线定理
内容：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。与圆相交的直线是圆的割线。切割线定理揭示了从圆外一点引圆的切线和割线时，切线与割线之间的关系。这是一个重要的定理，在解题中经常用到。
推论： 从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等。证明：
设ABP是⊙O的一条割线，PT是⊙O的一条切线，切点为T，则PT²=PA·PB。
图1
证明：连接AT，BT。
∵ ∠PTB=∠PAT(弦切角定理)；∠APT=∠TPB(公共角)； ∴ △PBT∽△PTA(两角对应相等，两三角形相似)； ∴PB：PT=PT：AP； 即：PT²=PB·PA。
垂径定理
内容：垂直于弦的直径平分这条弦，并且平分弦所对的两条弧。证明：
如图，在⊙O中，DC为直径，AB是弦，AB⊥DC于点E，AB、CD交于E，求证：AE=BE，弧AC=弧BC，弧AD= 弧BD 连接OA、OB分别交⊙O于点A、点B ∵OA、OB是⊙O的半径 ∴OA=OB ∴△OAB是等腰三角形 ∵AB⊥DC ∴AE=BE，∠AOE=∠BOE（等腰三角形三线合一）
∴弧AD=弧BD，∠AOC=∠BOC ∴弧AC=弧BC
第五篇：各种圆定理总结
费尔巴赫定理
费尔巴赫定理 三角形的九点圆与内切圆内切，而与旁切圆外切。
此定理由德国数学家费尔巴赫（K·W·Feuerbach，1800—1834）于1822年提出。费尔巴赫定理的证明
在不等边△ABC中,设O,H,I,Q,Ia分别表示△ABC的外心，垂心，内心，九点圆心和∠A所对的旁切圆圆心.s,R,r,ra分别表示△ABC的半周长，外接圆半径，内切圆半径和∠A所对的旁切圆半径,BC=a,CA=b,AB=c.易得∠HAO=|B-C|,∠HAI=∠OAI=|B-C|/2;AH=2R*cosA,AO=R,AI=√[(s-a)bc/s],AIa=√[sbc/(s-a)] 在△AHI中，由余弦定理可求得: HI^2=4R^2+4Rr+3r^2-s^2;在△AHO中，由余弦定理可求得: HO^2=9R^2+8Rr+2r^2-2s^2;在△AIO中，由余弦定理可求得: OI^2=R(R-2r).∵九点圆心在线段HO的中点, ∴在△HIO中，由中线公式可求得.4IQ^2=2(4R^2+4Rr+3r^2-s^2)+ 2(R^2-2Rr)-(9R^2+8Rr+2r^2-2s^2)=(R-2r)^2 故IQ=(R-2r)/2.又△ABC的九点圆半径为R/2, 所以九点圆与内切圆的圆心距为 d=R/2-r=(R-2r)/2=IQ.因此 三角形的九点圆与内切圆内切。在△AHIa中，由余弦定理可求得: IaH^2=4R^2+4Rr+r^2-s^2+2(ra)^2;在△AOIa中，由余弦定理可求得: IaO^2=R(R+2ra).在△HIaO中，由中线公式可求得.4IaQ^2=2(4R^2+4Rr+r^2-s^2+2ra^2)+2(R^2+2Rra)-(9R^2+8Rr+2r^2-2s^2)=(R+2ra)^2 故IaQ=(R+2ra)/2.九点圆与∠A的旁切圆的圆心距为 d=R/2+ra=(R+2ra)/2=IaQ.故三角形的九点圆与∠A的旁切圆外切。因此 三角形的九点圆与旁切圆外切
托勒密定理
一些圆定理.doc定理图
定理的内容 托勒密(Ptolemy)定理指出，圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积。原文：圆的内接四边形中，两对角线所包矩形的面积等于 一组对边所包矩形的面积与另一组对边所包矩形的面积之和。从这个定理可以推出正弦、余弦的和差公式及一系列的三角恒等式，托勒密定理实质上是关于共圆性的基本性质．
定理的提出
一般几何教科书中的“托勒密定理”，实出自依巴谷(Hipparchus)之手，托勒密只是从他的书中摘出。
证明
一、（以下是推论的证明，托勒密定理可视作特殊情况。）
在任意四边形ABCD中，作△ABE使∠BAE=∠CAD ∠ABE=∠ ACD
因为△ABE∽△ACD
所以 BE/CD=AB/AC,即BE·AC=AB·CD(1)
而∠BAC=∠DAE，∠ACB=∠ADE
所以△ABC∽△AED相似.BC/ED=AC/AD即ED·AC=BC·AD(2)
(1)+(2),得
AC(BE+ED)=AB·CD+AD·BC
又因为BE+ED≥BD
（仅在四边形ABCD是某圆的内接四边形时，等号成立，即“托勒密定理”）
所以命题得证
复数证明
用a、b、c、d分别表示四边形顶点A、B、C、D的复数，则AB、CD、AD、BC、AC、BD的长度分别是：(a-b)、(c-d)、(a-d)、(b-c)、(a-c)、(b-d)。首先注意到复数恒等式：(a − b)(c − d)+(a − d)(b − c)=(a − c)(b − d)，两边取模，运用三角不等式得。等号成立的条件是(a-b)(c-d)与(a-d)(b-c)的辐角相等，这与A、B、C、D四点共圆等价。四点不限于同一平面。平面上，托勒密不等式是三角不等式的反演形式。
二、设ABCD是圆内接四边形。在弦BC上，圆周角∠BAC = ∠BDC，而在AB上，∠ADB = ∠ACB。在AC上取一点K，使得∠ABK = ∠CBD； 因为∠ABK + ∠CBK = ∠ABC = ∠CBD + ∠ABD，所以∠CBK = ∠ABD。因此△ABK与△DBC相似，同理也有△ABD ~ △KBC。因此AK/AB = CD/BD，且CK/BC = DA/BD； 因此AK·BD = AB·CD，且CK·BD = BC·DA； 两式相加，得(AK+CK)·BD = AB·CD + BC·DA； 但AK+CK = AC，因此AC·BD = AB·CD + BC·DA。证毕。
三、托勒密定理：圆内接四边形中，两条对角线的乘积(两对角线所包矩形的面积)等于两组对边乘积之和(一组对边所包矩形的面积与另一组对边所包矩形的面积之和)．已知：圆内接四边形ABCD，求证：AC·BD＝AB·CD＋AD·BC．
证明：如图1，过C作CP交BD于P，使∠1=∠2，又∠3=∠4，∴△ACD∽△BCP．得AC：BC=AD：BP，AC·BP=AD·BC ①。又∠ACB=∠DCP，∠5=∠6，∴△ACB∽△DCP．得AC：CD=AB：DP，AC·DP=AB·CD ②。①＋②得 AC(BP＋DP)=AB·CD＋AD·BC．即AC·BD=AB·CD＋AD·BC．
推论
1.任意凸四边形ABCD，必有AC·BD≤AB·CD+AD·BC，当且仅当ABCD四点共圆时取等号。
2.托勒密定理的逆定理同样成立：一个凸四边形两对对边乘积的和等于两条对角线的乘积，则这个凸四边形内接于一圆、推广
托勒密不等式：四边形的任两组对边乘积不小于另外一组对边的乘积，取等号当且仅当共圆或共线。
简单的证明：复数恒等式：(a-b)(c-d)+(a-d)(b-c)=(a-c)(b-d)，两边取模，得不等式AC·BD≤|(a-b)(c-d)|+|(b-c)(a-d)|=AB·CD+BC·AD
注意：
1.等号成立的条件是(a-b)(c-d)与(a-d)(b-c)的辐角相等，这与A、B、C、D四点共圆等价。
2.四点不限于同一平面。
欧拉定理：在一条线段上AD上，顺次标有B、C两点，则AD·BC+AB·CD=AC·BD
塞瓦定理
简介
塞瓦（Giovanni Ceva，1648～1734）意大利水利工程师，数学家。塞瓦定理载于塞瓦于1678年发表的《直线论》一书，也有书中说塞瓦定理是塞瓦重新发现。
具体内容
塞瓦定理
在△ABC内任取一点O，直线AO、BO、CO分别交对边于D、E、F，则(BD/DC)*(CE/EA)*(AF/FB)=1
证法简介
（Ⅰ）本题可利用梅涅劳斯定理证明：
∵△ADC被直线BOE所截，∴(CB/BD)*(DO/OA)*(AE/EC)=1 ①
而由△ABD被直线COF所截，∴(BC/CD)*(DO/OA)*(AF/FB)=1②
②÷①:即得：(BD/DC)*(CE/EA)*(AF/FB)=1
（Ⅱ）也可以利用面积关系证明
∵BD/DC=S△ABD/S△ACD=S△BOD/S△COD=(S△ABD-S△BOD)/(S△ACD-S△COD)=S△AOB/S△AOC ③
同理 CE/EA=S△BOC/ S△AOB ④ AF/FB=S△AOC/S△BOC ⑤
③×④×⑤得BD/DC*CE/EA*AF/FB=1
利用塞瓦定理证明三角形三条高线必交于一点:
设三边AB、BC、AC的垂足分别为D、E、F，根据塞瓦定理逆定理，因为(AD:DB)*(BE:EC)*(CF:FA)=[(CD*ctgA）/[(CD*ctgB）]*[(AE*ctgB)/(AE*ctgC)]*[(BF*ctgC)/[(BF*ctgA)]=1，所以三条高CD、AE、BF交于一点。
可用塞瓦定理证明的其他定理;
三角形三条中线交于一点（重心）:如图5 D , E分别为BC , AC 中点 所以BD=DC AE=EC 所以BD/DC=1 CE/EA=1
且因为AF=BF 所以 AF/FB必等于1 所以AF=FB 所以三角形三条中线交于一点
此外，可用定比分点来定义塞瓦定理：
在△ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是λ=BL/LC、μ=CM/MA、ν=AN/NB。于是AL、BM、CN三线交于一点的充要条件是λμν=1。（注意与梅涅劳斯定理相区分，那里是λμν=-1）
塞瓦定理推论
1.设E是△ABD内任意一点，AE、BE、DE分别交对边于C、G、F，则(BD/BC)*(CE/AE)*(GA/DG)=1
因为(BC/CD)*(DG/GA)*(AF/FB)=1，（塞瓦定理）所以(BD/CD)*(CE/AE)*(AF/FB)=K（K为未知参数）且(BD/BC)*(CE/AE)*(GA/DG)=K（K为未知参数）又由梅涅劳斯定理得：(BD/CD)*(CE/AE)*(AF/FB)=1
所以(BD/BC)*(CE/AE)*(GA/DG)=1
2.塞瓦定理角元形式
AD,BE,CF交于一点的充分必要条件是：
(sin∠BAD/sin∠DAC)*(sin∠ACF/sin∠FCB)*(sin∠CBE/sin∠EBA)=1
由正弦定理及三角形面积公式易证
3.如图，对于圆周上顺次6点A,B,C,D,E,F，直线AD,BE,CF交于一点的充分必要条件是：
(AB/BC)*(CD/DE)*(EF/FA)=1
由塞瓦定理的角元形式，正弦定理及圆弦长与所对圆周角关系易证。
4.还能利用塞瓦定理证三角形三条高交于一点
设三边AB、BC、AC的垂足分别为D、E、F，根据塞瓦定理逆定 理，因为(AD:DB)*(BE:EC)*(CF:FA)=[(CD*ctgA）/[(CD*ctgB）]*[(AE*ctgB)/(AE*ctgC)]*[(BF*ctgC)/[(AE*ctgB)]=1，所以三条高CD、AE、BF交于一点。
梅涅劳斯定理
梅涅劳斯定理证明
梅涅劳斯（Menelaus）定理（简称梅氏定理）是由古希腊数学家梅涅劳斯首先证明的。它指出：如果一条直线与△ABC的三边AB、BC、CA或其延长线交于F、D、E点，那么(AF/FB)×(BD/DC)×(CE/EA)=1。或：设X、Y、Z分别在△ABC的BC、CA、AB所在直线上，则X、Y、Z共线的充要条件是(AZ/ZB)*(BX/XC)*(CY/YA)=
证明一：
过点A作AG∥BC交DF的延长线于G，则AF/FB=AG/BD , BD/DC=BD/DC , CE/EA=DC/AG。
三式相乘得：(AF/FB)×(BD/DC)×(CE/EA)=(AG/BD)×(BD/DC)×(DC/AG)=1
证明二：
过点C作CP∥DF交AB于P，则BD/DC=FB/PF，CE/EA=PF/AF
所以有AF/FB×BD/DC×CE/EA=AF/FB×FB/PF×PF/AF=1
它的逆定理也成立：若有三点F、D、E分别在△ABC的边AB、BC、CA或其延长线上，且满足(AF/FB)×(BD/DC)×(CE/EA)=1，则F、D、E三点共线。利用这个逆定理，可以判断三点共线。
梅涅劳斯(Menelaus)定理
证明三：
过ABC三点向三边引垂线AA'BB'CC'，所以AD：DB=AA'：BB'，BE：EC=BB'：CC'，CF：FA=CC'：AA'
所以(AF/FB)×(BD/DC)×(CE/EA)=1
证明四：
连接BF。
（AD：DB）·（BE：EC）·（CF:FA)
=（S△ADF：S△BDF）·（S△BEF：S△CEF）·（S△BCF：S△BAF）
=（S△ADF：S△BDF）·（S△BDF：S△CDF）·（S△CDF：S△ADF）
=1
此外，用定比分点定义该定理可使其容易理解和记忆：
在△ABC的三边BC、CA、AB或其延长线上分别取L、M、N三点，又分比是λ=BL/LC、μ=CM/MA、ν=AN/NB。于是L、M、N三点共线的充要条件是λμν=1。
第一角元形式的梅涅劳斯定理
如图：若E，F，D三点共线，则
(sin∠ACF/sin∠FCB)(sin∠BAD/sin∠DAC)(sin∠CBA/sin∠ABE)=1
即图中的蓝角正弦值之积等于红角正弦值之积
该形式的梅涅劳斯定理也很实用
第二角元形式的梅涅劳斯定理
在平面上任取一点O，且EDF共线，则（sin∠AOF/sin∠FOB)(sin∠BOD/sin∠DOC)(sin∠COA/sin∠AOE)=1。(O不与点A、B、C重合)
记忆
ABC为三个顶点，DEF为三个分点
(AF/FB)×(BD/DC)×(CE/EA)=1
（顶到分/分到顶）*（顶到分/分到顶）*（顶到分/分到顶）=1
空间感好的人可以这么记：（上1/下1）*（整/右）*（下2/上2）=1
实际应用
为了说明问题，并给大家一个深刻印象，我们假定图中的A、B、C、D、E、F是六个旅游景点，各景点之间有公路相连。我们乘直升机飞到这些景点的上空，然后选择其中的任意一个景点降落。我们换乘汽车沿公路去每一个景点游玩，最后回到出发点，直升机就停在那里等待我们回去。
我们不必考虑怎样走路程最短，只要求必须“游历”了所有的景点。只“路过”而不停留观赏的景点，不能算是“游历”。
例如直升机降落在A点，我们从A点出发，“游历”了其它五个字母所代表的景点后，最终还要回到出发点A。
另外还有一个要求，就是同一直线上的三个景点，必须连续游过之后，才能变更到其它直线上的景点。
从A点出发的旅游方案共有四种，下面逐一说明：
方案 ① ——从A经过B（不停留）到F（停留），再返回B（停留），再到D（停留），之后经过B（不停留）到C（停留），再到E（停留），最后从E经过C（不停留）回到出发点A。
按照这个方案，可以写出关系式：
（AF：FB）*（BD：DC）*（CE：EA）=1。
现在，您知道应该怎样写“梅涅劳斯定理”的公式了吧。
从A点出发的旅游方案还有：
方案 ② ——可以简记为：A→B→F→D→E→C→A，由此可写出以下公式：
（AB：BF）*（FD：DE）*（EC：CA）=1。从A出发还可以向“C”方向走，于是有：
方案 ③ —— A→C→E→D→F→B→A，由此可写出公式：
（AC：CE）*（ED：DF）*（FB：BA）=1。从A出发还有最后一个方案：
方案 ④ —— A→E→C→D→B→F→A，由此写出公式：
（AE：EC）*（CD：DB）*（BF：FA）=1。
我们的直升机还可以选择在B、C、D、E、F任一点降落，因此就有了图中的另外一些公式。
值得注意的是，有些公式中包含了四项因式，而不是“梅涅劳斯定理”中的三项。当直升机降落在B点时，就会有四项因式。而在C点和F点，既会有三项的公式，也会有四项的公式。公式为四项时，有的景点会游览了两次。
不知道梅涅劳斯当年是否也是这样想的，只是列出了一两个典型的公式给我们看看。
还可以从逆时针来看，从第一个顶点到逆时针的第一个交点比上到下一个顶点的距离，以此类推，可得到三个比例，它们的乘积为1.现在是否可以说，我们对梅涅劳斯定理有了更深刻的了解呢。那些复杂的相除相乘的关系式，不会再写错或是记不住吧。
西姆松定理
西姆松定理图示
西姆松定理是一个几何定理。表述为：过三角形外接圆上异于三角形顶点的任意一点作三边的垂线，则三垂足共线。（此线常称为西姆松线）。西姆松定理的逆定理为：若一点在三角形三边所在直线上的射影共线，则该点在此三角形的外接圆上。
西姆松定理说明
相关的结果有：
（1）称三角形的垂心为H。西姆松线和PH的交点为线段PH的中点，且这点在九点圆上。
（2）两点的西姆松线的交角等于该两点的圆周角。
（3）若两个三角形的外接圆相同，这外接圆上的一点P对应两者的西姆松线的交角，跟P的位置无关。
（4）从一点向三角形的三边所引垂线的垂足共线的充要条件是该点落在三角形的外接圆上。
证明
证明一： △ABC外接圆上有点P，且PE⊥AC于E，PF⊥AB于F，PD⊥BC于D，分别连DE、DF.易证P、B、F、D及P、D、C、E和A、B、P、C分别共圆，于是∠FDP=∠ACP ①，（∵都是∠ABP的补角）且∠PDE=∠PCE
② 而∠ACP+∠PCE=180°
③ ∴∠FDP+∠PDE=180°
④ 即F、D、E共线.反之，当F、D、E共线时，由④→②→③→①可见A、B、P、C共圆.证明二： 如图，若L、M、N三点共线，连结BP，CP，则因PL垂直于BC，PM垂直于AC，PN垂直于AB，有B、P、L、N和
M、P、L、C分别四点共圆，有
∠PBN = ∠PLN = ∠PLM = ∠PCM.故A、B、P、C四点共圆。
若A、B、P、C四点共圆，则∠PBN = ∠PCM。因PL垂直于BC，PM垂直于AC，PN垂直于AB，有B、P、L、N和M、P、L、C四点共圆，有
∠PBN =∠PLN =∠PCM=∠PLM.故L、M、N三点共线。
相关性质的证明
连AH延长线交圆于G，连PG交西姆松线与R,BC于Q
如图连其他相关线段
AH⊥BC,PF⊥BC==>AG//PF==>∠1=∠2
A.G.C.P共圆==>∠2=∠3
PE⊥AC,PF⊥BC==>P.E.F.C共圆==>∠3=∠4
==>∠1=∠4
PF⊥BC
==>PR=RQ
BH⊥AC,AH⊥BC==>∠5=∠6
A.B.G.C共圆==>∠6=∠7
==>∠5=∠7
AG⊥BC==>BC垂直平分GH
==>∠8=∠2=∠4
∠8+∠9=90,∠10+∠4=90==>∠9=∠10
==>HQ//DF
==>PM=MH
第二个问，平分点在九点圆上，如图：设O,G,H 分别为三角形ABC的外心，重心和垂心。
则O是,确定九点圆的中点三角形XYZ的垂心，而G还是它的重心。
那么三角形XYZ的外心 O1，也在同一直线上，并且
HG/GO=GO/GO1=2，所以O1是OH的中点。
三角形ABC和三角形XYZ位似，那么它们的外接圆也位似。两个圆的圆心都在OH上，并且两圆半径比为1:2
所以G是三角形ABC外接圆和三角形XYZ外接圆(九点圆)的“反”位似中心(相似点在位似中心的两边),H 是“正”位似中心(相似点在位似中心的同一边)...所以H到三角形ABC的外接圆上的连线中点必在三角形DEF的外接圆上....圆幂定理
圆幂定理
圆幂定理是对相交弦定理、切割线定理及割线定理（切割线定理推论）以及它们推论统一归纳的结果。
定义
圆幂=PO^2-R^2|
所以圆内的点的幂为负数，圆外的点的幂为正数，圆上的点的幂为零。
相交弦定理：圆内的两条相交弦，被交点分成的两条线段长的积相等。
切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项。
割线定理：从圆外一点P引两条割线与圆分别交于A、B；C、D，则有 PA·PB=PC·PD。
统一归纳：过任意不在圆上的一点P引两条直线L1、L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D（可重合），则有PA·PB=PC·PD。
进一步升华（推论）
过任意在圆O外的一点P引一条直线L1与一条过圆心的直线L2，L1与圆交于A、B（可重合，即切线），L2与圆交于C、D。则PA·PB=PC·PD。若圆半径为r，则PC·PD=(PO-r)·(PO+r)=PO^2-r^2=|PO^2-r^2|（要加绝对值，原因见下）为定值。这个值称为点P到圆O的幂。（事实上所有的过P点与圆相交的直线都满足这个值）
若点P在圆内，类似可得定值为r^2-PO^2=|PO^2-r^2|
故平面上任意一点对于圆的幂为这个点到圆心的距离与圆的半径的平方差，而过这一点引任意直线交圆于A、B，那么PA·PB等于圆幂的绝对值。（这就是“圆幂”的由来）
证明
圆幂定理（相交弦定理、切割线定理及其推论(割线定理)统一归纳为圆幂定理）
问题1
相交弦定理：圆内的两条相交弦,被交点分成的两条线段长的乘积相等。
证明：连结AC，BD，由圆周角定理的推论，得∠A=∠D，∠C=∠B。
∴△PAC∽△PDB，∴PA:PD=PC:PB，PA·PB=PC·PD
问题2
割线定理：从圆外一点P引两条割线与圆分别交于A.B.C.D 则有 PA·PB=PC·PD，当PA=PB，即直线AB重合，即PA切线时得到切线定理PA^2=PC·PD
证明：（令A在P、B之间，C在P、D之间）因为ABCD为圆内接四边形，所以角CAB+角CDB=180度，又角CAB+角PAC=180度，所以角PAC=角CDB，又角APC公共，所以三角形APC与三角形DPB相似，所以PA/PD=PC/PB,所以PA*PB=PC*PD
切割线定理：从圆外一点引圆的切线和割线，切线长是这点到割线与圆交点的两条线段长的比例中项
几何语言：∵PT切⊙O于点T，PBA是⊙O的割线
∴PT^2=PA·PB（切割线定理）
推论 从圆外一点引圆的两条割线，这一点到每条割线与圆的交点的两条线段长的积相等
几何语言：∵PBA、PDC是⊙O的割线
∴PD·PC=PA·PB（切割线定理推论）
问题3
过点P任作直线交定圆于两点A、B，证明PA·PB为定值（圆幂定理）。
证：以P为原点，设圆的方程为
(x-xO)^2+(y-yO)^2=a①
过P的直线为
x=k1t
y=k2t
则A、B的横坐标是方程
(k1t-xO)^2+(k2t-yO)^2=r^2
即
(k1^2+k2^2)t^2-2(k1xO+k2yO)t+xO^2+yO^2-r^2=0
的两个根t1、t2。由韦达定理
t1t2=(xO^2+yO^2-^2)/(k1^2+k2^2)
于是
PA·PB=√((k1t1)^2+(k2t1)^2)√((k1t2)^2+(k2t2)^2)
=(√(k1^2+k2^2))^2|t1||t2|
=k1^2+k2^2|(xO^2+yO^2-r^2)/(k1^2+k2^2)|
=|(xO^2+yO^2-r^2)|
为定值，证毕。
圆①也可以写成
x^2+y^2-2xOx-2yOy+xO^2+yO^2-a=0①′
其中a为圆的半径的平方。所说的定值也就是（原点）与圆心O的距离的平方减去半径的平方。当P在圆外时，这就是自P向圆所引切线（长）的平方。
这定值称为点P到这圆的幂。
在上面证明的过程中，我们以P为原点，这样可以使问题简化。
如果给定点O，未必是原点，要求出P关于圆①的幂（即OP^2-r^2），我们可以设直线AB的方程为
②
③
是 的倾斜角，表示直线上的点与 的距离．
将②③代入①得
即，是它的两个根，所以由韦达定理
④
是定值
④是 关于①的幂（当 是原点时，这个值就是）．它也可以写成
④′
即 与圆心 距离的平方减去半径的平方．
当P在圆内时，幂值是负值；P在圆上时，幂为0；P在圆外时，幂为正值，这时幂就是自P向圆所引切线长的平方。
以上是圆幂定理的证明，下面看一看它的应用．
问题4
自圆外一点 向圆引割线交圆于、两点，又作切线、，、为切点，与 相交于，如图８．求证、、成调和数列，即
证：设圆的方程为
⑤
点 的坐标为，的参数方程为
⑥
⑦
其中 是 的倾斜角，表示直线上的点 与 的距离．
⑥⑦代入⑤得
即、是它的两个根，由韦达定理
⑧
另一方面，直线 是圆的切点弦，利用前边的结论，的方程为
⑦⑧代入得
因此，这个方程的根 满足
⑨
综合⑧⑨，结论成立。
可以证明，当 在圆内时，上述推导及结论仍然成立。
说明：问题4的解决借用了问题3的方法，同时我们也看到了问题4与问题
1、问题2的内在联系。
四点共圆
四点共圆-图释
如果同一平面内的四个点在同一个圆上，则称这四个点共圆，一般简称为“四点共圆”。四点共圆有三个性质：（1）同弧所对的圆周角相等（2）圆内接四边形的对角互补（3）圆内接四边形的外角等于内对角 以上性质可以根据圆周角等于它所对弧的度数的一半进行证明。
四点共圆
证明四点共圆的基本方法
证明四点共圆有下述一些基本方法：
方法1
从被证共圆的四点中先选出三点作一圆，然后证另一点也在这个圆上，若能证明这一点，即可肯定这四点共圆．
方法2
把被证共圆的四个点连成共底边的两个三角形，且两三角形都在这底边的同侧，若能证明其顶角相等，从而即可肯定这四点共圆．（若能证明其两顶角为直角，即可肯定这四个点共圆，且斜边上两点连线为该圆直径。）
方法3
把被证共圆的四点连成四边形，若能证明其对角互补或能证明其一个外角等于其邻补角的内对角时，即可肯定这四点共圆．
方法4
把被证共圆的四点两两连成相交的两条线段，若能证明它们各自被交点分成的两线段之积相等，即可肯定这四点共圆；或把被证共圆的四点两两连结并延长相交的两线段，若能证明自交点至一线段两个端点所成的两线段之积等于自交点至另一线段两端点所成的两线段之积，即可肯定这四点也共圆．(根据托勒密定理的逆定理)
方法5
证被证共圆的点到某一定点的距离都相等，从而确定它们共圆．
上述五种基本方法中的每一种的根据，就是产生四点共圆的一种原因，因此当要求证四点共圆的问题时，首先就要根据命题的条件，并结合图形的特点，在这五种基本方法中选择一种证法，给予证明．
判定与性质：
圆内接四边形的对角和为π,并且任何一个外角都等于它的内对角。
如四边形ABCD内接于圆O，延长AB和DC交至E，过点E作圆O的切线EF，AC、BD交于P，则A+C=π，B+D=π，角DBC=角DAC（同弧所对的圆周角相等）。
角CBE=角ADE（外角等于内对角）
△ABP∽△DCP（三个内角对应相等）
AP*CP=BP*DP（相交弦定理）
四点共圆的图片
EB*EA=EC*ED（割线定理）
EF*EF= EB*EA=EC*ED（切割线定理）
（切割线定理，割线定理，相交弦定理统称圆幂定理）
AB*CD+AD*CB=AC*BD（托勒密定理Ptolemy）
证明四点共圆的原理
四点共圆
证明四点共圆基本方法：
方法1
把被证共圆的四个点连成共底边的两个三角形，且两三角形都在这底边的同侧，若能证明其顶角相等，从而即可肯定这四点共圆．
方法2
把被证共圆的四点连成四边形，若能证明其对角互补或能证明其一个外角等于其邻补角的内对角时，即可肯定这四点共圆．
四点共圆的判定是以四点共圆的性质的基础上进行证明的。
四点共圆的定理：
四点共圆的判定定理：
方法1 把被证共圆的四个点连成共底边的两个三角形，且两三角形都在这底边的同侧，若能证明其顶角相等，从而即可肯定这四点共圆．
（可以说成：若线段同侧二点到线段两端点连线夹角相等，那末这二点和线段二端点四点共圆）
方法2 把被证共圆的四点连成四边形，若能证明其对角互补或能证明其一个外角等于其邻补角的内对角时，即可肯定这四点共圆．
（可以说成：若平面上四点连成四边形的对角互补或一个外角等于其内对角。那么这四点共圆）
反证法证明
现就“若平面上四点连成四边形的对角互补。那末这四点共圆”证明如下（其它画个证明图如后）
已知：四边形ABCD中，∠A+∠C=π
求证：四边形ABCD内接于一个圆（A，B，C，D四点共圆）
证明：用反证法
过A，B，D作圆O，假设C不在圆O上，刚C在圆外或圆内，若C在圆外，设BC交圆O于C’，连结DC’，根据圆内接四边形的性质得∠A+∠DC’B=π，∵∠A+∠C=π ∴∠DC’B=∠C
这与三角形外角定理矛盾，故C不可能在圆外。类似地可证C不可能在圆内。
∴C在圆O上，也即A，B，C，D四点共圆。
点击咨询 