2018-02-11

如何证明托勒密定理?

竞赛专题讲座-平面几何四个重要定理

重庆市育才中学 瞿明强

四个重要定理:

梅涅劳斯(Menelaus)定理(梅氏线)

△ABC的三边BC、CA、AB或其延长线上有点P、Q、R,则P、Q、R共线的充要条件是 。

塞瓦(Ceva)定理(塞瓦点)

△ABC的三边BC、CA、AB上有点P、Q、R,则AP、BQ、CR共点的充要条件是。

托勒密(Ptolemy)定理

四边形的两对边乘积之和等于其对角线乘积的充要条件是该四边形内接于一圆。

西姆松(Simson)定理(西姆松线)

从一点向三角形的三边所引垂线的垂足共线的充要条件是该点落在三角形的外接圆上。

例题:

1.  设AD是△ABC的边B...全部

竞赛专题讲座-平面几何四个重要定理

重庆市育才中学 瞿明强

四个重要定理:

梅涅劳斯(Menelaus)定理(梅氏线)

△ABC的三边BC、CA、AB或其延长线上有点P、Q、R,则P、Q、R共线的充要条件是 。

塞瓦(Ceva)定理(塞瓦点)

△ABC的三边BC、CA、AB上有点P、Q、R,则AP、BQ、CR共点的充要条件是。

托勒密(Ptolemy)定理

四边形的两对边乘积之和等于其对角线乘积的充要条件是该四边形内接于一圆。

西姆松(Simson)定理(西姆松线)

从一点向三角形的三边所引垂线的垂足共线的充要条件是该点落在三角形的外接圆上。

例题:

1.  设AD是△ABC的边BC上的中线,直线CF交AD于F。

求证:。

【分析】CEF截△ABD→(梅氏定理)

【评注】也可以添加辅助线证明:过A、B、D之一作CF的平行线。

2.  过△ABC的重心G的直线分别交AB、AC于E、F,交CB于D。

求证:。

【分析】连结并延长AG交BC于M,则M为BC的中点。

DEG截△ABM→(梅氏定理)

DGF截△ACM→(梅氏定理)

∴===1

【评注】梅氏定理

3.  D、E、F分别在△ABC的BC、CA、AB边上,

,AD、BE、CF交成△LMN。

求S△LMN。

【分析】

【评注】梅氏定理

4.  以△ABC各边为底边向外作相似的等腰△BCE、△CAF、△ABG。求证:AE、BF、CG相交于一点。

【分析】

【评注】塞瓦定理

5. 已知△ABC中,∠B=2∠C。求证:AC2=AB2+AB·BC。

【分析】过A作BC的平行线交△ABC的外接圆于D,连结BD。

则CD=DA=AB,AC=BD。

由托勒密定理,AC·BD=AD·BC+CD·AB。

【评注】托勒密定理

6. 已知正七边形A1A2A3A4A5A6A7。

求证:。

(第21届全苏数学竞赛)

【分析】

【评注】托勒密定理

7. △ABC的BC边上的高AD的延长线交外接圆于P,作PE⊥AB于E,延长ED交AC延长线于F。

求证:BC·EF=BF·CE+BE·CF。

【分析】

【评注】西姆松定理(西姆松线)

8. 正六边形ABCDEF的对角线AC、CE分别被内分点M、N分成的比为AM:AC=CN:CE=k,且B、M、N共线。

求k。(23-IMO-5)

【分析】

【评注】面积法

9. O为△ABC内一点,分别以da、db、dc表示O到BC、CA、AB的距离,以Ra、Rb、Rc表示O到A、B、C的距离。

求证:(1)a·Ra≥b·db+c·dc;

(2) a·Ra≥c·db+b·dc;

(3) Ra+Rb+Rc≥2(da+db+dc)。

【分析】

【评注】面积法

10.△ABC中,H、G、O分别为垂心、重心、外心。

求证:H、G、O三点共线,且HG=2GO。(欧拉线)

【分析】

【评注】同一法

11.△ABC中,AB=AC,AD⊥BC于D,BM、BN三等分∠ABC,与AD相交于M、N,延长CM交AB于E。

求证:MB//NE。

【分析】

【评注】对称变换

12.G是△ABC的重心,以AG为弦作圆切BG于G,延长CG交圆于D。求证:AG2=GC·GD。

【分析】

【评注】平移变换

13.C是直径AB=2的⊙O上一点,P在△ABC内,若PA+PB+PC的最小值是,求此时△ABC的面积S。

【分析】

【评注】旋转变换

费马点:已知O是△ABC内一点,∠AOB=∠BOC=∠COA=120°;P是△ABC内任一点,求证:PA+PB+PC≥OA+OB+OC。

(O为费马点)

【分析】将CC‘,OO’, PP‘,连结OO’、PP‘。则△B OO’、△B PP‘都是正三角形。

∴OO’=OB,PP‘ =PB。显然△BO’C‘≌△BOC,△BP’C‘≌△BPC。

由于∠BO’C‘=∠BOC=120°=180°-∠BO’O,∴A、O、O‘、C’四点共线。

∴AP+PP‘+P’C‘≥AC’=AO+OO‘+O’C‘,即PA+PB+PC≥OA+OB+OC。

14.(95全国竞赛) 菱形ABCD的内切圆O与各边分别交于E、F、G、H,在弧EF和弧GH上分别作⊙O的切线交AB、BC、CD、DA分别于M、N、P、Q。

求证:MQ//NP。

【分析】由AB∥CD知:要证MQ∥NP,只需证∠AMQ=∠CPN,

结合∠A=∠C知,只需证

△AMQ∽△CPN

←,AM·CN=AQ·CP。

连结AC、BD,其交点为内切圆心O。

设MN与⊙O切于K,连结OE、OM、OK、ON、OF。记∠ABO=φ,∠MOK=α,∠KON=β,则

∠EOM=α,∠FON=β,∠EOF=2α+2β=180°-2φ。

∴∠BON=90°-∠NOF-∠COF=90°-β-φ=α

∴∠CNO=∠NBO+∠NOB=φ+α=∠AOE+∠MOE=∠AOM

又∠OCN=∠MAO,∴△OCN∽△MAO,于是,

∴AM·CN=AO·CO

同理,AQ·CP=AO·CO。

【评注】

15.(96全国竞赛)⊙O1和⊙O2与ΔABC的三边所在直线都相切,E、F、G、H为切点,EG、FH的延长线交于P。求证:PA⊥BC。

【分析】

【评注】

16.(99全国竞赛)如图,在四边形ABCD中,对角线AC平分∠BAD。

在CD上取一点E,BE与AC相交于F,延长DF交BC于G。求证:∠GAC=∠EAC。

证明:连结BD交AC于H。对△BCD用塞瓦定理,可得

因为AH是∠BAD的角平分线,由角平分线定理,

可得,故。

过C作AB的平行线交AG的延长线于I,过C作AD的平行线交AE的延长线于J。

则,

所以,从而CI=CJ。

又因为CI//AB,CJ//AD,故∠ACI=π-∠BAC=π-∠DAC=∠ACJ。

因此,△ACI≌△ACJ,从而∠IAC=∠JAC,即∠GAC=∠EAC。

已知AB=AD,BC=DC,AC与BD交于O,过O的任意两条直线EF和GH与四边形ABCD的四边交于E、F、G、H。

连结GF、EH,分别交BD于M、N。求证:OM=ON。(5届CMO)

证明:作△EOH△E’OH‘,则只需证E’、M、H‘共线,即E’H‘、BO、GF三线共点。

记∠BOG=α,∠GOE’=β。

连结E‘F交BO于K。只需证=1(Ceva逆定理)。

===1

注:筝形:一条对角线垂直平分另一条对角线的四边形。

对应于99联赛2:∠E’OB=∠FOB,且E‘H’、GF、BO三线共点。

求证:∠GOB=∠H‘OB。

事实上,上述条件是充要条件,且M在OB延长线上时结论仍然成立。

证明方法为:同一法。

蝴蝶定理:P是⊙O的弦AB的中点,过P点引⊙O的两弦CD、EF,连结DE交AB于M,连结CF交AB于N。

求证:MP=NP。

【分析】设GH为过P的直径,FF’F,显然‘∈⊙O。又P∈GH,∴PF’=PF。∵PFPF‘,PAPB,∴∠FPN=∠F’PM,PF=PF‘。

又FF’⊥GH,AN⊥GH,∴FF‘∥AB。∴∠F’PM+∠MDF‘=∠FPN+∠EDF’

=∠EFF‘+∠EDF’=180°,∴P、M、D、F‘四点共圆。∴∠PF’M=∠PDE=∠PFN。

∴△PFN≌△PF‘M,PN=PM。

【评注】一般结论为:已知半径为R的⊙O内一弦AB上的一点P,过P作两条相交弦CD、EF,连CF、ED交AB于M、N,已知OP=r,P到AB中点的距离为a,则。

(解析法证明:利用二次曲线系知识)

。收起

二元函数最大最小值定理证明_求函数最小最大值定理的证明相关推荐

  1. 二元函数最大最小值定理证明_二元函数极值充分条件判定定理的证明.pdf

    二元函数极值充分条件判定定理的证明 训 练 与科 技 第28卷第6期 二元函数极值充分条件判定定理的证明 林 琼,陈 星 (后勤工程学院基础部) 二元函数极值充分条件判定定理的证明是 厂"( ...

  2. 均值定理最大值最小值公式_求函数最值问题复杂难算,只要用对方法,考试得分不用愁...

    均值定理也就是我们常说的均值不等式,看到不等式这三个字,大家肯定不会觉得陌生,因为从初中开始,我们就已经接触它了,初中对于不等式的应用都是很浅显易懂的,但是到了高中,随着我们学习的知识不断加深,不等式 ...

  3. 常用的函数式接口_Supplier接口练习_求数组元素最大值

    求数组元素最大值 题目 使用Supplier 接口作为方法参数类型,通过Lambda表达式求出int数组中的最大值.提示:接口的泛型请使用java.lang.Integer 类. 解答 package ...

  4. 二元函数最大最小值定理证明_代数基本定理,用复数证明所有多项式函数都有根...

    根据代数基本定理,每个多项式在其定义域内的某个点上都有一个根.虽然这个定理早在18世纪初就已经被提出(由三位数学家,彼得·罗斯,艾伯特·吉拉尔和勒内·笛卡尔提出),但是第一个(非严格的)证明是在174 ...

  5. python中用于返回元组中元素最小值的是_• 编写函数,查找序列元素的最大值和最小值。给定一个序列,返回一个元组,其中元组第一个元素为序列最大值,第二个元素为序列最小值 。_学小易找答案...

    [计算题]编写函数 demo(m,n) ,接收两个正整数作为参数,返回一个元组,其中第一个元素为最大公约数,第二个元素为最小公倍数. (4.0分) [计算题]递归算法计算组合数.实现函数 cni(n, ...

  6. SG函数和SG定理的运用

    SG函数和SG定理的运用 SG函数和SG定理常用于解决博弈论的相关问题.其中SG函数的求解主要根据MEX运算.什么是MEX运算?MEX( minimal excludant ) 字面上意思是最小除外的 ...

  7. matlab里面sin函数是角度,应用matlab求函数f(x)=sin(x)/x^2+x*cos(x)在区间【1,9】内的极值点,并说明是 极大值点还是极小值点。...

    www.mh456.com防采集. 求函数极值,可以用copyfminsearch()极小值函2113数来解决.求函数极大值5261就求函数极4102小值的1653反函数. syms x v=int( ...

  8. 均值定理最大值最小值公式_如何使用均值定理求函数的最值

    如何使用均值定理求函数的最值 河北省武邑县职教中心 [摘 要] 摘要:均值定理是高中数学中重要的内容,在高考中占有很重要的地 位,成为高考的高频考点 . 它们总能在高考的舞台上与其姊妹知识合理.巧妙. ...

  9. 素数的有关性质(二)欧拉函数的一些定理证明与计算

    文章目录 写在前面 内容回顾 模mmm剩余类环 定理 模ppp剩余类域 定义 欧拉函数的定义 欧拉函数的性质 命题1:欧拉函数等于与mmm互素整数个数 命题2:取值为素数ppp的欧拉函数等于p−1p- ...

最新文章

  1. 丽水松阳计算机职业高中学校,丽水松阳职专
  2. 对计算机网络用户而言 掌握网络,计算机网络的特点
  3. Python全栈开发:web框架们
  4. Sqlite3 数据库基本操作
  5. mysql semi join_技术分享 | MySQL 子查询优化
  6. java集合uml_Java开源UML建模集合
  7. SAP FICO财务模块FI财务CO成本视频教学教程(基础+进阶+高级篇)
  8. CMP SUB 区别
  9. 【Qbot】1.ChatGPT简介与Q群机器人部署教程
  10. ORACLE 碎片整理小结
  11. javascript实现下拉列表框模糊查询
  12. 数学建模——评价模型
  13. 云原生是什么意思?我们为什么需要云原生?
  14. Windows与Linux的MYSQL UDF提权分析
  15. SqlServer Tigger
  16. 深入剖析Kubernetes:容器编排与 Kubernetes 核心特性剖析
  17. 枕上诗书-初入红尘,不知人间疾苦,
  18. 树莓派利用python控制57步进电机
  19. java线程的停止,暂停,恢复*
  20. 项目总结(1)-客户管理系统

热门文章

  1. MBUS CJ/T 188水表协议 Meter-Bus总线
  2. 计算机深度睡眠状态啥意思,什么是计算机的“深度睡眠”模式?
  3. Dynamic CRM(IFD)登陆超时时间查看及修改
  4. 【CTF WriteUp】UTCTF 2020部分题解
  5. AUI tab实现页签滑动切换且下拉刷新(下拉固定title栏及tab栏)
  6. openlayers3—地图图层数据来源(ol.source)
  7. ORAN C平面 Section Extension 1
  8. 有赞招聘 | 遇见offer之就要圆你的大厂梦
  9. 阿里巴巴助攻腾讯破6.2亿微商传销第一大案!涉案公众号粉丝2400
  10. ORACLE数据库报错ORA-00910: specified length too long for its datatype