平面几何-九大定理及其证明 (3)

.一．平面几何1． 勾股定理（毕达哥拉斯定理）（广义勾股定理）(1)锐角对边的平方，等于其他两边之平方和，减去这两边中的一边和另一边在这边上的射影乘积的两倍． (2)钝角对边的平方等于其他两边的平方和，加上这两边中的一边与另一边在这边上的射影乘积的两倍． 2． 射影定理（欧几里得定理）3． 中线定理（巴布斯定理）设△ABC 的边BC 的中点为P ，则有)(22222BP AP AC AB +=+； 中线长：222222a c b m a -+=4． 垂线定理：2222BD BC AD AC CD AB -=-⇔⊥高线长：C b B c A abcc p b p a p p a h a sin sin sin ))()((2===---=5． 角平分线定理：三角形一个角的平分线分对边所成的两条线段与这个角的两边对应成比例．如△ABC 中，AD 平分∠BAC ，则AC AB DC BD =；（外角平分线定理）角平分线长：2cos 2)(2Ac b bc a p bcp c b t a +=-+=（其中p 为周长一半）6． 正弦定理：R CcB b A a 2sin sin sin ===，（其中R 为三角形外接圆半径） 7． 余弦定理：C ab b a ccos 2222-+=8． 张角定理：AB DAC AC BAD AD BAC ∠+∠=∠sin sin sin9． 斯特瓦尔特(Stewart )定理：设已知△ABC 及其底边上B 、C两点间的一点D ，则有AB 2·DC +AC 2·BD －AD 2·BC ＝BC ·DC ·BD 10． 圆周角定理：同弧所对的圆周角相等，等于圆心角的一半．（圆外角如何转化？）11． 弦切角定理：弦切角等于夹弧所对的圆周角12． 圆幂定理：（相交弦定理：垂径定理：切割线定理（割线定理）：切线长定理：）13． 布拉美古塔（Brahmagupta ）定理： 在圆内接四边形ABCD中，AC ⊥BD ，自对角线的交点P 向一边作垂线，其延长线必平分对边14． 点到圆的幂：设P 为⊙O 所在平面上任意一点，PO =d ，⊙O 的半径为r ，则d 2－r 2就是点P 对于⊙O 的幂．过P 任作一直线与⊙O 交于点A 、B ，则PA ·PB = |d 2－r 2|．“到两圆等幂的点的轨迹是与此二圆的连心线垂直的一条直线，如果此二圆相交，则该轨迹是此二圆的公共弦所在直线”这个结论．这条直线称为两圆的“根轴”．三个圆两两的根轴如果不互相平行，则它们交于一点，这一点称为三圆的“根心”．三个圆的根心对于三个圆等幂．当三个圆两两相交时，三条公共弦(就是两两的根轴)所在直线交于一点．15． 托勒密（Ptolemy ）定理：圆内接四边形对角线之积等于两组对边乘积之和，即AC ·BD =AB ·CD +AD ·BC ，(逆命题成立) ．（广义托勒密定理）AB ·CD +AD ·BC ≥AC ·BD16． 蝴蝶定理：AB 是⊙O 的弦，M 是其中点，弦CD 、EF 经过点M ，CF 、DE 交AB 于P 、Q ，求证：MP =QM ． 17． 费马点：定理1等边三角形外接圆上一点，到该三角形较近两顶点距离之和等于到另一顶点的距离；不在等边三角形外接圆上的点，到该三角形两顶点距离之和大于到另一点的距离．定理2 三角形每一内角都小于120°时，在三角形内必存在一点，它对三条边所张的角都是120°，该点到三顶点距离和达到最小，称为“费马点”，当三角形有一内角不小于120°时，此角的顶点即为费马点18． 拿破仑三角形：在任意△ABC 的外侧，分别作等边△ABD 、△BCE 、△CAF ，则AE 、AB 、CD 三线共点，并且AE ＝BF ＝CD ，这个命题称为拿破仑定理． 以△ABC 的三条边分别向外作等边△ABD 、△BCE 、△CAF ，它们的外接圆⊙C 1 、⊙A 1 、⊙B 1的圆心构成的△——外拿破仑的三角形，⊙C 1 、⊙A 1 、⊙B 1三圆共点，外拿破仑三角形是一个等边三角形；△ABC 的三条边分别向△ABC 的内侧作等边△ABD 、△BCE 、△CAF ，它们的外接圆⊙C 2 、⊙A 2 、⊙B 2的圆心构成的△——内拿破仑三角形，⊙C 2 、⊙A 2 、⊙B 2三圆共点，内拿破仑三角形也是一个等边三角形．这两个拿破仑三角形还具有相同的中心19． 九点圆（Nine point round 或欧拉圆或费尔巴赫圆）：三角形中，三边中心、从各顶点向其对边所引垂线的垂足，以及垂心与各顶点连线的中点，这九个点在同一个圆上，九点圆具有许多有趣的性质,例如:（1）三角形的九点圆的半径是三角形的外接圆半径之半 （2）九点圆的圆心在欧拉线上,且恰为垂心与外心连线的中点（3）三角形的九点圆与三角形的内切圆,三个旁切圆均相切〔费尔巴哈定理〕20． 欧拉（Euler ）线：三角形的外心、重心、九点圆圆心、垂心依次位于同一直线（欧拉线）上．21． 欧拉（Euler ）公式：设三角形的外接圆半径为R ，内切圆半径为r ，外心与内心的距离为d ，则d 2=R 2－2Rr ．22． 锐角三角形的外接圆半径与内切圆半径的和等于外心到各边距离的和．23． 重心：三角形的三条中线交于一点，并且各中线被这个点分成2：1的两部分；)3,3(C B A C B A y y y x x x G ++++重心性质：（1）设G 为△ABC 的重心，连结AG 并延长交BC.于D ，则D 为BC 的中点，则1:2:=GD AG ；（2）设G 为△ABC 的重心，则ABC ACG BCG ABG S S S S ∆∆∆∆===31（3）设G 为△ABC 的重心，过G 作DE ∥BC 交AB 于D ，交AC 于E ，过G 作PF ∥AC 交AB 于P ，交BC 于F ，过G 作HK ∥AB 交AC 于K ，交BC 于H ，则2;32=++===ABKHCA FP BC DE AB KH CA FP BC DE （4）设G 为△ABC 的重心，则222222333GC AB GB CA GA BC +=+=+)(31222222CA BC AB GC GB GA ++=++22222223PG GC GB GA PC PB PA +++=++（P 为△ABC 内任意一点）；④到三角形三顶点距离的平方和最小的点是重心，即222GC GB GA ++最小；⑤三角形内到三边距离之积最大的点是重心；反之亦然（即满足上述条件之一，则G 为△ABC 的重心）．24． 垂心：三角形的三条高线的交点；)cos cos cos cos cos cos ,cos cos cos cos cos cos (Cc B b A a y C cy B b y A a C c B b A a x C c x B b x A a H C B A C B A ++++++++垂心性质：（1）三角形任一顶点到垂心的距离，等于外心到对边的距离的2倍（2）垂心H 关于△ABC 的三边的对称点，均在△ABC 的外接圆上；（3）△ABC 的垂心为H ，则△ABC ，△ABH ，△BCH ，△ACH 的外接圆是等圆；（4）设O ，H 分别为△ABC 的外心和垂心，HCA BCO ABH CBO HAC BAO ∠=∠∠=∠∠=∠,,25． 内心：三角形的三条角分线的交点—内接圆圆心，即内心到三角形各边距离相等),(cb a cy by ayc b a cx bx ax I CB AC B A ++++++++内心性质：（1）设I 为△ABC 的内心，则I 到△ABC 三边的距离相等，反之亦然 （2）设I为△ABC的内心，则C AIB B AIC A BIC ∠+︒=∠∠+︒=∠∠+︒=∠2190,2190,2190（3）三角形一内角平分线与其外接圆的交点到另两顶点的距离与到内心的距离相等；反之，若A ∠平分线交△ABC 外接圆于点K ，I 为线段AK 上的点且满足KI=KB ，则I 为△ABC 的内心（4）设I 为△ABC 的内心，,,,c AB b AC a BC === A ∠平分线交BC于D ，交△ABC 外接圆于点K ，则acb KD IK KI AK ID AI +=== （5）设I 为△ABC 的内心，,,,c AB b AC a BC ===I在AB AC BC ,,上的射影分别为F E D ,,，内切圆半径为r ，令)(21c b a p ++=①pr S ABC =∆；②c p CD CE b p BF BD a p AF AE -==-==-==;;；③CI BI AI p abcr ⋅⋅⋅=．26． 外心：三角形的三条中垂线的交点——外接圆圆心，即外心到三角形各顶点距离相等；2sin 2sin 2sin 2sin ,2sin 2sin 2sin 2sin 2sin 2sin (B A By AyC B A Cx Bx Ax O BA CB A +++++++外心性质：（1）外心到三角形各顶点距离相等（2）设O 为△ABC 的外心，则A BOC ∠=∠2或A BOC ∠-︒=∠2360（3）∆=S abc R 4；（4）锐角三角形的外心到三边的距离之和等于其内切圆与外接圆半径之和27． 旁心：一内角平分线与两外角平分线交点——旁切圆圆心；设△ABC 的三边,,,c AB b AC a BC ===令)(21c b a p ++=，分别与AB AC BC ,,外侧相切的旁切圆圆心记为C B A I I I ,,，其半径分别记为C B A r r r ,,旁心性质：（1）,21,2190A C BI C BI A C BI C B A ∠=∠=∠∠-︒=∠（对于顶角B ，C 也有类似的式子） （2）)(21C A I I I C B A ∠+∠=∠ （3）设A AI 的连线交△ABC 的外接圆于D ，则DC DB DI A ==（对于C B CI BI ,有同样的结论）（4）△ABC 是△I A I B I C 的垂足三角形，且△I A I B I C 的外接圆半径'R 等于△ABC 的直径为2R ．28． 三角形面积公式C B A R Rabc C ab ah S a ABC sin sin sin 24sin 21212====∆)cot cot (cot 4222C B A c b a ++++=))()((c p b p a p p pr ---==，其中a h 表示BC 边上的.高，R 为外接圆半径，r 为内切圆半径，)(21c b a p ++=29． 三角形中内切圆，旁切圆和外接圆半径的相互关系;2sin 2cos 2cos 4,2cos 2sin 2cos 4,2cos 2cos 2sin 4;2sin 2sin 2sin 4CB A R rC B A R r C B A R r C B A R r c b a ====.1111;2tan2tan ,2tan 2tan ,2tan 2tan rr r r B A r r C A r r C B r r c b a c b a =++===30． 梅涅劳斯（Menelaus ）定理：设△ABC 的三边BC 、CA 、AB或其延长线和一条不经过它们任一顶点的直线的交点分别为P 、Q 、R 则有1=⋅⋅RBARQA CQ PC BP ．（逆定理也成立） 31． 梅涅劳斯定理的应用定理1：设△ABC 的∠A 的外角平分线交边CA 于Q ，∠C 的平分线交边AB 于R ，∠B 的平分线交边CA 于Q ，则P 、Q 、R 三点共线32． 梅涅劳斯定理的应用定理2：过任意△ABC 的三个顶点A 、B 、C 作它的外接圆的切线，分别和BC 、CA 、AB 的延长线交于点P 、Q 、R ，则P 、Q 、R 三点共线33． 塞瓦(Ceva )定理：设X 、Y 、Z 分别为△ABC 的边BC 、CA 、AB 上的一点，则AX 、BY 、CZ 所在直线交于一点的充要条件是AZ ZB ·BX XC ·CYYA=1 34． 塞瓦定理的应用定理：设平行于△ABC 的边BC 的直线与两边AB 、AC 的交点分别是D 、E ，又设BE 和CD 交于S ，则AS 一定过边BC 的中点M35． 塞瓦定理的逆定理：（略）36． 塞瓦定理的逆定理的应用定理1：三角形的三条中线交于一点，三角形的三条高线交于一点，三角形的三条角分线交于一点37． 塞瓦定理的逆定理的应用定理2：设△ABC 的内切圆和边BC 、CA 、AB 分别相切于点R 、S 、T ，则AR 、BS 、CT 交于一点．38． 西摩松（Simson ）定理：从△ABC 的外接圆上任意一点P向三边BC 、CA 、AB 或其延长线作垂线，设其垂足分别是D 、E 、R ，则D 、E 、R 共线，（这条直线叫西摩松线Simson line ）39． 西摩松定理的逆定理：（略）40． 关于西摩松线的定理1：△ABC 的外接圆的两个端点P 、Q关于该三角形的西摩松线互相垂直，其交点在九点圆上 41． 关于西摩松线的定理2（安宁定理）：在一个圆周上有4点，以其中任三点作三角形，再作其余一点的关于该三角形的西摩松线，这些西摩松线交于一点42． 史坦纳定理：设△ABC 的垂心为H ，其外接圆的任意点P ，这时关于△ABC 的点P 的西摩松线通过线段PH 的中心． 43． 史坦纳定理的应用定理：△ABC 的外接圆上的一点P 的关于边BC 、CA 、AB 的对称点和△ABC 的垂心H 同在一条（与西摩松线平行的）直线上．这条直线被叫做点P 关于△ABC 的镜象线．44． 牛顿定理1：四边形两条对边的延长线的交点所连线段的中点和两条对角线的中点，三点共线．这条直线叫做这个四边形的牛顿线．45． 牛顿定理2：圆外切四边形的两条对角线的中点，及该圆的圆心，三点共线． 46． 笛沙格定理1：平面上有两个三角形△ABC 、△DEF ，设它们的对应顶点（A 和D 、B 和E 、C 和F ）的连线交于一点，这时如果对应边或其延长线相交，则这三个交点共线． 47． 笛沙格定理2：相异平面上有两个三角形△ABC 、△DEF ，设它们的对应顶点（A 和D 、B 和E 、C 和F ）的连线交于一点，这时如果对应边或其延长线相交，则这三个交点共线． 48． 波朗杰、腾下定理：设△ABC 的外接圆上的三点为P 、Q 、R ，则P 、Q 、R 关于△ABC 交于一点的充要条件是：弧AP +弧BQ +弧CR =0(mod2π) ．49． 波朗杰、腾下定理推论1：设P 、Q 、R 为△ABC 的外接圆上的三点，若P 、Q 、R 关于△ABC 的西摩松线交于一点，则A 、B 、C 三点关于△PQR 的的西摩松线交于与前相同的一点．50． 波朗杰、腾下定理推论2：在推论1中，三条西摩松线的交点是A 、B 、C 、P 、Q 、R 六点任取三点所作的三角形的垂心和其余三点所作的三角形的垂心的连线段的中点． 51． 波朗杰、腾下定理推论3：考查△ABC 的外接圆上的一点P的关于△ABC 的西摩松线，如设QR 为垂直于这条西摩松线该外接圆的弦，则三点P 、Q 、R 的关于△ABC 的西摩松线交于一点．52． 波朗杰、腾下定理推论4：从△ABC 的顶点向边BC 、CA 、AB 引垂线，设垂足分别是D 、E 、F ，且设边BC 、CA 、AB的中点分别是L 、M 、N ，则D 、E 、F 、L 、M 、N 六点在同一个圆上，这时L 、M 、N 点关于关于△ABC 的西摩松线交于一点53． 卡诺定理：通过△ABC 的外接圆的一点P ，引与△ABC 的三边BC 、CA 、AB 分别成同向的等角的直线PD 、PE 、PF ，与三边的交点分别是D 、E 、F ，则D 、E 、F 三点共线． 54． 奥倍尔定理：通过△ABC 的三个顶点引互相平行的三条直线，设它们与△ABC 的外接圆的交点分别是L 、M 、N ，在△ABC 的外接圆上取一点P ，则PL 、PM 、PN 与△ABC 的三边BC 、CA 、AB 或其延长线的交点分别是D 、E 、F ，则D 、E 、F 三点共线．55． 清宫定理：设P 、Q 为△ABC 的外接圆的异于A 、B 、C 的两点，P 点的关于三边BC 、CA 、AB 的对称点分别是U 、V 、W ，这时，QU 、QV 、QW 和边BC 、CA 、AB 或其延长线的交点分别是D 、E 、F ，则D 、E 、F 三点共线．56． 他拿定理：设P 、Q 为关于△ABC 的外接圆的一对反点，点P 的关于三边BC 、CA 、AB 的对称点分别是U 、V 、W ，这时，.如果QU 、QV 、QW 和边BC 、CA 、AB 或其延长线的交点分别是D 、E 、F ，则D 、E 、F 三点共线．（反点：P 、Q 分别为圆O 的半径OC 和其延长线的两点，如果OC 2=OQ ×OP 则称P 、Q 两点关于圆O 互为反点）57． 朗古来定理：在同一圆周上有A 1、B 1、C 1、D 1四点，以其中任三点作三角形，在圆周取一点P ，作P 点的关于这4个三角形的西摩松线，再从P 向这4条西摩松线引垂线，则四个垂足在同一条直线上．58． 从三角形各边的中点，向这条边所对的顶点处的外接圆的切线引垂线，这些垂线交于该三角形的九点圆的圆心 59． 一个圆周上有n 个点，从其中任意n －1个点的重心，向该圆周的在其余一点处的切线所引的垂线都交于一点 60． 康托尔定理1：一个圆周上有n 个点，从其中任意n －2个点的重心向余下两点的连线所引的垂线共点．61． 康托尔定理2：一个圆周上有A 、B 、C 、D 四点及M 、N 两点，则M 和N 点关于四个三角形△BCD 、△CDA 、△DAB 、△ABC 中的每一个的两条西摩松线的交点在同一直线上．这条直线叫做M 、N 两点关于四边形ABCD 的康托尔线． 62． 康托尔定理3：一个圆周上有A 、B 、C 、D 四点及M 、N 、L三点，则M 、N 两点的关于四边形ABCD 的康托尔线、L 、N 两点的关于四边形ABCD 的康托尔线、M 、L 两点的关于四边形ABCD 的康托尔线交于一点．这个点叫做M 、N 、L 三点关于四边形ABCD 的康托尔点．63． 康托尔定理4：一个圆周上有A 、B 、C 、D 、E 五点及M 、N 、L 三点，则M 、N 、L 三点关于四边形BCDE 、CDEA 、DEAB 、EABC 中的每一个康托尔点在一条直线上．这条直线叫做M 、N 、L 三点关于五边形A 、B 、C 、D 、E 的康托尔线．64． 费尔巴赫定理：三角形的九点圆与内切圆和旁切圆相切． 65． 莫利定理：将三角形的三个内角三等分，靠近某边的两条三分角线相得到一个交点，则这样的三个交点可以构成一个正三角形．这个三角形常被称作莫利正三角形．66． 布利安松定理：连结外切于圆的六边形ABCDEF 相对的顶点A 和D 、B 和E 、C 和F ，则这三线共点．67． 帕斯卡（Paskal ）定理：圆内接六边形ABCDEF 相对的边AB和DE 、BC 和EF 、CD 和FA 的（或延长线的）交点共线． 68． 阿波罗尼斯（Apollonius ）定理：到两定点A 、B 的距离之比为定比m ：n （值不为1）的点P ，位于将线段AB 分成m ：n 的内分点C 和外分点D 为直径两端点的定圆周上．这个圆称为阿波罗尼斯圆．69． 库立奇*大上定理：（圆内接四边形的九点圆）圆周上有四点，过其中任三点作三角形，这四个三角形的九点圆圆心都在同一圆周上，我们把过这四个九点圆圆心的圆叫做圆内接四边形的九点圆．70． 密格尔（Miquel ）点： 若AE 、AF 、ED 、FB 四条直线相交于A 、B 、C 、D 、E 、F 六点，构成四个三角形，它们是△ABF 、△AED 、△BCE 、△DCF ，则这四个三角形的外接圆共点，这个点称为密格尔点．71． 葛尔刚（Gergonne ）点：△ABC 的内切圆分别切边AB 、BC 、CA 于点D 、E 、F ，则AE 、BF 、CD 三线共点，这个点称为葛尔刚点．72． 欧拉关于垂足三角形的面积公式：O 是三角形的外心，M 是三角形中的任意一点，过M 向三边作垂线，三个垂足形成的三角形的面积，其公式： 222ABC D 4||R d R S S EF -=∆∆．二．集合1.元素与集合的关系U x A x C A ∈⇔∉,U x C A x A ∈⇔∉.2.德摩根公式();()U U U U U U C A B C A C B C A B C A C B==3.包含关系A B A A B B=⇔=U U A B C B C A ⇔⊆⇔⊆U A C B ⇔=ΦU C A B R ⇔=4.集合12{,,,}n a a a 的子集个数共有2n 个；真子集有2n–1个；非空子集有2n–1个；非空的真子集有2n–2个. 5.集合A 中有M 个元素，集合B 中有N 个元素，则可以构造M*N 个从集合A 到集合B 的映射；6.容斥原理()()card A B cardA cardB card A B =+-()()card A B C cardA cardB cardC card A B =++-()()()()card A B card B C card CA card ABC ---+.三．二次函数，二次方程1·二次函数的解析式的三种形式(1)一般式2()(0)f x ax bx c a =++≠;(2)顶点式2()()(0)f x a x h k a =-+≠;(3)零点式12()()()(0)f x a x x x x a =--≠. 2·解连不等式()N f x M <<常有以下转化形式()N f x M <<⇔[()][()]0f x M f x N --<⇔|()|22M N M Nf x +--<⇔()0()f x N M f x ->- ⇔11()f x N M N>--. 3·方程0)(=x f 在),(21k k 上有且只有一个实根,与0)()(21<k f k f 不等价,前者是后者的一个必要而不是充分条.件.特别地, 方程)0(02≠=++a c bx ax有且只有一个实根在),(21k k ,等价于0)()(21<k f k f ,或0)(1=k f 且22211k k a bk +<-<,或0)(2=k f 且22122k abk k <-<+. 4·闭区间上的二次函数的最值二次函数)0()(2≠++=a c bx ax x f 在闭区间[]q p ,上的最值只能在abx 2-=处及区间的两端点处取得，具体如下：(1)当a>0时，若[]q p abx ,2∈-=，则{}min max max ()(),()(),()2bf x f f x f p f q a =-=；[]q p abx ,2∉-=，{}max max ()(),()f x f p f q =，{}min min ()(),()f x f p f q =.(2)当a<0时，若[]q p abx ,2∈-=，则{}min ()min (),()f x f p f q =，若[]q p abx ,2∉-=，则{}max ()max (),()f x f p f q =，{}min ()min (),()f x f p f q =.5·一元二次方程的实根分布依据：若()()0f m f n <，则方程0)(=x f 在区间(,)m n 内至少有一个实根 .设q px x x f ++=2)(，则（1）方程0)(=x f 在区间),(+∞m 内有根的充要条件为0)(=m f 或2402p q pm ⎧-≥⎪⎨->⎪⎩； （2）方程0)(=x f 在区间(,)m n 内有根的充要条件为()()0f m f n <或2()0()0402f m f n p q p m n >⎧⎪>⎪⎪⎨-≥⎪⎪<-<⎪⎩或()0()0f m af n =⎧⎨>⎩或()0()0f n af m =⎧⎨>⎩； （3）方程0)(=x f 在区间(,)n -∞内有根的充要条件为()0f m <或2402p q pm ⎧-≥⎪⎨-<⎪⎩ . 6·定区间上含参数的二次不等式恒成立的条件依据 (1)在给定区间),(+∞-∞的子区间L （形如[]βα,，(]β,∞-，[)+∞,α不同）上含参数的二次不等式(,)0f x t ≥(t 为参数)恒成立的充要条件是min (,)0()f x t x L ≥∉.(2)在给定区间),(+∞-∞的子区间上含参数的二次不等式(,)0f x t ≥(t 为参数)恒成立的充要条件是(,)0()man f x t x L ≤∉.(3))(24>++=c bx ax x f 恒成立的充要条件是00a b c ≥⎧⎪≥⎨⎪>⎩或2040a b ac <⎧⎨-<⎩.四．简易逻辑1·真值表234·充要条件（1）充分条件：若p q ⇒，则p 是q 充分条件.（2）必要条件：若q p ⇒，则p 是q 必要条件.（3）充要条件：若p q ⇒，且q p ⇒，则p 是q 充要.条件.注：如果甲是乙的充分条件，则乙是甲的必要条件；反之亦然.五．函数1· 函数的单调性(1)设[]2121,,x x b a x x ≠∈⋅那么[]1212()()()0x x f x f x -->⇔[]b a x f x x x f x f ,)(0)()(2121在⇔>--上是增函数；[]1212()()()0x x f x f x --<⇔[]b a x f x x x f x f ,)(0)()(2121在⇔<--上是减函数.(2)设函数)(x f y =在某个区间内可导，如果0)(>'x f ，则)(x f 为增函数；如果0)(<'x f ，则)(x f 为减函数.2·如果函数)(x f 和)(x g 都是减函数,则在公共定义域内,和函数)()(x g x f +也是减函数; 如果函数)(u f y =和)(x g u =在其对应的定义域上都是减函数,则复合函数)]([x g f y =是增函数.3·奇偶函数的图象特征奇函数的图象关于原点对称，偶函数的图象关于y 轴对称;在对称区间上，奇函数的单调性相同，欧函数相反；，如果一个函数的图象关于原点对称，那么这个函数是奇函数；如果一个函数的图象关于y 轴对称，那么这个函数是偶函数，如果一个奇函数的定义域包括0，则必有f(0)=0;4若函数)(x f y =是偶函数，则)()(a x f a x f --=+；若函数)(a x f y +=是偶函数，则)()(a x f a x f +-=+. 5· 对于函数)(x f y =(R x ∈),)()(x b f a x f -=+恒成立,则函数)(x f 的对称轴是函数2ba x +=;两个函数)(a x f y +=与)(x b f y -= 的图象关于直线2ba x +=对称. 6·若)()(a x f x f +--=,则函数)(x f y =的图象关于点)0,2(a对称; 若)()(a x f x f +-=,则函数)(x f y =为周期为a 2的周期函数.7 多项式函数110()n n n n P x a x a xa --=+++的奇偶性 多项式函数()P x 是奇函数⇔()P x 的偶次项(即奇数项)的系数全为零.多项式函数()P x 是偶函数⇔()P x 的奇次项(即偶数项)的系数全为零. 8函数()y f x =的图象的对称性 (1)函数()y f x =的图象关于直线x a=对称()()f a x f a x ⇔+=- (2)()f a x f x ⇔-=.(2)函数()y f x =的图象关于直线2a b x +=对称()()f a mx f b mx ⇔+=- ()()f a b mx f mx ⇔+-=.9两个函数图象的对称性 (1)函数()y f x =与函数()y f x =-的图象关于直线0x =(即y 轴)对称.(2)函数()y f mx a =-与函数()y f b mx =-的图象关于直线2a bx m+=对称.(3)函数)(x f y =和)(1x f y -=的图象关于直线y=x 对称.10 若将函数)(x f y =的图象右移a 、上移b 个单位，得到函数b a x f y +-=)(的图象；若将曲线0),(=y x f 的图象右移a 、上移b 个单位，得到曲线0),(=--b y a x f 的图象.11 互为反函数的两个函数的关系a b f b a f =⇔=-)()(1.12若函数)(b kx f y +=存在反函数,则其反函数为])([11b x f ky -=-,并不是)([1b kx f y +=-,而函数)([1b kx f y +=-是])([1b x f ky -=的反函数.13 几个常见的函数方程 (1)正比例函数()f x cx =,()()(),(1)f x y f x f y f c +=+=. (2)指数函数()x f x a =,()()(),(1)0f x y f x f y f a +==≠. (3)对数函数()log a f x x =,()()(),()1(0,1)f xy f x f y f a a a =+=>≠.(4)幂函数()f x x α=,'()()(),(1)f xy f x f y f α==. (5)余弦函数()cos f x x =,正弦函数()sin g x x =，()()()()()f x y f x f y g x g y -=+，0()(0)1,lim 1x g x f x→==.14 几个函数方程的周期(约定a>0)（1）)()(a x f x f +=，则)(x f 的周期T=a ； （2）0)()(=+=a x f x f ，或)0)(()(1)(≠=+x f x f a x f ，或1()()f x a f x +=-(()0)f x ≠,或[]1(),(()0,1)2f x a f x =+∈,则)(x f 的周期T=2a ；(3))0)(()(11)(≠+-=x f a x f x f ，则)(x f 的周期T=3a ；.(4))()(1)()()(212121x f x f x f x f x x f -+=+且1212()1(()()1,0||2)f a f x f x x x a =⋅≠<-<，则)(x f 的周期T=4a ；(5)()()(2)(3)(4)f x f x a f x a f x a f x a +++++++()()(2)(3)(4)f x f x a f x a f x a f x a =++++,则)(x f 的周期T=5a ；(6))()()(a x f x f a x f +-=+，则)(x f 的周期T=6a.六 指数与对数1·分数指数幂(1)m na=（0,,am n N *>∈，且1n >）.(2)1mnm naa-=（0,,a m n N *>∈，且1n >）.2·根式的性质（1）n a =.（2）当na =；当n 为,0||,0a a a a a ≥⎧==⎨-<⎩. 3·有理指数幂的运算性质(1) (0,,)r s r s a a a a r s Q +⋅=>∈.(2)()(0,,)r s rs a a a r s Q =>∈.(3)()(0,0,)rr r ab a b a b r Q =>>∈.注： 若a ＞0，p 是一个无理数，则a p表示一个确定的实数．上述有理指数幂的运算性质，对于无理数指数幂都适用. 4·指数式与对数式的互化式log b a N b a N =⇔=(0,1,0)a a N >≠>.5·对数的换底公式log log log m a m N N a=(0a >,且1a ≠,0m >,且1m ≠,0N >).推论log log m n a a nb b m=(0a >,且1a >,,0m n >,且1m ≠,1n ≠,0N >).6·对数的四则运算法则若a ＞0，a ≠1，M ＞0，N ＞0，则(1)log ()log log a a a MN M N=+;(2)log log log aa a MM N N=-; (3)log log ()na a M n M n R =∈. 7·设函数)0)((log )(2≠++=a c bx ax x f m ,记ac b 42-=∆.若)(x f 的定义域为R ,则0>a ，且0<∆;若)(x f 的值域为R ,则0>a ，且0≥∆.对于0=a 的情形,需要单独检验.8·对数换底不等式及其推广若0a>,0b >,0x >,1x a ≠,则函数log ()ax y bx = (1)当a b >时,在1(0,)a 和1(,)a+∞上log ()ax y bx =为增函数.，(2)当a b <时,在1(0,)a 和1(,)a +∞上log ()ax y bx =为减函数.推论:设1n m >>，0p >，0a >，且1a ≠，则（1）log ()log m p m n p n++<.（2）2log log log 2a a a m nm n +<. 9·平均增长率的问题如果原来产值的基础数为N ，平均增长率为p ，则对于时间x 的总产值y ，有(1)x y N p =+.39.数列的同项公式与前n 项的和的关系11,1,2n n n s n a s s n -=⎧=⎨-≥⎩( 数列{}n a 的前n 项的和为12n n s a a a =+++).七 数列1·等差数列的通项公式*11(1)()n a a n d dn a d n N =+-=+-∈；其前n项和公式为1()2n n n a a s +=1(1)2n n na d -=+211()22d n a d n =+-. 2·等比数列的通项公式1*11()n nna a a q q n N q-==⋅∈； 其前n 项的和公式为11(1),11,1n n a q q s q na q ⎧-≠⎪=-⎨⎪=⎩或11,11,1n n a a qq q s na q -⎧≠⎪-=⎨⎪=⎩.3·等比差数列{}n a :11,(0)n n a qa d a b q +=+=≠的通项公式为1(1),1(),11n n n b n d q a bq d b q d q q -+-=⎧⎪=+--⎨≠⎪-⎩；其前n 项和公式为(1),(1)1(),(1)111n n nb n n d q s d q db n q q q q +-=⎧⎪=-⎨-+≠⎪---⎩..八 三角函数1·常见三角不等式（1）若(0,)2x π∈，则sin tan x x x <<. (2) 若(0,)2x π∈，则1sin cos x x <+≤(3) |sin ||cos |1x x +≥.2·同角三角函数的基本关系式22sin cos 1θθ+=，tan θ=θθcos sin ，tan 1cot θθ⋅=.3·正弦、余弦的诱导公式212(1)sin ,sin()2(1)s ,nn n co απαα-⎧-⎪+=⎨⎪-⎩212(1)s ,s()2(1)sin ,nn co n co απαα+⎧-⎪+=⎨⎪-⎩;tan tan tan()1tan tan αβαβαβ±±=.22sin()sin()sin sin αβαβαβ+-=-(平方正弦公式);22cos()cos()cos sin αβαβαβ+-=-.sin cos a b αα+=)αϕ+(辅助角ϕ所在象限由点(,)a b 的象限决定,tan baϕ= ).5·半角正余切公式：sin sin tan ,cot 21cos 1cos αααααα==+- 6·二倍角公式sin 2sin cos ααα=.2222cos 2cos sin 2cos 112sin ααααα=-=-=-.22tan tan 21tan ααα=-. 7·最简单的三角不等式及其解集sin (||1)(2arcsin ,2arcsin ),x a a x k a k a k Z πππ>≤⇔∈++-∈sin (||1)(2arcsin ,2arcsin ),x a a x k a k a k Z πππ<≤⇔∈--+∈cos (||1)(2arccos ,2arccos ),x a a x k a k a k Zππ>≤⇔∈-+∈cos (||1)(2arccos ,22arccos ),x a a x k a k a k Zπππ<≤⇔∈++-∈tan ()(arctan ,),2x a a R x k a k k Zπππ>∈⇒∈++∈tan ()(,arctan ),2x a a R x k k a k Z πππ<∈⇒∈-+∈角的变形：2()()2()()()ααβαββαβαβααββ=-++=+--=+-8·三倍角公式3sin 33sin 4sin 4sin sin()sin()33ππθθθθθθ=-=-+3cos34cos 3cos 4cos cos()cos()33ππθθθθθθ=-=-+323tan tan tan 3tan tan()tan()13tan 33θθππθθθθθ-==-+-9·三角函数的周期公式函数sin()y x ωϕ=+，x ∈R 及函数cos()y x ωϕ=+，x ∈R(A,ω,ϕ为常数，且A ≠0，ω＞0)的周期2T πω=；函数tan()y x ωϕ=+，,2x k k Z ππ≠+∈(A,ω,ϕ为常数，且A ≠0，ω＞0)的周期T πω=.10·正弦定理 2sin sin sin a b cR A B C===.11余弦定理2222cos a b c bc A =+-;2222cos b c a ca B =+-;2222cos c a b ab C =+-.12·面积定理（1）111222a b c Sah bh ch ===（a b c h h h 、、分别表示a 、b 、c 边上的高）.（2）111sin sin sin 222Sab C bc A ca B ===. (3)OABS ∆=.13·在三角形中有下列恒等式：①sin()sin A B C +=② tan tan tan tan .tan .tan A B C A B C ++=.14·简单的三角方程的通解sin (1)arcsin (,||1)kx a x k a k Z a π=⇔=+-∈≤. s 2arccos (,||1)co x a x k a k Z a π=⇔=±∈≤.tan arctan (,)x a x k a k Z a R π=⇒=+∈∈.特别地,有sin sin (1)()k k k Z αβαπβ=⇔=+-∈. s cos 2()co k k Z αβαπβ=⇔=±∈.tan tan ()k k Z αβαπβ=⇒=+∈.15·三角形内角和定理在△ABC 中，有()A B CC A B ππ++=⇔=-+222C A Bπ+⇔=-222()C A B π⇔=-+八 向量1·实数与向量的积的运算律设λ、μ为实数，那么 (1) 结合律：λ(μa )=(λμ)a ;(2)第一分配律：(λ+μ)a =λa +μa;(3)第二分配律：λ(a +b )=λa +λb .2·向量的数量积的运算律：(1) a ·b= b ·a （交换律）;(2)（λa ）·b=λ（a ·b ）=λa ·b =a ·（λb ）;(3)（a +b ）·c= a ·c +b ·c.3·平面向量基本定理如果e 1、e 2是同一平面内的两个不共线向量，那么对于这一平面内的任一向量，有且只有一对实数λ1、λ2，使得a=λ1e 1+λ2e 2． 不共线的向量e 1、e 2叫做表示这一平面内所有向量的一组基底． 4·向量平行的坐标表示 设a =11(,)x y ,b =22(,)x y ，且b≠0，则a b(b ≠0)12210x y x y ⇔-=.5·a 与b 的数量积(或内积)a ·b =|a ||b |cos θ．6·a ·b 的几何意义数量积a ·b 等于a 的长度|a |与b 在a 的方向上的投影|b |cos θ的乘积．7·平面向量的坐标运算(1)设a =11(,)x y ,b =22(,)x y ，则a+b=1212(,)x x y y ++. (2)设a =11(,)x y ,b =22(,)x y ，则a-b=1212(,)x x y y --. (3)设A11(,)x y ，B22(,)x y ,则2121(,)AB OB OA x x y y =-=--.(4)设a =(,),x y R λ∈，则λa=(,)x y λλ.(5)设a =11(,)x y ,b =22(,)x y ，则a ·b=1212()x x y y +.8·两向量的夹角公式cos θ=(a =11(,)x y ,b =22(,)x y ).9·平面两点间的距离公式,A Bd =||AB AB AB =⋅=11(,)x y ，B 22(,)x y ).10·向量的平行与垂直设a =11(,)x y ,b =22(,)x y ，且b ≠0，则A ||b ⇔b =λa12210x y x y ⇔-=.a ⊥b(a ≠0)⇔a ·b=012120x x y y ⇔+=.11·线段的定比分公式设111(,)P x y ，222(,)P x y ，(,)P x y 是线段12PP 的分点,λ是实数，且12PP PP λ=，则121211x x x y y y λλλλ+⎧=⎪⎪+⎨+⎪=⎪+⎩⇔121OP OP OP λλ+=+ ⇔12(1)OP tOP t OP =+-（11t λ=+）. 12·三角形的重心坐标公式△ABC 三个顶点的坐标分别为11A(x ,y )、22B(x ,y )、33C(x ,y ),则△ABC 的重心的坐标是123123(,)33x x x y y y G ++++.13·点的平移公式''''x x h x x h y y k y y k⎧⎧=+=-⎪⎪⇔⎨⎨=+=-⎪⎪⎩⎩''OP OP PP ⇔=+ . 注:图形F 上的任意一点P(x ，y)在平移后图形'F 上的对应点为'''(,)Px y ，且'PP 的坐标为(,)h k .14·“按向量平移”的几个结论（1）点(,)P x y 按向量a =(,)h k 平移后得到点'(,)P x h y k ++.(2) 函数()y f x =的图象C 按向量a =(,)h k 平移后得到图象'C ,则'C 的函数解析式为()y f x h k =-+.(3) 图象'C 按向量a =(,)h k 平移后得到图象C ,若C 的解析式()y f x =,则'C 的函数解析式为()y f x h k =+-. (4)曲线C :(,)0f x y =按向量a =(,)h k 平移后得到图象'C ,则'C 的方程为(,)0f x h y k --=.(5) 向量m =(,)x y 按向量a =(,)h k 平移后得到的向量仍然为m =(,)x y .15·三角形五“心”向量形式的充要条件设O 为ABC ∆所在平面上一点，角,,A B C 所对边长分别为,,a b c ，则（1）O 为ABC ∆的外心222OA OB OC ⇔==.（2）O 为ABC ∆的重心0OA OB OC ⇔++=. （3）O 为ABC ∆的垂心.OA OB OB OC OC OA ⇔⋅=⋅=⋅.（4）O 为ABC ∆的内心0aOA bOB cOC ⇔++=. （5）O 为ABC ∆的A ∠的旁心aOAbOB cOC ⇔=+.九 不等式1·常用不等式：（1）,a b R ∈⇒222a b ab +≥(当且仅当a ＝b 时取“=”号)．（2）,a b R +∈⇒2a b+≥(当且仅当a ＝b 时取“=”号)．（3）3333(0,0,0).ab c abc a b c ++≥>>>（4）柯西不等式22222()()(),,,,.a b c d ac bd a b c d R ++≥+∈（5）b a b a b a +≤+≤-.2·极值定理已知y x ,都是正数，则有（1）若积xy 是定值p ，则当y x =时和y x +有最小值p 2；（2）若和y x +是定值s ，则当y x =时积xy 有最大值241s . 推广 已知R y x ∈,，则有xy y x y x 2)()(22+-=+（1）若积xy 是定值,则当||y x -最大时,||y x +最大； 当||y x -最小时,||y x +最小.（2）若和||y x +是定值,则当||y x -最大时, ||xy 最小；当||y x -最小时, ||xy 最大.3·一元二次不等式20(0)ax bx c ++><或2(0,40)a b ac ≠∆=->，如果a 与2axbx c ++同号，则其解集在两根之外；如果a 与2ax bx c ++异号，则其解集在两根之间.简言之：同号两根之外，异号两根之间.121212()()0()x x x x x x x x x <<⇔--<<； 121212,()()0()x x x x x x x x x x <>⇔--><或.4·含有绝对值的不等式当a> 0时，有22x a x a a x a <⇔<⇔-<<.22x a x a x a >⇔>⇔>或x a <-.75.无理不等式（1()0()0()()f x g x f x g x ≥⎧⎪>⇔≥⎨⎪>⎩. （2）2()0()0()()0()0()[()]f x f x g x g x g x f x g x ≥⎧≥⎧⎪>⇔≥⎨⎨<⎩⎪>⎩或. （32()0()()0()[()]f x g x g x f x g x ≥⎧⎪<⇔>⎨⎪<⎩.5·指数不等式与对数不等式(1)当1a >时,()()()()f x g x a a f x g x >⇔>;()0log ()log ()()0()()a a f x f x g x g x f x g x >⎧⎪>⇔>⎨⎪>⎩.(2)当01a <<时,()()()()f x g x a a f x g x >⇔<;()0log ()log ()()0()()a a f x f x g x g x f x g x >⎧⎪>⇔>⎨⎪<⎩十 直线方程1·斜率公式①2121y y kx x -=-（111(,)P x y 、222(,)P x y ）.② k=tan α(α为直线倾斜角）2·直线的五种方程（1）点斜式 11()y y k x x -=- (直线l 过点111(,)P x y ，且斜率为k )．（2）斜截式y kx b =+(b 为直线l 在y 轴上的截距). （3）两点式 112121y y x x y y x x --=--(12y y ≠)(111(,)P x y 、222(,)P x y (12x x ≠)).(4)截距式 1x ya b+=(a b 、分别为直线的横、纵截距，0a b ≠、)（5）一般式 0Ax By C ++=(其中A 、B 不同时为0).5·两条直线的平行和垂直(1)若111:l y k x b =+，222:l y k x b =+ ①121212||,l l k k b b ⇔=≠;②12121l l k k ⊥⇔=-.(2)若1111:0l A x B y C ++=,2222:0l A x B y C ++=,且A 1、A 2、B 1、B 2都不为零,①11112222||A B C l l A B C ⇔=≠；②两直线垂直的充要条件是12120A A B B +=；即：12l l ⊥⇔12120A A B B +=.6·夹角公式(1)2121tan ||1k k k k α-=+.(111:l y k x b =+，222:l y k x b =+,121k k ≠-)(2)12211212tan ||A B A B A A B B α-=+. (1111:0l A x B y C ++=,2222:0l A x B y C ++=,12120A A B B +≠).直线12l l ⊥时，直线l 1与l 2的夹角是2π. 7·1l 到2l 的角公式(1)2121tan 1k k k k α-=+.(111:l y k x b =+，222:l y k x b =+,121k k ≠-)(2)12211212tan A B A B A A B B α-=+.(1111:0l A x B y C ++=,2222:0l A x B y C ++=,12120A A B B +≠).直线12l l ⊥时，直线l 1到l 2的角是2π.8·四种常用直线系方程(1)定点直线系方程：经过定点000(,)P x y 的直线系方程为00()y y k x x -=-(除直线0x x =),其中k 是待定的系数; 经过定点000(,)P x y 的直线系方程为00()()0A x x B y y -+-=,其中,A B 是待定的系数．(2)共点直线系方程：经过两直线1111:0l A x B y C ++=,2222:0l A x B y C ++=的交点的直线系方程为111222()()0A x B y C A x B y C λ+++++=(除2l )，其中λ是待定的系数．(3)平行直线系方程：直线y kx b =+中当斜率k 一定而b 变动时，表示平行直线系方程．与直线0Ax By C ++=平行的直线系方程是0Ax By λ++=(0λ≠)，λ是参变量．(4)垂直直线系方程：与直线0Ax By C ++= (A ≠0，B ≠0)垂直的直线系方程是0Bx Ay λ-+=,λ是参变量．9·点到直线的距离d =(点00(,)P x y ,直线l：0Ax By C ++=).10·0Ax By C ++>或0<所表示的平面区域设直线:0l Ax By C ++=，若A>0,则在坐标平面内从左至右的区域依次表示Ax By C ++<，0Ax By C ++>，若A<0,则在坐标平面内从左至右的区域依次表示 0Ax By C ++>，0Ax By C ++<，可记为“x 为正开口对，X 为负背靠背“。

关于平面几何的60条著名定理一些平面几何的著名定理1、勾股定理（毕达哥拉斯定理）2、射影定理（欧几里得定理）3、三角形的三条中线交于一点，并且，各中线被这个点分成2：1的两部分4、四边形两边中心的连线的两条对角线中心的连线交于一点5、间隔的连接六边形的边的中心所作出的两个三角形的重心是重合的。

6、三角形各边的垂直一平分线交于一点。

7、三角形的三条高线交于一点8、设三角形ABC的外心为O，垂心为H，从O向BC边引垂线，设垂足为L，则AH=2OL9、三角形的外心，垂心，重心在同一条直线（欧拉线）上。

10、（九点圆或欧拉圆或费尔巴赫圆）三角形中，三边中心、从各顶点向其对边所引垂线的垂足，以及垂心与各顶点连线的中点，这九个点在同一个圆上，11、欧拉定理：三角形的外心、重心、九点圆圆心、垂心依次位于同一直线（欧拉线）上12、库立奇*大上定理：（圆内接四边形的九点圆）圆周上有四点，过其中任三点作三角形，这四个三角形的九点圆圆心都在同一圆周上，我们把过这四个九点圆圆心的圆叫做圆内接四边形的九点圆。

13、（内心）三角形的三条内角平分线交于一点，内切圆的半径公式：r=(s-a)(s-b)(s-c)s，s为三角形周长的一半14、（旁心）三角形的一个内角平分线和另外两个顶点处的外角平分线交于一点15、中线定理：（巴布斯定理）设三角形ABC的边BC的中点为P，则有AB2+AC2=2(AP2+BP2)16、斯图尔特定理：P将三角形ABC的边BC内分成m:n，则有nXAB2+mXAC2=(m+n)AP2+mnm+nBC217、波罗摩及多定理：圆内接四边形ABCD的对角线互相垂直时，连接AB中点M和对角线交点E的直线垂直于CD18、阿波罗尼斯定理：到两定点A、B的距离之比为定比m:n（值不为1）的点P，位于将线段AB分成m:n的内分点C和外分点D为直径两端点的定圆周上19、托勒密定理：设四边形ABCD内接于圆，则有ABXCD+ADXBC=ACXBD20、以任意三角形ABC的边BC、CA、AB为底边，分别向外作底角都是30度的等腰△BDC、△CEA、△AFB，则△DEF是正三角形，21、爱尔可斯定理1：若△ABC和△DEF都是正三角形，则由线段AD、BE、CF的中心构成的三角形也是正三角形。

高中平面几何定理汇总及证明1.共边比例定理有公共边AB的两个三角形的顶点分别是P、Q，AB与PQ的连线交于点M，则有以下比例式成立：△ PAB的面积：△ QAB的面积＝PM：QM.证明：分如下四种情况，分别作三角形高，由相似三角形可证S△PAB=(S△PAM-S△PMB)=(S△PAM/S△PMB-1)×S△PMB=(AM/BM-1)×S△PMB(等高底共线，面积比=底长比）同理，S△QAB=(AM/BM-1)×S△QMB所以，S△PAB/S△QAB=S△PMB/S△QMB=PM/QM(等高底共线，面积比=底长比）定理得证！特殊情况：当PB∥AQ时，易知△PAB与△QAB的高相等，从而S△PAB=S△QAB，反之，S△PAB=S△QAB，则PB∥AQ。

2.正弦定理在任意一个平面三角形中，各边和它所对角的值的比相等且等于外接圆半径的2倍”，即a/sinA=b/sinB=c/sinC= 2r=R（r为外接圆半径，R为直径）证明：现将△ABC，做其，设为O。

我们考虑△C及其对边AB。

设AB长度为c。

若∠C为直角，则AB就是⊙O的直径，即c= 2r。

△（特殊角正弦函数值）△若∠C为锐角或钝角，过B作直径BC`交⊙O于C`，连接C'A，显然BC'= 2r=R。

若∠C为，则C'与C落于AB的同侧，此时∠C'=∠C（同弧所对的圆周角相等）∴在Rt△ABC'中有若∠C为，则C'与C落于AB的异侧，BC的对边为a，此时∠C'=∠A，亦可推出。

考虑同一个三角形内的三个角及三条边，同理，分别列式可得。

在△ABC中，D是边BC上异于B,C或其延长线上的一点，连结AD ，则有BD/CD=(sin∠BAD/sin∠CAD)*(AB/AC)。

证明：S△ABD/S△ACD=BD/CD…………(1.1)S△ABD/S△ACD=[(1/2)×AB×AD×sin∠BAD]/[(1/2) ×AC×AD×sin∠CAD]= (sin∠BAD/sin∠CAD) ×(AB/AC)…………(1.2)由1.1式和1.2式得BD/CD=(sin∠BAD/sin∠CAD) ×(AB/AC)4.张角定理在△ABC中，D是BC上的一点，连结AD。

lmβααba立体几何的八大定理一、线面平行的判定定理：线线平行⇒线面平行文字语言：如果平面外的一条直线与平面内的一条直线平行，则这条直线与平面平行.符号语言：//a b a b αα⊄⎫⎪⊂⎬⎪⎭⇒//a α关键点：在平面内找一条与平面外的直线平行的线 二、线面平行的性质定理：线面平行⇒线线平行文字语言：如果一条直线和一个平面平行，经过这条直线的平面和这个平面相交，那么这条直线就和交线平行.符号语言：//l l m αβαβ⎫⎪⊂⎬⎪⋂=⎭⇒//l m关键点：需要借助一个经过已知直线的平面，接着找交线。

三、面面平行的判定定理：线面平行⇒ 面面平行文字语言：如果一个平面内有两条相交直线都平行于另一个平面，那么这两个平面平行．符号语言：//a b a b A a b αααβββ⊂⎫⎪⊂⎪⎪=⇒⎬⎪⎪⎪⎭∥∥ 关键点：在要证明面面平行的其中一个面内找两条相交直线和另一面线面平行。

四、面面平行的性质定理: 面面平行⇒线线平行、面面平行⇒线面平行 文字语言：如果两个平行平面同时和第三个平面相交,那么所得的两条交线平行. 符号语言:////a a b b αβαγβγ⎫⎪⋂=⇒⎬⎪⋂=⎭关键点：找第三个平面与已知平面都相交，则交线平行文字语言：如果两个平面平行，那么其中一个平面内的任意一条直线平行于另一个平面.符号语言://,//a a αβαβ⊂⇒ 关键：只要是其中一个平面内的直线就行nmAαaBA l βαaβα五、线面垂直的判定定理：线线垂直⇒线面垂直文字语言：如果一条直线和一个平面内的两条相交直线垂直，那么这条直线垂直于这个平面.符号语言：,a ma n a m n A m n ααα⊥⎫⎪⊥⎪⇒⊥⎬⋂=⎪⎪⊂⊂⎭关键点：在平面内找两条相交直线与所要证的直线垂直 六、线面垂直的性质定理：线面垂直⇒线线垂直文字语言：若一条直线垂直于一个平面，则这条直线垂直平面内的任意一条直线.符号语言：l l a a αα⊥⎫⇒⊥⎬⊂⎭关键点：往往线面垂直中的线线垂直需要用这个定理推出 七、平面与平面垂直的判定定理：线面垂直⇒面面垂直文字语言：如果一个平面经过另一个平面的一条垂线，则这两个平面互相垂直.（如果一条直线垂直于一个平面，并且有另一个平面经过这条直线，那么这两个平面垂直）符号表示：a a ααββ⊥⎫⇒⊥⎬⊂⎭关键点：在需要证明的两个平面中找线面垂直八、平面与平面垂直的性质定理：面面垂直⇒线面垂直文字语言：如果两个平面互相垂直，那么在一个平面内垂直于它们的交线的直线垂直于另一个平面.符号语言：l AB AB AB lαβαββα⊥⎫⎪=⎪⇒⊥⎬⊂⎪⎪⊥⎭关键点：先找交线，再在其中一个面内找与交线垂直的线。

目录一、平面几何定理 (2)1、三角形 (2)（1）、重心 (2)（2）、垂心 (5)（3）、内心 (10)（4）、外心 (16)（5）、基本定理及其它性质 (23)○1、正弦定理 (23)○2、余弦定理 (23)○3、正切定理 (23)○4、半角定理 (24)○5、面积公式 (24)○6、三角函数 (24)2、圆 (25)垂径定理、圆周定理、切线长定理、弦切角定理、相交弦定理、割线定理、切割线定理3、重要的几何定理（1）、托勒密定理 (26)（2）、塞瓦定理 (27)（3）、梅涅劳斯定理 (28)（4）、斯特瓦尔特定理 (29)（5）、张角定理 (29)二、反演变换 (29)三、数形结合 (33)一、平面几何定理1、三角形（1）三角形的重心三角形的中线是接三角形顶点和它的对边中点的线段。

每个三角形都有三条中线，它们都在三角形的内部 [1]。

在三角形中，三条中线的交点是三角形的重心。

三角形的三条中线交于一点，这点位于各中线的三分之二处。

3/4。

这样就构成了由中线组成的三角形，两个三角形共同的元素为○7.重心和三角形3个顶点组成的3个三角形面积相等。

证明：S△AMB= S△BMC= S△CMA△AMB和△BMC以BM为底边，分别以AD、CE为高，易知AD＝CE∴S△AMB= S△BMC同理S△BMC= S△CMA○8.重心到三角形3个顶点距离的平方和最小。

证明（物理法）由平方和联想到转动惯量I＝mr2(其中m是其质量，r 是质点和转轴的垂直距离),根据转动惯量平行轴定理，可知质元绕过形心之轴的转动惯量是绕该束平行轴诸转动惯量中的最小者。

而对于密度相同的平面来说，形心与重心重合，所以重心到三角形3个顶点距离的平方和最小。

证明（代数法）建立直角坐标系,为了方便,三角形的A顶点作为坐标原点（0,0）,AB边在X轴上,B点坐标（b,0）好算,然后设出C点的坐标(m,n)；再设三角形内的任意一点为（x,y）(x2+y2)+[(x-b)2+y2]+[(x-m)2+(y-n)2]=3x2+3y2-2bx-2mx-2ny+b2+m2+n2=3x2-2(b+m)x+3y2-2ny+b2+m2+n2=3[x-(b+m)/3]2+3(y-n/3)2+ b2+m2+n2-(b+m)2/3-n2/3 只有当2个平方项全等于0时，才最小。

初中平面几何重要定理汇总1、勾股定理(毕达哥拉斯定理)（直角三角形的两直角边分别是a、b，斜边是c；则a*a+b*b=c*c）2、射影定理(欧几里得定理)(直角三角形中，斜边上的高是两直角边在斜边上射影的比例中项。

每一条直角边是这条直角边在斜边上的射影和斜边的比例中项。

公式Rt△ABC 中,∠BAC=90°,AD是斜边BC上的高,则有射影定理如下:(1)(AD)^2;=BD·DC,(2)(AB)^2;=BD·BC , (3)(AC)^2;=CD·BC 。

等积式(4)ABXAC=BCXAD(可用面积来证明))3、三角形的三条中线交于一点，并且，各中线被这个点分成2：1的两部分4、四边形两边中心的连线的两条对角线中心的连线交于一点5、间隔的连接六边形的边的中心所作出的两个三角形的重心是重合的。

6、三角形各边的垂直一平分线交于一点。

7、三角形的三条高线交于一点8、设三角形ABC的外心为O，垂心为H，从O向BC边引垂线，设垂足为L，则AH=2OL9、三角形的外心，垂心，重心在同一条直线(欧拉线)上。

10、(九点圆或欧拉圆或费尔巴赫圆)三角形中，三边中心、从各顶点向其对边所引垂线的垂足，以及垂心与各顶点连线的中点，这九个点在同一个圆上，11、欧拉定理：三角形的外心、重心、九点圆圆心、垂心依次位于同一直线(欧拉线)上12、库立奇*大上定理：(圆内接四边形的九点圆)圆周上有四点，过其中任三点作三角形，这四个三角形的九点圆圆心都在同一圆周上，我们把过这四个九点圆圆心的圆叫做圆内接四边形的九点圆。

13、(内心)三角形的三条内角平分线交于一点，内切圆的半径公式：r=(s-a)(s-b)(s-c)s，s为三角形周长的一半14、(旁心)三角形的一个内角平分线和另外两个顶点处的外角平分线交于一点15、中线定理：(巴布斯定理)设三角形ABC的边BC的中点为P，则有AB2+AC2=2(AP2+BP2)16、斯图尔特定理：P将三角形ABC的边BC内分成m:n，则有n×AB2+m×AC2=(m+n)AP2+mnm+nBC217、波罗摩及多定理：圆内接四边形ABCD的对角线互相垂直时，连接AB中点M和对角线交点E的直线垂直于CD18、阿波罗尼斯定理：到两定点A、B的距离之比为定比m:n(值不为1)的点P，位于将线段AB分成m:n的内分点C和外分点D为直径两端点的定圆周上19、托勒密定理：设四边形ABCD内接于圆，则有AB×CD+AD×BC=AC×BD20、以任意三角形ABC的边BC、CA、AB为底边，分别向外作底角都是30度的等腰△BDC、△CEA、△AFB，则△DEF是正三角形，21、爱尔可斯定理1：若△ABC和△DEF都是正三角形，则由线段AD、BE、CF的中心构成的三角形也是正三角形。

平面几何中几个重要定理及其证明一、 塞瓦定理1．塞瓦定理及其证明定理：在∆ABC 内一点P ，该点与∆ABC 的三个顶点相连所在的三条直线分别交∆ABC 三边AB 、BC 、CA 于点D 、E 、F ，且D 、E 、F 三点均不是∆ABC 的顶点，则有1AD BE CFDB EC FA⋅⋅=． 证明：运用面积比可得ADCADP BDP BDCS S AD DB S S ∆∆∆∆==． 根据等比定理有ADC ADC ADP APCADP BDP BDC BDC BDP BPCS S S S S S S S S S ∆∆∆∆∆∆∆∆∆∆-===-，所以APCBPC S AD DB S ∆∆=．同理可得APB APCS BE EC S ∆∆=，BPCAPB S CF FA S ∆∆=． 三式相乘得1AD BE CFDB EC FA⋅⋅=． 注：在运用三角形的面积比时，要把握住两个三角形是“等高”还是“等底”，这样就可以产生出“边之比”．ABCD FP2．塞瓦定理的逆定理及其证明定理：在∆ABC 三边AB 、BC 、CA 上各有一点D 、E 、F ，且D 、E 、F 均不是∆ABC 的顶点，若1AD BE CFDB EC FA⋅⋅=，那么直线CD 、AE 、BF 三线共点．证明：设直线AE 与直线BF 交于点P ，直线CP 交AB 于点D /，则据塞瓦定理有//1AD BE CFD B EC FA⋅⋅=． 因为1AD BE CFDB EC FA⋅⋅=，所以有//AD AD DB D B=．由于点D 、D /都在线段AB 上，所以点D 与D /重合．即得D 、E 、F 三点共线．注：利用唯一性，采用同一法，用上塞瓦定理使命题顺利获证． 二、 梅涅劳斯定理3．梅涅劳斯定理及其证明 定理：一条直线与∆ABC 的三边AB 、BC 、CA 所在直线分别交于点D 、E 、F ，且D 、E 、F 均不是∆ABC 的顶点，则有1AD BE CFDB EC FA⨯⨯=．ABCD EFPD /ABCD EFG证明：如图，过点C 作AB 的平行线，交EF 于点G ．因为CG // AB ，所以CG CFAD FA= ————（1） 因为CG // AB ，所以CG ECDB BE= ————（2） 由（1）÷（2）可得DB BE CFAD EC FA=⋅，即得1AD BE CF DB EC FA ⋅⋅=． 注：添加的辅助线CG 是证明的关键“桥梁”，两次运用相似比得出两个比例等式，再拆去“桥梁”（CG ）使得命题顺利获证．4．梅涅劳斯定理的逆定理及其证明定理：在∆ABC 的边AB 、BC 上各有一点D 、E ，在边AC 的延长线上有一点F ，若1AD BE CFDB EC FA⋅⋅=， 那么，D 、E 、F 三点共线．证明：设直线EF 交AB 于点D /，则据梅涅劳斯定理有//1AD BE CFD B EC FA⋅⋅=． 因为1AD BE CF DB EC FA⋅⋅=，所以有//AD AD DB D B =．由于点D 、D /都在线段AB 上，所以点D 与D /重合．即得D 、E 、F 三点共线．注：证明方法与上面的塞瓦定理的逆定理如出一辙，注意分析其相似后面的规律．AB CDEFD /三、 托勒密定理5．托勒密定理及其证明定理：凸四边形ABCD 是某圆的内接四边形，则有 AB ·CD + BC ·AD = AC ·BD ．证明：设点M 是对角线AC 与BD 的交点，在线段BD 上找一点，使得∠DAE =∠BAM ．因为∠ADB =∠ACB ，即∠ADE =∠ACB ，所以∆ADE ∽∆ACB ，即得AD DEAC BC=，即AD BC AC DE ⋅=⋅ ————（1） 由于∠DAE =∠BAM ，所以∠DAM =∠BAE ，即∠DAC =∠BAE 。

初等几何选讲复习资料二平面几何定理及公式1 过两点有且只有一条直线２两点之间线段最短3 同角或等角的补角相等４同角或等角的余角相等5过一点有且只有一条直线和已知直线垂直6 直线外一点与直线上各点连接的所有线段中,垂线段最短7 平行公理经过直线外一点,有且只有一条直线与这条直线平行8假如两条直线都和第三条直线平行,这两条直线也互相平行9 同位角相等,两直线平行１0 内错角相等,两直线平行11 同旁内角互补,两直线平行12两直线平行,同位角相等13两直线平行,内错角相等１4 两直线平行,同旁内角互补15 定理三角形两边的和大于第三边16 推论三角形两边的差小于第三边１７三角形内角和定理三角形三个内角的和等于１8０°18 推论１直角三角形的两个锐角互余1９推论2 三角形的一个外角等于和它不相邻的两个内角的和２０推论3 三角形的一个外角大于任何一个和它不相邻的内角2１全等三角形的对应边、对应角相等22边角边公理(SAS) 有两边和它们的夹角对应相等的两个三角形全等23 角边角公理( ASA)有两角和它们的夹边对应相等的两个三角形全等２4 推论(AＡS) 有两角和其中一角的对边对应相等的两个三角形全等２5边边边公理(ＳSS)有三边对应相等的两个三角形全等２6 斜边、直角边公理(HL) 有斜边和一条直角边对应相等的两个直角三角形全等27定理1 在角的平分线上的点到这个角的两边的距离相等28 定理2 到一个角的两边的距离相同的点,在这个角的平分线上２９角的平分线是到角的两边距离相等的所有点的集合３0等腰三角形的性质定理等腰三角形的两个底角相等(即等边对等角)31推论1 等腰三角形顶角的平分线平分底边同时垂直于底边3２等腰三角形的顶角平分线、底边上的中线和底边上的高互相重合3３推论3等边三角形的各角都相等,同时每一个角都等于60°3４等腰三角形的判定定理假如一个三角形有两个角相等,那么这两个角所对的边也相等(等角对等边)3５推论1 三个角都相等的三角形是等边三角形36 推论 2 有一个角等于6０°的等腰三角形是等边三角形37在直角三角形中,假如一个锐角等于30°那么它所对的直角边等于斜边的一半38 直角三角形斜边上的中线等于斜边上的一半39 定理线段垂直平分线上的点和这条线段两个端点的距离相等4０逆定理和一条线段两个端点距离相等的点,在这条线段的垂直平分线上41 线段的垂直平分线可看作和线段两端点距离相等的所有点的集合4２定理1 关于某条直线对称的两个图形是全等形43 定理 2 假如两个图形关于某直线对称,那么对称轴是对应点连线的垂直平分线4４定理3两个图形关于某直线对称,假如它们的对应线段或延长线相交,那么交点在对称轴上４5逆定理假如两个图形的对应点连线被同一条直线垂直平分,那么这两个图形关于这条直线对称46勾股定理直角三角形两直角边a、b的平方和、等于斜边ｃ的平方,即a^2＋b^2=c^２47勾股定理的逆定理假如三角形的三边长a、ｂ、c有关系ａ^２+b^2＝c＾2,那么这个三角形是直角三角形48定理四边形的内角和等于３60°49四边形的外角和等于3６0°50多边形内角和定理ｎ边形的内角的和等于(n-2)×18０°51推论任意多边的外角和等于36０°52平行四边形性质定理1 平行四边形的对角相等53平行四边形性质定理2 平行四边形的对边相等54推论夹在两条平行线间的平行线段相等5５平行四边形性质定理３平行四边形的对角线互相平分56平行四边形判定定理1两组对角分别相等的四边形是平行四边形57平行四边形判定定理２两组对边分别相等的四边形是平行四边形58平行四边形判定定理3 对角线互相平分的四边形是平行四边形59平行四边形判定定理４一组对边平行相等的四边形是平行四边形６０矩形性质定理１矩形的四个角都是直角6１矩形性质定理２矩形的对角线相等62矩形判定定理１有三个角是直角的四边形是矩形６3矩形判定定理２对角线相等的平行四边形是矩形６４菱形性质定理1菱形的四条边都相等65菱形性质定理2 菱形的对角线互相垂直,同时每一条对角线平分一组对角６6菱形面积=对角线乘积的一半,即S=(a×b)÷２67菱形判定定理1四边都相等的四边形是菱形68菱形判定定理2 对角线互相垂直的平行四边形是菱形69正方形性质定理1正方形的四个角都是直角,四条边都相等7０正方形性质定理２正方形的两条对角线相等,同时互相垂直平分,每条对角线平分一组对角7１定理1关于中心对称的两个图形是全等的７2定理2 关于中心对称的两个图形,对称点连线都经过对称中心,同时被对称中心平分73逆定理假如两个图形的对应点连线都经过某一点,同时被这一点平分,那么这两个图形关于这一点对称74等腰梯形性质定理等腰梯形在同一底上的两个角相等75等腰梯形的两条对角线相等76等腰梯形判定定理在同一底上的两个角相等的梯形是等腰梯形77对角线相等的梯形是等腰梯形78平行线等分线段定理假如一组平行线在一条直线上截得的线段相等,那么在其他直线上截得的线段也相等79 推论1 经过梯形一腰的中点与底平行的直线,必平分另一腰80 推论2经过三角形一边的中点与另一边平行的直线,必平分第三边81三角形中位线定理三角形的中位线平行于第三边,同时等于它的一半82 梯形中位线定理梯形的中位线平行于两底,同时等于两底和的一半L=(a+b)÷2 S＝L×h8３(１)比例的基本性质假如a:b=c:ｄ,那么aｄ=bc假如ad=bc,那么a:b＝ｃ:d84 (2)合比性质假如a／b=ｃ／d,那么(a±b)/b=(ｃ±d)/d85 (3)等比性质假如a／b=c/ｄ=…=ｍ/n(b+d+…+n≠0),那么(a+c+…＋m)／(b+d+…+n)=a／b86平行线分线段成比例定理三条平行线截两条直线,所得的对应线段成比例87 推论平行于三角形一边的直线截其他两边(或两边的延长线),所得的对应线段成比例8８定理假如一条直线截三角形的两边(或两边的延长线)所得的对应线段成比例,那么这条直线平行于三角形的第三边89 平行于三角形的一边,同时和其他两边相交的直线,所截得的三角形的三边与原三角形三边对应成比例90 定理平行于三角形一边的直线和其他两边(或两边的延长线)相交,所构成的三角形与原三角形相似９1 相似三角形判定定理1 两角对应相等,两三角形相似(ASA)9２直角三角形被斜边上的高分成的两个直角三角形和原三角形相似93 判定定理２两边对应成比例且夹角相等,两三角形相似(ＳＡS)94 判定定理３三边对应成比例,两三角形相似(SSＳ)9５定理假如一个直角三角形的斜边和一条直角边与另一个直角三角形的斜边和一条直角边对应成比例,那么这两个直角三角形相似96 性质定理1 相似三角形对应高的比,对应中线的比与对应角平分线的比都等于相似比97 性质定理2 相似三角形周长的比等于相似比98 性质定理３相似三角形面积的比等于相似比的平方9９任意锐角的正弦值等于它的余角的余弦值,任意锐角的余弦值等于它的余角的正弦值1０0任意锐角的正切值等于它的余角的余切值,任意锐角的余切值等于它的余角的正切值101圆是定点的距离等于定长的点的集合１0２圆的内部能够看作是圆心的距离小于半径的点的集合１03圆的外部能够看作是圆心的距离大于半径的点的集合104同圆或等圆的半径相等１05到定点的距离等于定长的点的轨迹,是以定点为圆心,定长为半径的圆１06和已知线段两个端点的距离相等的点的轨迹,是着条线段的垂直平分线1０7到已知角的两边距离相等的点的轨迹,是这个角的平分线1０8到两条平行线距离相等的点的轨迹,是和这两条平行线平行且距离相等的一条直线１０9定理不在同一直线上的三点确定一个圆。

1． 中线定理（巴布斯定理）设△ABC 的边BC 的中点为P ，则有)(22222BP AP AC AB +=+； 中线长：222222a c b m a -+=2． 角平分线定理：三角形一个角的平分线分对边所成的两条线段与这个角的两边对应成比例．如△ABC 中，AD 平分∠BAC ，则ACAB DC BD =；（外角平分线定理） 3． 正弦定理：R Cc B b A a 2sin sin sin ===，（其中R 为三角形外接圆半径） 4． 余弦定理：C ab b a c cos 2222-+=5． 布拉美古塔（Brahmagupta ）定理： 在圆内接四边形ABCD 中，AC ⊥BD ，自对角线的交点P 向一边作垂线，其延长线必平分对边6． 托勒密（Ptolemy ）定理：圆内接四边形对角线之积等于两组对边乘积之和，即AC ·BD =AB ·CD +AD ·BC ，(逆命题成立) ．（广义托勒密定理）AB ·CD +AD ·BC ≥AC ·BD7． 蝴蝶定理：AB 是⊙O 的弦，M 是其中点，弦CD 、EF 经过点M ，CF 、DE 交AB 于P 、Q ，则有：MP =QM ．8． 欧拉（Euler ）公式：设三角形的外接圆半径为R ，内切圆半径为r ，外心与内心的距离为d ，则d 2=R 2－2Rr ．重心性质：①设G 为△ABC 的重心，连结AG 并延长交BC 于D ，则D 为BC 的中点，则1:2:=GD AG ； ②设G 为△ABC 的重心，则ABC ACG BCG ABG S S S S ∆∆∆∆===31③设G 为△ABC 的重心，过G 作DE ∥BC 交AB 于D ，交AC 于E ，过G 作PF ∥AC 交AB 于P ，交BC 于F ，过G 作HK ∥AB 交AC 于K ，交BC 于H ，则2;32=++===ABKH CA FP BC DE AB KH CA FP BC DE ④到三角形三顶点距离的平方和最小的点是重心，即222GC GB GA ++最小；⑤三角形内到三边距离之积最大的点是重心；反之亦然（即满足上述条件之一，则G 为△ABC 的重心）．11． 垂心性质：（1）三角形任一顶点到垂心的距离，等于外心到对边的距离的2倍（2）垂心H 关于△ABC 的三边的对称点，均在△ABC 的外接圆上；（3）△ABC 的垂心为H ，则△ABC ，△ABH ，△BCH ，△ACH 的外接圆是等圆；（4）设O ，H 分别为△ABC 的外心和垂心， HCA BCO ABH CBO HAC BAO ∠=∠∠=∠∠=∠,,12． 内心：三角形的三条角分线的交点—内接圆圆心，即内心到三角形各边距离相等内心性质：（1）设I 为△ABC 的内心，则I 到△ABC 三边的距离相等，反之亦然（2）设I 为△ABC 的内心，则C AIB B AIC A BIC ∠+︒=∠∠+︒=∠∠+︒=∠2190,2190,219013． 外心：三角形的三条中垂线的交点——外接圆圆心，即外心到三角形各顶点距离相等；外心性质：（1）外心到三角形各顶点距离相等（2）设O 为△ABC 的外心，则A BOC ∠=∠2或A BOC ∠-︒=∠2360（3）∆=S abcR 4；（4）锐角三角形的外心到三边的距离之和等于其内切圆与外接圆半径之和14．其中a h 表示BC 边上的高，R 为外接圆半径，r 为内切圆半径，)(21c b a p ++= 1920·两条直线的平行和垂直(1)若111:l y k x b =+，222:l y k x b =+①121212||,l l k k b b ⇔=≠;②12121l l k k ⊥⇔=-.21·点到直线的距离d =(点00(,)P x y ,直线l ：0Ax By C ++=).。

平面几何中几个重要定理及其证明一、塞瓦定理1．塞瓦定理及其证明定理：在∆ABC 内一点P ，该点与∆ABC 的三个顶点相连所在的三条直线分别交∆ABC 三边AB 、BC 、CA 于点D 、E 、F ，且D 、E 、F 三点均不是∆ABC 的顶点，则有1AD BE CFDB EC FA⋅⋅=． 证明：运用面积比可得ADCADP BDP BDCS S AD DB S S ∆∆∆∆==． 根据等比定理有ADC ADC ADP APCADP BDP BDC BDC BDP BPC S S S S S S S S S S ∆∆∆∆∆∆∆∆∆∆-===-，所以APCBPC S AD DB S ∆∆=．同理可得APBAPC S BE EC S ∆∆=，BPC APB S CF FA S ∆∆=．三式相乘得1AD BE CFDB EC FA⋅⋅=． 注：在运用三角形的面积比时，要把握住两个三角形是“等高”还是“等底”，这样就可以产生出“边之比”．2．塞瓦定理的逆定理及其证明定理：在∆ABC 三边AB 、BC 、CA 上各有一点D 、E 、ABCD EFPF ，且D 、E 、F 均不是∆ABC 的顶点，若1AD BE CFDB EC FA⋅⋅=，那么直线CD 、AE 、BF 三线共点．证明：设直线AE 与直线BF 交于点P ，直线CP 交AB 于点D /，则据塞瓦定理有//1AD BE CFD B EC FA⋅⋅=． 因为1AD BE CF DB EC FA⋅⋅=，所以有//AD AD DB D B =．由于点D 、D /都在线段AB 上，所以点D 与D /重合．即得D 、E 、F 三点共线．注：利用唯一性，采用同一法，用上塞瓦定理使命题顺利获证．二、梅涅劳斯定理3．梅涅劳斯定理及其证明 定理：一条直线与∆ABC 的三边AB 、BC 、CA 所在直线分别交于点D 、E 、F ，且D 、E 、F 均不是∆ABC 的顶点，则有1AD BE CFDB EC FA⨯⨯=．ABCD EFPD /ABCD EFG证明：如图，过点C 作AB 的平行线，交EF 于点G ． 因为CG // AB ，所以CG CFAD FA= ————（1） 因为CG // AB ，所以CG ECDB BE= ————（2） 由（1）÷（2）可得DB BE CFAD EC FA=⋅，即得1AD BE CF DB EC FA ⋅⋅=． 注：添加的辅助线CG 是证明的关键“桥梁”，两次运用相似比得出两个比例等式，再拆去“桥梁”（CG ）使得命题顺利获证．4．梅涅劳斯定理的逆定理及其证明定理：在∆ABC 的边AB 、BC 上各有一点D 、E ，在边AC 的延长线上有一点F ，若1AD BE CFDB EC FA⋅⋅=， 那么，D 、E 、F 三点共线．证明：设直线EF 交AB 于点D /，则据梅涅劳斯定理有//1AD BE CFD B EC FA⋅⋅=． 因为1AD BE CF DB EC FA⋅⋅=，所以有//AD AD DB D B =．由于点D 、D /都在线段AB 上，所以点D 与D /重合．即得D 、E 、F 三点共线．ABCD EFD /注：证明方法与上面的塞瓦定理的逆定理如出一辙，注意分析其相似后面的规律． 三、托勒密定理5．托勒密定理及其证明定理：凸四边形ABCD 是某圆的内接四边形，则有A B ·CD + B C ·AD = A C ·BD ． 证明：设点M 是对角线AC 与BD的交点，在线段BD 上找一点，使得∠DAE =∠BAM ．因为∠ADB =∠ACB ，即∠ADE =∠ACB ，所以∆ADE ∽∆ACB ，即得AD DEAC BC=，即AD BC AC DE ⋅=⋅ ————（1） 由于∠DAE =∠BAM ，所以∠DAM =∠BAE ，即∠DAC =∠BAE 。