数学奥赛-2(西姆松定理-欧拉线-九点圆)
高中数学竞赛 平面几何的几个重要定理——西姆松定理
ABC P BC AB AC D E F D E F ∆西姆松定理：若从外接圆上一点作、、的垂线，垂足分别为、、，则、、三点共线；9090180DE DF BDE FDC BDP BEP B E P D BDE BPE FDC PFCBEP PFC PCF PBA PBEBPE FPC BDE FDC D E F ∠=∠∠=∠=︒∴∴∠=∠∠=∠∠=∠=︒∠=︒-∠=∠∴∠=∠∴∠=∠∴证明：连接、，显然，只需证明即可；、、、四点共圆，同理可得：又且、、三点共线 ()P ABC L M N P ABC ∆∆西姆松的逆定理：从一点向的三边或它们的延长线作垂线，若其垂足、、在同一直线上，则在的外接圆上；ABC O O E C D Q R S O F B D P Q R P Q R S ∆∴证明：设的垂心为，则、、、四点共圆由西姆松定理有：、、三点共线又、、、四点共圆且由西姆松定理有：、、三点共线、、、四点共圆1.ABC AD BE CF D E F D AB BE CF AC P Q R S P Q R S ∆例设的三条垂线、、的垂足分别为、、；从点作、、、的垂线，其垂足分别为、、、，求证、、、在同一直线上；ABC O O E C D Q R S O F B D P Q R P Q R S ∆∴证明：设的垂心为，则、、、四点共圆由西姆松定理有：、、三点共线又、、、四点共圆且由西姆松定理有：、、三点共线、、、四点共圆2.ABCD D B AC AD E F EF BD ∠例四边形是圆内接四边形，且是直角，若从作直线、的垂线，垂足分别为、，则直线平分线段。
,90BG DC F E G BFD FDG DGB BFDG FG BD ⊥∠=∠=∠=︒∴∴证明：作由西姆松定理有：、、共线，又四边形为矩形对角线平分另一条对角线3.例求证：四条直线两两相交所构成的四个三角形的外接圆相交于一点，且由该点向四条直线所作垂线的垂足在一条直线上；180AB BC CD AD AB CD E BC AD F BCE CDF GBGF BGC CGF BEC CDABGF A ABF G AED GBCE CDF ABF AED G ∴∠=∠+∠=∠+∠∴∠+∠=︒∴证明：如图，设四条直线、、、中，交于点，交于点，圆与圆的另一个交点为，即圆过点同理圆也过点圆、圆、圆、圆交于同一点G AB BC CD DA E L M N P L M N M N P L M N P 若点向、、、所作垂线的垂足分别为、、、、，由西姆松定理可知、、在一条直线上，、、在一条直线上，故、、、在同一条直线上4.ABC PQ P Q ∆例设的外接圆的任意直径为，则关于、的西姆松线是互相垂直的。
数学竞赛定理
欧拉小定理：同一三角形的垂心、重心、外心，九点圆圆心四点共线，这条直线称为三角形的欧拉线；且外心与重心的距离等于垂心与重心距离的一半，九点圆圆心到垂心与重心距离相等。
欧拉大定理：△ABC 的外接圆圆心为O ，半径为R ，内切圆圆心为I ，半径为r,记OI=d,则有：d 2=R 2-2Rr九点圆：任意三角形三边的中点，三高的垂足及三顶点与垂心间线段的中点，共九个点共圆，这个圆称为三角形的九点圆；其圆心为三角形外心与垂心所连线段的中点，其半径等于三角形外接圆半径的一半。
费尔马点：已知P 为锐角△ABC 内一点，当∠APB ＝∠BPC ＝∠CPA ＝120°时，PA ＋PB ＋PC 的值最小，这个点P 称为△ABC 的费尔马点。
海伦公式：在△ABC 中，边BC 、CA 、AB 的长分别为a 、b 、c ，若p ＝21（a ＋b ＋c ），则△ABC 的面积S ＝))()((c p b p a p p ---塞瓦定理：在△ABC 中，过△ABC 的顶点作相交于一点P 的直线，分别交边BC 、CA 、AB 与点D 、E 、F ，则1=⋅⋅FBAF EA CE DC BD密格尔定理：若AE 、AF 、ED 、FB 四条直线相交于A 、B 、C 、D 、E 、F 六点，构成四个三角形，它们是△ABF 、△AED 、△BCE 、△DCF ，则这四个三角形的外接圆共点，这个点称为密格尔点。
葛尔刚定理:△ABC 的内切圆分别切边AB 、BC 、CA 于点D 、E 、F ，则AE 、BF 、CD 三线共点，这个点称为葛尔刚点。
西姆松定理：已知P 为△ABC 外接圆周上任意一点，PD ⊥BC ，PE ⊥ACPF ⊥AB ，D 、E 、F 为垂足，则D 、E 、F 三点共线，这条直线叫做西摩松线。
笛沙格定理：已知在△ ABC 与△A'B'C'中，AA'、BB'、CC'三线相交于点O ，BC 与B'C'、CA 与C'A'、AB 与A'B'分别相交于点X 、Y 、Z ，则X 、Y 、Z 三点共线摩莱三角形：在已知△ABC 三内角的三等分线中，分别与BC 、CA 、AB 相邻的每两线相交于点D 、E 、F ，则三角形DDE 是正三角形，这个正三角形称为摩莱三角形。
高中数学竞赛辅导之——托勒密定理和西姆松定理
托勒密定理和西姆松定理一、托勒密定理圆内接四边形中，两条对角线的乘积(两对角线所包矩形的面积)等于两组对边乘积之和(一组对边所包矩形的面积与另一组对边所包矩形的面积之和)．即：设四边形ABCD 内接于圆，则有；分析可设法把AC·BD拆成两部分，如把AC写成AE+EC，这样，AC·BD就拆成了两部分：AE·BD及EC·BD，于是只要证明AE·BD=AD·BC及EC·BD=AB·CD即可．证明在AC上取点E，使∠ADE=∠BDC，由∠DAE=∠DBC，得⊿AED∽⊿BCD．∴AE∶BC=AD∶BD，即AE·BD=AD·BC．⑴又∠ADB=∠EDC，∠ABD=∠ECD，得⊿ABD∽⊿ECD．∴AB∶ED=BD∶CD，即EC·BD=AB·CD．⑵⑴+⑵，得AC·BD=AB·CD+AD·BC．说明本定理的证明给证明ab=cd+ef的问题提供了一个典范．定理：在四边形ABCD 中，有，并且当且仅当四边形ABCD内接于圆时，等式成立。
【解析】在四边形ABCD内取点E，使，则：相似，所以，又因为且，所以相似，所以，所以，且等号当且仅当E在BD上时成立，即当且仅当A、B、C、D四点共圆时成立。
1.1 直接应用托勒密定理1．如图所示，P是正△ABC 外接圆的劣弧上任一点(不与B、C重合)，求证：．CA BCDE【解析】：此题证法甚多，一般是截长、补短，构造全等三角形，均为繁冗．若借助托勒密定理论证，则有PA·BC=PB·AC＋PC·AB，∵AB=BC=AC．∴PA=PB+PC．1. 2 完善图形借助托勒密定理2．如图，在△ABC中，∠A的平分线交外接圆于D，连结BD，求证：AD·BC=BD(AB＋AC)．【解析】：连结CD，依托勒密定理，有AD·BC＝AB·CD＋AC·BD．∵∠1=∠2，∴BD=CD．故AD·BC=AB·BD＋AC·BD=BD(AB＋AC)．3．证明“勾股定理”：在Rt△ABC中，∠B=90°，求证：【解析】：如图，作以Rt△ABC的斜边AC为一对角线的矩形ABCD，显然ABCD是圆内接四边形．由托勒密定理，有AC·BD=AB·CD＋AD·BC．①，又∵ABCD是矩形，∴AB=CD，AD=BC，AC=BD．②把②代人①，得．1.3 构造图形借助托勒密定理4．若a、b、x、y是实数，且．求证：．【解析】：如图作直径AB=1的圆，在AB两边任作Rt△ACB和Rt△ADB，使AC＝a，BC=b，BD＝x，AD＝y．由勾股定理知a、b、x、y是满足题设条件的．据托勒密定理，有AC·BD＋BC·AD=AB·CD．∵．1.4 巧变原式妙构图形，借助托勒密定理5．已知a、b、c是△ABC的三边，且，求证：∠A=2∠B．分析：将变形为a·a=b·b＋bc，从而联想到托勒密定理，进而构造一个等腰梯形，使两腰为b，两对角线为a，一底边为c．【解析】：如图，作△ABC的外接圆，以A为圆心，BC为半径作弧交圆于D，连结BD、DC、DA．∵AD=BC，∴∠ABD=∠BAC．又∵∠BDA=∠ACB(对同弧)，∴∠1=∠2．于是，则依托勒密定理，有BC·AD=AB·CD＋BD·AC．①，而已知，即．②，比较○1○2得，，，∴∠BAC=2∠ABC ．1.5 巧变形 妙引线 借肋托勒密定理6． 设A 1A 2A 3…A 7是圆内接正七边形，求证：1A 1A 2=1A 1A 3+1A 1A 4．(1987年第二十一届全苏)分析 注意到题目中要证的是一些边长之间的关系，并且是圆内接多边形，当然存在圆内接四边形，从而可以考虑用Ptolemy 定理． 证明 连A 1A 5，A 3A 5，并设A 1A 2=a ，A 1A 3=b ，A 1A 4=c ．本题即证1a =1b +1c．在圆内接四边形A 1A 3A 4A 5中，有A 3A 4=A 4A 5=a ，A 1A 3=A 3A 5=b ，A 1A 4=A 1A 5=c ．于是有ab +ac =bc ，同除以abc ，即得1a =1b +1c说明 Ptolemy 定理揭示了圆内接四边形中线段关系，在数学中应用非常广泛． 7． 在△ABC 中，已知∠A ∶∠B ∶∠C=1∶2∶4，求证：。
高中数学竞赛中平面几何涉及的定理
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)ss为三角形周长的一半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=AC20、以任意三角形ABC的边BC、CA、AB为底边，分别向外作底角都是30度的等腰△BDC、△CEA、△AFB，则△DEF是正三角形，21、爱尔可斯定理1：若△ABC和三角形△都是正三角形，则由线段AD、BE、CF的重心构成的三角形也是正三角形。
数学竞赛常用平面几何名定理
高中数学常用平面几何名定理定理1 Ptolemy定理托勒密(Ptolemy)定理四边形的两对边乘积之和等于其对角线乘积的充要条件是该四边形内接于一圆。
定理2 Ceva定理定理3 Menelaus定理定理4 蝴蝶定理定理内容：圆O中的弦PQ的中点M，任作两弦AB，CD，弦AD与BC分别交PQ 于X，Y，则M为XY之中点。
定理5 张角定理在△ABC中，D是BC上的一点。
连结AD。
张角定理指出:sin∠BAD/AC+sin∠CAD/AB=sin∠BAC/AD定理6 Simon line西姆松(Simson)定理（西姆松线）从一点向三角形的三边所引垂线的垂足共线的充要条件是该点落在三角形的外接圆上。
定理7 Eular line：同一三角形的垂心、重心、外心三点共线，这条直线称为三角形的欧拉线；且外心与重心的距离等于垂心与重心距离的一半定理8 到三角形三定点值和最小的点——费马点已知P为锐角△ABC内一点，当∠APB＝∠BPC＝∠CPA＝120°时，PA＋PB＋PC的值最小，这个点P称为△ABC的费尔马点。
定理9 三角形内到三边距离之积最大的点是三角形的重心定理10到三角形三顶点距离的平方和最小的点是三角形的重心在几何里,平面是无限延展的,是无大小的,是不可度量的,是无厚度的,通常画平行四边形来表示平面0、勾股定理，即直角三角形两直角边的平方和等于斜边的平方。
这是平面几何中一个最基本、最重要的定理，国外称为毕达哥拉斯定理。
1、欧拉（Euler）线：同一三角形的垂心、重心、外心三点共线，这条直线称为三角形的欧拉线；且外心与重心的距离等于垂心与重心距离的一半2、九点圆：任意三角形三边的中点.三条高线的垂足.垂心与各顶点连线的中点,这9点共圆，这个圆称为三角形的九点圆；其圆心为三角形外心与垂心所连线段的中点，其半径等于三角形外接圆半径的一半。
3、费尔马点：已知P为锐角△ABC内一点，当∠APB＝∠BPC＝∠CPA＝120°时，PA＋PB＋PC的值最小，这个点P称为△ABC的费尔马点。
数学竞赛初级讲座 西姆松定理及应用
数学竞赛初级讲座西姆松定理及应用
西姆松定理是数论中的一项重要定理，它是由19世纪德国数学家西姆松提出并证明的。
该定理主要研究了自然数的整数解以及它们之间的关系。
西姆松定理通过对自然数的研究，揭示了数的分割方式以及质数的分布规律。
具体地说，西姆松定理指出：对于任意一个自然数n，都可以表示为若干个质数的和。
举例来说，对于自然数4，它可以表示为2+2，也可以表示为3+1。
同样地，自然数6可以表示为3+3，也可以表示为5+1。
这种用质数表示自然数的分解方式称为西姆松表示，而西姆松定理证明了所有的自然数都可以进行西姆松表示。
西姆松定理不仅为数论的研究提供了重要的依据，而且在实际应用中也起到了重要的作用。
例如，在密码学中，西姆松定理被应用于公钥密码体制的安全性分析中。
总的来说，西姆松定理是数学竞赛初级阶段非常重要的内容之一。
了解并掌握这个定理可以帮助我们更好地理解数字之间的关系，拓宽数学思维的广度和深度。
全国高中数学联赛竞赛大纲(修订稿)及部分定理内容
全国高中数学联赛竞赛大纲（修订稿）及部分定理内容全国高中数学联赛竞赛大纲命题要求：根据现行“高中数学竞赛大纲”的要求，“全国高中数学联赛（一试）”所涉及的知识范围不超过教育部2000年《全日制普通高级中学数学教学大纲》中所规定的教学要求和内容，但在方法的要求上有所提高．主要考查学生对基本知识和基本技能的掌握情况，以及综合运用和灵活运用的能力。
试卷包括6道选择题，6道填空题和3道解答题，全卷满分为150分。
“全国高中数学联赛加试（二试）”与国际数学奥林匹克接轨，在知识方面有所扩展；适当增加一些教学大纲以外的内容，试卷包括3道解答题，其中一道是平面几何题，全卷满分为150分。
一先行:全国高中数学联赛的一试竞赛大纲，全然按照全日制中学《数学教学大纲》中所规定的教学要求和内容，即为中考所规定的科学知识范围和方法，在方法的建议上有所提升，其中概率和微积分初步不托福。
二先行:1、平面几何基本要求：掌握初中数学竞赛大纲所确定的所有内容。
补充要求：面积和面积方法。
几个重要定理：梅涅劳斯定理梅涅劳斯（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)=1。
、塞瓦定理、在△abc内任取一点o，直线ao、bo、co分别交对边于d、e、f，则(bd/dc)×(ce/ea)×(af/fb)=1。
托勒密定理、指圆内直奔圆锥四边形两对对边乘积的和等同于两条对角线的乘积。
西姆松定理。
西姆松定理是一个几何定理。
表述为：过三角形外接圆上异于三角形顶点的任意一点作三边的垂线，则三垂足共线。
（此线常称为西姆松线）。
初中几何常用定理(竞赛)
1已知：AD为BC边上的中线结论：（2）垂线定理已知：AD为BC边上的高结论：（3）梅涅劳斯定理已知：一条直线与△ABC三边或其延长线交于R、Q、P（4）塞瓦定理已知：三角形内部一点O，延长AO、BO、CO交三边于X、Y、Z（5）角平分线定理已知：AD为∠BAC平分线（6）斯特瓦尔特定理已知：D为BC边上一点结论：7结论：（8）外森皮克不等式已知：三角形的面积为S结论：（9）西姆松定理已知：过△ABC外接圆上一点P作三边或其延长线的垂线结论：三个垂足M、N、Q共线（10）海伦公式已知：△ABC三边分别为a、b、c其中（11）燕尾定理已知：△ABC中，AD、BE、CF相交于OAA12已知：△ABC外接圆半径为R，三顶点A、B、C所对的边为a、b、c结论：（13）余弦定理已知：△ABC三顶点A、B、C所对的边为a、b、c结论：（14）张角定理已知：D是△ABC中BC上一点（15）托勒密定理已知：四边形ABCD为圆内接四边形结论：（任意凸四边形ABCD，必有，当且仅当ABCD四点共圆时取等）（16）九点圆定义：三角形三边的中点MHG，三条高的垂足DEF和各顶点与垂心连线的中点PNQ，九点共圆。
结论：①九点圆的半径是三角形外接圆半径的一半；②九点圆的圆心在欧拉线上，且恰为垂心与外心连线的中点；③九点圆与三角形的内切圆，三个旁切圆均相切（费尔巴哈定理）DFB CCAAB17已知：M是弦AB中点，任意两条弦CD、EF过点M，DE、CF交AB于P、Q（18）欧拉线定义：三角形的外心O、重心G、九点圆圆心V和重心H，依次位于同一直线上，这条直线即欧拉线（19）弦切角定理已知：PA切圆于点A（20）圆幂定理已知：弦AB与弦CD交于点P结论：已知：PQ切圆于Q，割线PB、PD交圆于A、CDAB CPDPB21结论：已知：P是矩形内任意一点结论：（22）维维亚尼定理已知：P是等边△ABC内任意一点，P到三边的距离分别是，h1、h2、h3，等边△ABC的高为H（23）莫利定理已知：△ABC各内角的三等分线交点为D、E、F结论：△DEF为等边三角形（24）笛沙格定理已知：△ABC和△A1B1C1中，AA1、BB1、CC1交于一点P结论：AB与A1B1交点D，BC与B1C1交点E，AC与A1C1交点F，三点共线B DABBCB CB25定义：三角形内到三个顶点距离之和最短的点结论：①若三角形有一个内角≥120°，则此内角的顶点为费马点；②若三角形三各内角均小于120°，以三角形三边向外作等边△ABE、等边△BCF、等边△ACG，AF、BG、CE交于一点P，点P为费马点，此时（26）婆罗摩笈多定理已知：圆内接四边形的对角线互相垂直相交结论：从交点向某一边所引垂线的反向延长线必经过这条边对边的中点(G为AD中点)E。
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
西姆松(Simson)定理
西姆松定理说明
过三角形外接圆上异于三角形顶点的任意一点作三边的垂线，则三垂足共线。
（此线常称为西姆松线）
西姆松定理的逆定理若一点在三角形三边所在直线上的射影共线，则该点在此三角形的外接圆上。
相关的结果有：
（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=∠A CP ①，（∵都是∠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三点共线。
欧拉线
三角形的外心、重心、九点圆圆心、垂心，依次位
于同一直线上，这条直线就叫三角形的欧拉线。
莱昂哈德·欧拉于1765年在它的著作《三角形的几
何学》中首次提出定理：三角形的重心在欧拉线上，即
三角形的重心、垂心和外心共线。
他证明了在任意三角
形中，以上四点共线。
欧拉线上的四点中，九点圆圆心
到垂心和外心的距离相等，而且重心到外心的距离是重
心到垂心距离的一半。
欧拉线的证法1：
作△ABC的外接圆，连结并延长BO，交外接圆于点D。
连结AD、CD、AH、C H、OH。
作中线AM，设AM交OH于点G’
∵BD是直径
∴∠BAD、∠BCD是直角
∴AD⊥AB，DC⊥BC
∵CH⊥AB，AH⊥BC
∴DA‖CH，DC‖AH
∴四边形ADCH是平行四边形
∴AH=DC
∵M是BC的中点，O是BD的中点
∴OM= 1/2DC
∴OM= 1/2AH
∵OM‖AH
∴△OMG’ ∽△HAG’
∴AG/GM=2/1
∴G’是△ABC的重心
∴G与G’重合
∴O、G、H三点在同一条直线上
如果使用向量,证明过程可以极大的简化,运用向量中的坐标
法,分别求出O G H三点的坐标即可.
欧拉线的证法2：
设H,G,O,分别为△ABC的垂心、重心、外心。
连接AG并
延长交BC于D, 则可知D为BC中点。
连接OD ，又因为O为外心，所以OD⊥BC。
连接AH并
延长交BC于E,因H为垂心,所以AE⊥BC。
所以OD//AE，有
∠ODA=∠EAD。
由于G为重心，则GA:GD=2:1。
连接CG并延长交BA于F,则可知D为BC中点。
同理，OF//CM.所以有∠OFC =∠MCF
连接FD，有FD平行AC,且有DF:AC=1:2。
FD平行AC，所以∠DFC=∠FCA，∠FDA=∠CAD，又∠OFC=∠MCF，∠ODA=∠EAD，相减可得∠OFD=∠HCA,∠O DF=∠EAC,所以有△OFD∽△HCA,所以OD:HA=DF:AC=1:2；又GA:GD=2:1所以O D:HA=GA:GD=2:1
又∠ODA=∠EAD，所以△OGD∽△HGA。
所以∠OGD=∠AGH,又连接AG并延长，所以∠AGH+∠DGH=180°,所以∠OGD+∠DGH=180°。
即O、G、H三点共线。
欧拉线的证法3
设H,G,O,分别为△ABC的垂心、重心、外心.
则向量OH=向量OA+向量+OB+向量OC
向量OG=（向量OA+向量OB+向量OC）/3，
向量OG*3=向量OH
所以O、G、H三点共线
九点共圆定理
九点共圆定理
三角形三边的中点，三条高的垂足，垂心与各顶点
连线的中点这9点共圆.
九点圆是几何学史上的一个著名问题,最早提出九
点圆的是英国的培亚敏.俾几〔Benjamin Beven〕.第一个完全证明此定理的是法国数学家彭赛列〔1788-1867〕.一位高中教师费尔巴哈〔1800-1834〕曾研究了九点圆,
他的证明发表在1822年的《直边三角形的一些特殊点的性质》一文里,文中费尔巴哈还获得了九点圆的一些重要性质〔如下列的性质3〕,故有人称九点圆为费尔巴哈圆.
九点圆具有许多有趣的性质,例如:
1.三角形的九点圆的半径是三角形的外接圆半径之半;
2.九点圆的圆心在欧拉线上,且恰为垂心与外心连线的中点;
3.三角形的九点圆与三角形的内切圆,三个旁切圆均相切〔费尔巴哈定理〕.
4.九点圆是一个垂心组共有的九点圆,所以九点圆共与四个内切圆,十二个旁切圆相切.
5.九点圆心(V),重心(G),垂心(H),外心(O)四点共线且OG=2VG VO=2HO
九点圆圆心的重心坐标的计算跟垂心、外心一样麻烦。
事先定义的变量与垂心、外心一样：
d1,d2,d3分别是三角形三个顶点连向另外两个顶点向量的点乘（句子很长^_^）。
c1=d2d3，c2=d1d3，c3=d1d2；c=c1+c2+c3。
重心坐标：( (2c1+c2+c3)/4c，(2c2+c1+c3)/4c，(2c3+c1+c2)/4c )。