托勒密定理 定理图 定理的内容托勒密(Ptolemy)定理指出，圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积。原文：圆的内接四边形中，两对角线所包矩形的面积等 于一组对边所包矩形的面积与另一组对边所包矩形的面积之和。从这个定理可以推出正弦、余弦的和差公式及一系列的三角恒等式，托勒密定理实质上是关于共圆性的基本性质． 定理提出 定理的内容。 摘出并完善后的托勒密(Ptolemy)定理指出，圆的内接凸四边形两对对 边乘积的和等于两条对角线的乘积。 定理表述：圆的内接四边形中，两对角线所包矩形的面积等于一组对边所包矩形的面积与另一组对边所包矩形的面积之和。 从这个定理可以推出正弦、余弦的和差公式及一系列的三角恒等式，托勒密定理实质上是关于共圆性的基本性质． 定理内容 指圆内接两对对边乘积的和等于两条对角线的乘积。 证明 一、（以下是推论的证明，托勒密定理可视作特殊情况。） 在ABCD中(如右图)，作△ABE使∠BAE=∠CAD ∠ABE=∠ ACD,连接DE. 则△ABE∽△ACD 所以 BE/CD=AB/AC,即BE·AC=AB·CD (1)
由△ABE∽△ACD得AD/AC=AE/AB,又∠BAC=∠EAD, 所以△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．
勾股定理16种经典证明方法
勾股定理的证明 【证法1】 做8个全等的直角三角形，设它们的两条直角边长分别为a 、b ，斜边长为c ，再做三个边长分别为a 、b 、c 的正方形，把它们像上图那样拼成两个正方形. 从图上可以看到，这两个正方形的边长都是a + b ，所以面积相等. 即 ab c ab b a 2 1 4214222?+=?++， 整理得 2 2 2 c b a =+. 【证法2】（邹元治证明） 以a 、b 为直角边，以c 为斜边做四个全等的直角三角形， 则每个直角三角形的面积等于ab 2 1. 把这四个直角三角形拼成如图所示形状，使A 、E 、B 三点在一条直线上，B 、F 、C 三点在一条直线上，C 、G 、D 三点在一条直线上. b a b a b a b a c b a c b a c b a c b a c b a c b a
a b a b c c C D ∵ EF = FG =GH =H E = b ―a , ∠HE F = 90o. ∴ EFGH 是一个边长为b ―a 的正方形，它的面积等于()2 a b -. ∴ ()2 2 2 14c a b ab =-+?. ∴ 2 2 2 c b a =+. 【证法4】（1876年美国总统Garfiel d 证明） 以a 、b 为直角边，以c 为斜边作两个全等的直角三角形， 则每个直角三角形的面积等于ab 2 1 . 把这两个直角三角形拼成如图所示形状，使A 、E 、B 三点在一条直线上. ∵ Rt ΔEAD ≌ Rt ΔCBE, ∴ ∠ADE = ∠BEC. ∵ ∠AED + ∠ADE = 90o, ∴ ∠AED + ∠BEC = 90o. ∴ ∠DEC = 180o―90o= 90o. ∴ ΔDEC 是一个等腰直角三角形， 它的面积等于22 1c . 又∵ ∠DAE = 90o, ∠EBC = 90o, ∴ AD ∥BC. ∴ ABCD 是一个直角梯形，它的面积等于 ()22 1 b a +. ∴ ()222 121221 c ab b a +?=+. ∴ 2 2 2 c b a =+. 【证法5】（梅文鼎证明） 做四个全等的直角三角形，设它们的两条直角边长分别为a 、b ，斜边长为c. 把它们拼成如图那样的一个多边形，使D 、
勾股定理（毕达哥拉斯定理） 勾股定理是一个初等几何定理，是人类早期发现并证明的重要数学定理之一，用代数思想解决几何问题的最重要的工具之一，也是数形结合的纽带之一。勾股定理是余弦定理的一个特例。勾股定理约有400种证明方法，是数学定理中证明方法最多的定理之一。“勾三股四弦五”是勾股定理最基本的公式。勾股数组方程a 2+b 2=c 2的正整数组(a ,b ,c )。(3,4,5)就是勾股数。也就是说，设直角三角形两直角边为a 和b ，斜边为c ，那么a 2+b 2=c 2，即直角三角形两直角边的平方和等于斜边的平方。 勾股定理 命题1如果直角三角形的两条直角边长分别为a ，b ，斜边长为c ，那么 。 勾股定理的逆定理 命题2如果三角形的三边长a ，b ，c 满足 ，那么这个三角形是直角三角形。 【证法1】（赵爽证明） 以a 、b 为直角边（b>a ），以c 为斜边作四个全等的直角三角形，则每 个直角三角形的面积等于2 1ab.把这四个直角三角形拼成如图所示形状. ∵RtΔDAH≌RtΔABE,∴∠HDA=∠EAB. ∵∠HAD+∠HAD=90o，∴∠EAB+∠HAD=90o， ∴ABCD 是一个边长为c 的正方形，它的面积等于c2. ∵EF=FG=GH=HE=b―a,∠HEF=90o. ∴EFGH 是一个边长为b―a 的正方形，它的面积等于. ∴ ∴. 【证法2】（课本的证明） 做8个全等的直角三角形，设它们的两条直角边长分别为a 、b ，斜边长为c ，再做三个边长分别为a 、b 、c 的正方形，把它们像上图那样拼成两个正方形.从图上可以看到，这两个正方形的边长都是a+b ，所以面积相等. 即，整理得. 【证法3】（1876年美国总统Garfield 证明）以a 、b 为直角边，以c 为斜边作两个全等的直角三角形，则每个直角三角形的面积等于.把这两个直角三角形拼成如图所示形状，使A 、E 、B 三点在一条直线上. ∵RtΔEAD≌RtΔCBE,∴∠ADE=∠BEC. ∵∠AED+∠ADE=90o,∴∠AED+∠BEC=90o.∴∠DEC=180o―90o=90o. ∴ΔDEC 是一个等腰直角三角形，它的面积等于 .又∵∠DAE=90o,∠EBC=90o,∴AD∥BC.∴ ABCD 是一个直角梯形，它的面积等于
勾股定理的证明 【证法1】（课本的证明） a 、 b ，斜边长为 c ，再做三 个边长分别为a 、b 、c 的正方形，把它们像上图那样拼成两个正方形. 从图上可以看到，这两个正方形的边长都是a + b ，所以面积相等. 即 ab c ab b a 21 4214222?+=?++，整理得222c b a =+. 【证法2】（邹元治证明） 以a 、b 为直角边，以c 为斜边做四个全等的直角三角形，则每个直角三角形的面积 等于ab 21.把这四个直角三角形拼成如图所示形状，使A 、E 、B 三点在一条直线上，B 、F 、 C 三点在一条直线上，C 、G 、D 三点在一条直线上. ∵Rt ΔHAE ≌Rt ΔEBF, ∴∠AHE = ∠BEF . ∵∠AEH + ∠AHE = 90o, ∴∠AEH + ∠BEF = 90o. ∴∠HEF = 180o―90o= 90o. ∴ 四边形EFGH 是一个边长为c 的 正方形. 它的面积等于c 2. ∵Rt ΔGDH ≌Rt ΔHAE, ∴∠HGD = ∠EHA . ∵∠HGD + ∠GHD = 90o, ∴∠EHA + ∠GHD = 90o. 又∵∠GHE = 90o, ∴∠DHA = 90o+ 90o= 180o. ∴ABCD 是一个边长为a + b 的正方形，它的面积等于()2 b a +. ∴ ()2 22 14c ab b a +?=+. ∴2 2 2 c b a =+.
以a 、b 为直角边（b>a ）， 以c 为斜 边作四个全等的直角三角形，则每个直角 三角形的面积等于ab 21. 把这四个直角三 角形拼成如图所示形状. ∵Rt ΔDAH ≌ Rt ΔABE, ∴∠HDA = ∠EAB . ∵∠HAD + ∠HAD = 90o， ∴∠EAB + ∠HAD = 90o， ∴ ABCD 是一个边长为c 的正方形，它的面积等于c 2. ∵EF = FG =GH =HE = b ―a , ∠HEF = 90o. ∴EFGH 是一个边长为b ―a 的正方形，它的面积等于()2 a b -. ∴()22 214c a b ab =-+?. ∴2 2 2 c b a =+. 【证法4】（1876年美国总统Garfiel d 证明） 以a 、b 为直角边，以c 为斜边作两个全等的直角三角形，则每个直角三角形的面 积等于ab 21. 把这两个直角三角形拼成如图所示形状，使A 、E 、B 三点在一条直线上. ∵Rt ΔEAD ≌Rt ΔCBE, ∴∠ADE = ∠BEC . ∵∠AED + ∠ADE = 90o, ∴∠AED + ∠BEC = 90o. ∴∠DEC = 180o―90o= 90o. ∴ΔDEC 是一个等腰直角三角形， 它的面积等于221c . 又∵∠DAE = 90o, ∠EBC = 90o, ∴ AD ∥BC . ∴ABCD 是一个直角梯形，它的面积等于()2 21 b a +. ∴()2 2212122 1 c ab b a +?=+. ∴2 22c b a =+.
托勒密定理 托勒密(Ptolemy)定理指出，圆的内接凸四边形两对对边乘积的和等于两条对角线的乘积。原文：圆的内接四边形中，两对角线所包矩形的面积等于一组对边所包矩形的面积与另一组对边所包矩形的面积之和。从这个定理可以推出正弦、余弦的和差公式及一系列的三角恒等式，托勒密定理实质上是关于共圆性的基本性质． 证明 一、（以下是推论的证明，托勒密定理是其中一种特殊情况） 在任意凸四边形ABCD中，作△ABE使∠BAE=∠CAD ∠ABE=∠ACD,连接DE. 则△ABE∽△ACD 所以BE/CD=AB/AC,即BE·AC=AB·CD (1) 由△ABE∽△ACD得AD/AC=AE/AB,又∠BAC=∠EAD, 所以△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四点共圆等价。四点不限于同一平面。平面上，托勒密不等式是三角不等式的反演形式。
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 广义托勒密定理：设四边形ABCD四边长分别为a,b,c,d,两条对角线长分别为m,n，则有： m^2*n^2=a^2*c^2+b^2*d^2-2abcd*cos(A+C) 1.等号成立的条件是(a-b)(c-d)与(a-d)(b-c)的辐角相等，这与A、B、C、D四点共圆等价。 2.四点不限于同一平面。 欧拉定理：在一条线段上AD上，顺次标有B、C两点，则AD·BC+AB·CD=AC·BD
勾股定理五种证明方法 【证法1】 做8个全等的直角三角形，设它们的两条直角边长分别为a、b，斜边长为c，再做三个边长分别为a、b、c的正方形，把它们像上图那样拼成两个正方形. 从图上可以看到，这两个正方形的边长都是a + b，所以面积相等. 即 ，整理得. 【证法2】（邹元治证明） 以a、b 为直角边，以c为斜边做四个全等的直角三角形，则每个直角三角形的面积等于.把这四个直角三角形拼成如图所示形状，使A、E、B三点在一条直线上，B、F、C三点在一条直线上，C、G、D三点在一条直线上. ∵ RtΔHAE ≌ RtΔEBF, ∴∠AHE = ∠BEF. ∵∠AEH + ∠AHE = 90o, ∴∠AEH + ∠BEF = 90o. ∴∠HEF = 180o―90o= 90o. ∴四边形EFGH是一个边长为c的 正方形. 它的面积等于c2. ∵ RtΔGDH ≌ RtΔHAE, ∴∠HGD = ∠EHA. ∵∠HGD + ∠GHD = 90o, ∴∠EHA + ∠GHD = 90o. 又∵∠GHE = 90o, ∴∠DHA = 90o+ 90o= 180o. ∴ ABCD是一个边长为a + b的正方形，它的面积等于. ∴. ∴. 【证法3】（梅文鼎证明） 做四个全等的直角三角形，设它们的两条直角边长分别为a、b ，斜边长为c. 把它们拼成如图那样的一个多边形，使D、E、F在一条直线上. 过C作AC 的延长线交DF于点P. ∵ D、E、F在一条直线上, 且RtΔGEF ≌ RtΔEBD, ∴∠EGF = ∠BED，
∵∠EGF + ∠GEF = 90°， ∴∠BED + ∠GEF = 90°， ∴∠BEG =180o―90o= 90o. 又∵ AB = BE = EG = GA = c， ∴ ABEG是一个边长为c的正方形. ∴∠ABC + ∠CBE = 90o. ∵ RtΔABC ≌ RtΔEBD, ∴∠ABC = ∠EBD. ∴∠EBD + ∠CBE = 90o. 即∠CBD= 90o. 又∵∠BDE = 90o，∠BCP = 90o， BC = BD = a. ∴ BDPC是一个边长为a的正方形. 同理，HPFG是一个边长为b的正方形. 设多边形GHCBE的面积为S，则 , ∴. 【证法4】（1876年美国总统Garfield证明） 以a、b 为直角边，以c为斜边作两个全等的直角三角形，则每个直角三角形的面积等于. 把这两个直角三角形拼成如图所示形状，使A、E、B三点在一条直线上. ∵ RtΔEAD ≌ RtΔCBE, ∴∠ADE = ∠BEC. ∵∠AED + ∠ADE = 90o, ∴∠AED + ∠BEC = 90o. ∴∠DEC = 180o―90o= 90o. ∴ΔDEC是一个等腰直角三角形， 它的面积等于. 又∵∠DAE = 90o, ∠EBC = 90o, ∴ AD∥BC. ∴ ABCD是一个直角梯形，它的面积等于. ∴. ∴. 【证法5】（辛卜松证明）
勾股定理的证明 【证法1】 做8个全等的直角三角形，设它们的两条直角边长分别为a 、b ，斜边长为c ，再做三个边长分别为a 、b 、c 的正方形，把它们像上图那样拼成两个正方形. 从图上可以看到，这两个正方形的边长都是a + b ，所以面积相等. 即 ab c ab b a 21 4214222?+=?++， 整理得 222c b a =+. 【证法2】（邹元治证明） 以a 、b 为直角边，以c 为斜边做四个全等的直角三角形，则每个直角三角形 的面积等于ab 21. 把这四个直角三角形拼成如图所示形状，使 A 、E 、 B 三点在一条 直线上，B 、F 、C 三点在一条直线上，C 、G 、D 三点在一条直线上. ∵ Rt ΔHAE ≌ Rt ΔEBF, ∴ ∠AHE = ∠BEF . ∵ ∠AEH + ∠AHE = 90o, ∴ ∠AEH + ∠BEF = 90o. ∴ ∠HEF = 180o―90o= 90o. ∴ 四边形EFGH 是一个边长为 正方形. 它的面积等于c 2. ∵ Rt ΔGDH ≌ Rt ΔHAE, ∴ ∠HGD = ∠EHA .
∵ ∠HGD + ∠GHD = 90o, ∴ ∠EHA + ∠GHD = 90o. 又∵ ∠GHE = 90o, ∴ ∠DHA = 90o+ 90o= 180o. ∴ ABCD 是一个边长为a + b 的正方形，它的面积等于()2 b a +. ∴ ()2 2214c ab b a +?=+. ∴ 2 2 2 c b a =+. 【证法3】（赵爽证明） 以a 、b 为直角边（b>a ）， 以c 为斜 边作四个全等的直角三角形，则每个直角 三角形的面积等于ab 21. 把这四个直角三 角形拼成如图所示形状. ∵ Rt ΔDAH ≌ Rt ΔABE, ∴ ∠HDA = ∠EAB . ∵ ∠HAD + ∠HAD = 90o， ∴ ∠EAB + ∠HAD = 90o， ∴ ABCD 是一个边长为c 的正方形，它的面积等于c 2. ∵ EF = FG =GH =HE = b ―a , ∠HEF = 90o. ∴ EFGH 是一个边长为b ―a 的正方形，它的面积等于()2 a b -. ∴ ()2 2 214c a b ab =-+?. ∴ 2 22c b a =+. 【证法4】（1876年美国总统Garfield 证明） 以a 、b 为直角边，以c 为斜边作两个全等的直角三角形，则每个直角三角形 的面积等于ab 21. 把这两个直角三角形拼成如图所示形状，使 A 、E 、 B 三点在一条 直线上. ∵ Rt ΔEAD ≌ Rt ΔCBE, ∴ ∠ADE = ∠BEC . ∵ ∠AED + ∠ADE = 90o, ∴ ∠AED + ∠BEC = 90o.
勾股定理五种证明方法 1证法】【abba aacaabc c ab bccbbb ca b 个全等的直角三角形，设它们的两条直角边长分别为a、b，斜边长为做8c，再做三个边长分别为a、b、c的正方形，把它们像上图那样拼成两个正方形. 从图上可以看到，这两个正方形的边长都是a + b，所以面积相等. 即 ，整理得.
证法2证明）（】【 以a、b 为直角边，以c为斜边做四个全等的直角三角形，则每个直角三角1ab 2形的面积等于. 把这四个直角三角形拼成如图所示形状，使A、E、B三点在一条直线上，B、F、C三点在一条直线上，C、G、D三点在一条直线上. ∵RtΔHAE ≌RtΔEBF, CGDab∴∠AHE = ∠BEF. , o∠AHE = 90∵∠AEH + abc. o∠BEF = 90∴∠AEH + c. = 90o HEF = 180o―90o∴∠H c的四边形EFGH是一个边长为F它的面积等于
c2. 正方形.b HAE, RtΔ≌∵RtΔGDH .HGD = ∠EHA∴A, o∠GHD = 90∵∠HGD + . GHD = 90∠o∴∠EHA + , GHE = 90o又∵∠. o= 180o+ 90o∴∠DHA = 90. 是一个边长为a + b的正方形，它的面积等于∴ABCD .∴∴. 证法3证明）（】【做四个全等的直角三角形，设它们的两条直角边长分别为a、b ，斜边长为c. 把它们拼成如图那样的一个多边形，使D、E、F在一条直线上. 过C作AC的延长线交DF于点P. ∵D、E、F在一条直线上, 且RtΔGEF ≌RtΔEBD, ∴∠EGF = ∠BED，
勾股定理五种证明方法 【证法1】 ? ? ? ? ? ? ? ? ? ? 做8 个全等的直角三角形，设它们的两条直角边长分别为a 、b ，斜边长为c ，再做三个边长分别为a 、b 、c 的正方形，把它们像上图那样拼成两个正方形. 从图上可以看到，这两个正方形的边长都是a + b ，所以面积相等. 即 ab c ab b a 214214222?+=?++， 整理得 222c b a =+. 【证法2】（邹元治证明） 以a 、b 为直角边，以c 为斜边做四个全等的直角三角形，则每个直角三角 形的面积等于ab 21. 把这四个直角三角形拼成如图所示形状，使A 、E 、B 三点 在一条直线上，B 、F 、C 三点在一条直线上，C 、G 、D 三点在一条直线上. ∵ Rt ΔHAE ≌ Rt ΔEBF, ∴ ∠AHE = ∠BEF . ∵ ∠AEH + ∠AHE = 90o, ∴ ∠AEH + ∠BEF = 90o . ∴ ∠HEF = 180o ―90o= 90o . ∴ 四边形EFGH 是一个边长为c 的 正方形. 它的面积等于c2. ∵ Rt ΔGDH ≌ Rt ΔHAE, ∴ ∠HGD = ∠EHA . ∵ ∠HGD + ∠GHD = 90o, ∴ ∠EHA + ∠GHD = 90o . 又∵ ∠GHE = 90o, ∴ ∠DHA = 90o+ 90o= 180o . ∴ ABCD 是一个边长为a + b 的正方形，它的面积等于()2b a +. ∴ ()2 2214c ab b a +?=+. ∴ 222c b a =+. 【证法3】（梅文鼎证明） 做四个全等的直角三角形，设它们的两条直角边长分别为a 、b ，斜边长为
证法1 一种借助面积完成的演绎证明（愚草提供），双击右侧图片可以清楚阅读： 另附：《对勾股定理及其逆定理教育价值的深层挖掘》[3]一文。 证法1 作四个全等的直角三角形，设它们的两条直角边长分别为a、b ；，斜边长为c. ；把它们拼成如图那样的一个多边形，使D、E、F在一条直线上。过点C作AC的延长线交DF于点P. ∵ D、E、F在一条直线上，；且RtΔGEF ；≌ RtΔEBD， ∴；∠EGF = ；∠BED， ∵；∠EGF + ；∠GEF = 90°， ∴；∠BED + ；∠GEF = 90°， ∴；∠BEG =180°―90°= 90° 又∵ AB = BE = EG = GA = c， ∴ ABEG是一个边长为c的正方形。 ∴；∠ABC + ；∠CBE = 90° ∵ RtΔABC ；≌ RtΔEBD， ∴；∠ABC = ；∠EBD. ∴；∠EBD + ；∠CBE = 90° 即；∠CBD= 90° 又∵；∠BDE = 90°，∠BCP = 90°， BC = BD = a. ∴ BDPC是一个边长为a的正方形。 同理，HPFG是一个边长为b的正方形. 设多边形GHCBE的面积为S，则 A+B=C 证法2
作两个全等的直角三角形，设它们的直角边长分别为a、b（b>a）；，斜边长为c. ；再做一个边长为c的正方形。把它们拼成如图所示的多边形，使E、A、C三点在一条直线上. 过点Q作QP∥BC，交AC于点P. 过点B作BM⊥PQ，垂足为M；再过点 F作FN⊥PQ，垂足为N. ∵；∠BCA = 90°，QP∥BC， ∴；∠MPC = 90°， ∵ BM⊥PQ， ∴；∠BMP = 90°， ∴ BCPM是一个矩形，即∠MBC = 90°。 ∵；∠QBM + ；∠MBA = ；∠QBA = 90°， ∠ABC + ；∠MBA = ；∠MBC = 90°， ∴；∠QBM = ；∠ABC， 又∵；∠BMP = 90°，∠BCA = 90°，BQ = BA = c， ∴ RtΔBMQ ；≌ RtΔBCA. 同理可证RtΔQNF ；≌ RtΔAEF.即A2+B2=C2 证法3 作两个全等的直角三角形，设它们的两条直角边长分别为a、b（b>a）；，斜边长为c. ；再作一个边长为c的正方形。把它们拼成如图所示的多边形. 分别以CF，AE为边长做正方形FCJI和AEIG， ∵EF=DF-DE=b-a，EI=b， ∴FI=a， ∴G,I,J在同一直线上， ∵CJ=CF=a，CB=CD=c， ∠CJB = ；∠CFD = 90°， ∴RtΔCJB ；≌ RtΔCFD ；， 同理，RtΔABG ；≌ RtΔADE， ∴RtΔCJB ；≌ RtΔCFD ；≌ RtΔABG ；≌ RtΔADE ∴∠ABG = ；∠BCJ, ∵∠BCJ +∠CBJ= 90°， ∴∠ABG +∠CBJ= 90°， ∵∠ABC= 90°， ∴G,B,I,J在同一直线上， A2+B2=C2。 证法4 作三个边长分别为a、b、c的三角形，把它们拼成如图所示形状，使H、C、B三点在一条直线上，连结 BF、CD. ；过C作CL⊥DE， 交AB于点M，交DE于点L. ∵ AF = AC，AB = AD， ∠FAB = ；∠GAD， ∴；ΔFAB ；≌；ΔGAD， ∵；ΔFAB的面积等于， ΔGAD的面积等于矩形ADLM
托勒密定理Last revision on 21 December 2020
托 勒密定理 【定理内容】 圆内接四边形中，两条对角线的乘积等于两组对边乘积之和． 即：若四边形ABCD 内接于圆， 则有BD AC BC AD CD AB ?=?+?. [评]等价叙述：四边形的两组对边之积的和 等于两对角线 之积的充要条件是四顶点共圆。 【证法欣赏】 证明：如图，过C 作CP 交BD 于P ，使21∠=∠, ∵43∠=∠,∴ACD ?∽BCP ?, ∴ BP AD BC AC = ，即AD BC BP AC ?=? ① 又DCP ACB ∠=∠，65∠=∠，∴ACB ?∽DCP ?, ∴ DP AB DC AC = ，即DC AB DP AC ?=? ② ∴①＋②得：DC AB AD BC DP BP AC ?+?=+?)( 即BD AC BC AD CD AB ?=?+? 【定理推广】 托勒密定理的推广： 在四边形ABCD 中，有BD AC BC AD CD AB ?≥?+?；当且仅当四边形ABCD 内接于圆时，等式成立。 [证] 在四边形ABCD 内取点E ，使CAD BAE ∠=∠，ACD ABE ∠=∠ 则ABE ?∽ACD ? ∴ AD AE CD BE AC AB ==， ∴BE AC CD AB ?=?； ∵ AD AE AC AB =，且EAD BAC ∠=∠ C D A B E B C D
∴ABC ?∽AED ? ∴ AD ED AC BC = ，即ED AC BC AD ?=?； ∴)(ED BE AC BC AD CD AB +?=?+? ∴BD AC BC AD CD AB ?≥?+? 当且仅当E 在BD 上时“=”成立， 即四点共圆时成立；、、、当且仅当D C B A 【定理推广】 托勒密定理的推论： 等腰梯形一条对角线的平方等于一腰的平方加上两底之积． 即：若四边形ABCD 是等腰梯形，且BC AD //， 则BC AD AB AC ?+=22. 分析：因为等腰梯形必内接于圆，符合托勒密定理的条件，其对角线相等，两腰相等，结论显然成立。 【定理应用】 【例1】 如图，P 是正ABC ?外接圆的劣弧BC 上任一点(不与B 、C 重合)， 求证：PC PB PA +=． 证明：由托勒密定理得： ∵CA BC AB == ∴PC PB PA +=. [注]此例证法甚多，如“截长”、“补短”等，详情参看《初中 数学一 题多解欣赏》． 【定理应用】 【例2】 证明“勾股定理”： 已知：在ABC Rt ?中，?=∠90B ， 求证：222BC AB AC +=。 证明：如图，以ABC Rt ?的斜边AC 为对角 B C
勾股定理的十六种证明方法 【证法1】 此主题相关图片如下： 做8个全等的直角三角形，设它们的两条直角边长分别为a、b，斜边长为c，再做三个边长分别为a、b、c的正方形，把它们像上图那样拼成两个正方形. 从图上可以看到，这两个正方形的边长都是a + b，所以面积相等. 即 a^2+b^2+4*(ab/2)=c^2+4*(ab/2) 整理得到：a^2+b^2=c^2。 【证法2】 以a、b 为直角边，以c为斜边做四个全等的直角三角形，则每个直角三角形的面积等于 ab/2.把这四个直角三角形拼成如图所示形状，使A、E、B三点在一条直线上，B、F、C三点在一条直线上，C、G、D三点在一条直线上. ∵ RtΔHAE ≌ RtΔEBF, ∴∠AHE = ∠BEF. ∵∠AEH + ∠AHE = 90o, ∴∠AEH + ∠BEF = 90o. ∴∠HEF = 180o―90o= 90o. ∴四边形EFGH是一个边长为c的
正方形. 它的面积等于c^2. ∵ RtΔGDH ≌ RtΔHAE, ∴∠HGD = ∠EHA. ∵∠HGD + ∠GHD = 90o, ∴∠EHA + ∠GHD = 90o. 又∵∠GHE = 90o, ∴∠DHA = 90o+ 90o= 180o. ∴ ABCD是一个边长为a + b的正方形，它的面积等于(a+b)^2. ∴(a+b)^2=c^2+4*(ab/2)，∴ a^2+b^2=c^2。 此主题相关图片如下： 【证法3】 以a、b 为直角边（b>a），以c为斜边作四个全等的直角三角形，则每个直角三角形的面积等于ab/2. 把这四个直角三角形拼成如图所示形状. ∵ RtΔDAH ≌ RtΔABE, ∴∠HDA = ∠EAB. ∵∠HAD + ∠HAD = 90o， ∴∠EAB + ∠HAD = 90o， ∴ ABCD是一个边长为c的正方形，它的面积等于c^2.
第三讲 托勒密定理及其应用 托勒密定理：圆内接四边形中，两条对角线的乘积(两对角线所包矩形的面积)等于两组对边乘积之和(一组对边所包矩形的面积与另一组对边所包矩形的面积之和)． 即：；内接于圆，则有： 设四边形BD AC BC AD CD AB ABCD ?=?+? ；内接于圆时，等式成立并且当且仅当四边形中，有：定理：在四边形ABCD BD AC BC AD CD AB ABCD ?≥?+? 一、直接应用托勒密定理 例1 如图2，P 是正△ABC 外接圆的劣弧上任一点 (不与B 、C 重合)， 求证：PA=PB ＋PC ． 分析：此题证法甚多，一般是截长、补短，构造全等三角形，均为繁冗． 若借助托勒密定理论证，则有PA ·BC=PB ·AC ＋PC ·AB ， ∵AB=BC=AC ． ∴PA=PB+PC ． 二、完善图形 借助托勒密定理 例2 证明“勾股定理”： 在Rt △ABC 中，∠B=90°，求证：AC 2=AB 2＋BC 2 四点共圆时成立； 、、、上时成立，即当且仅当在且等号当且仅当相似 和且又 相似 和则：，，使内取点证：在四边形D C B A BD E BD AC BC AD CD AB ED BE AC BC AD CD AB ED AC BC AD AD ED AC BC AED ABC EAD BAC AD AE AC AB BE AC CD AB CD BE AC AB ACD ABE ACD ABE CAD BAE E ABCD ?≥?+?∴+?=?+?∴?=??=∴??∴∠=∠=?= ??=∴??∠=∠∠=∠)(
证明：如图，作以Rt△ABC的斜边AC为一对角线的矩形ABCD，显然ABCD是圆内接四边形．由托勒密定理，有 AC·BD=AB·CD＋AD·BC．① 又∵ABCD是矩形， ∴AB=CD，AD=BC，AC=BD．② 把②代人①，得AC2=AB2＋BC2． 例3如图，在△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)． 三、构造图形借助托勒密定理 例4若a、b、x、y是实数，且a2＋b2=1，x2＋y2=1． 求证：ax＋by≤1． 证明：如图作直径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． ∵CD≤AB＝1，∴ax＋by≤1． 四、巧变原式妙构图形，借助托勒密定理 例5已知a、b、c是△ABC的三边，且a2=b(b＋c)，求证：∠A=2∠B． 分析：将a2=b(b＋c)变形为a·a=b·b＋bc，从而联想到托勒密定理，进而构造一个等腰梯形，使两腰为b，两对角线为a，一底边为c． 证明：如图，作△ABC的外接圆，以A为圆心，BC为半径作弧交圆于D，连结BD、DC、DA．∵AD=BC，
第三章 托勒密定理及应用 【基础知识】 托勒密定理 圆内接四边形的两组对边乘积之和等于两对角线的乘积． 证明 如图3-1，四边形ABCD 内接于O ，在BD 上取点P ，使P A B C A D =∠∠，则△ABP ∽△ACD ， 于是 A 图3-1 AB BP AB CD AC BP AC CD =??=?． 又ABC △∽△APD ，有BC AD AC PD ?=?． 上述两乘积式相加，得 AB CD BC AD AC BP PD AC BD ?+?=+=?（）． ① 注 此定理有多种证法，例如也可这样证：作AE BD ∥交o 于E ，连EB ，ED ，则知BDAE 为等腰梯形，有EB AD =，ED AB =，ABD BDE θ==∠∠，且180E B C E D C +=?∠∠，令BAC ?=∠，AC 与 BD 交于G ，则 111 sin sin()sin 222 ABCD S AC BD AGD AC BD AC BD EDC θ?=??=??+=??∠∠， 11 sin sin 22 EBCD EBC ECD S S S EB BC EBC ED DC EDC =+=??+??△△∠∠ ()()11 sin sin 22 EB BC ED DC EDC AD BC AB DC EDC =?+??=?+??∠∠． 易知 A B C D E B C S S =，从而有AB DC BC AD AC BD ?+?=?． 推论1（三弦定理） 如果A 是圆上任意一点，AB ，AC ，AD 是该圆上顺次的三条弦，则 sin sin sin AC BAD AB CAD AD CAB ?=?+?∠∠∠． ② 事实上，由①式，应用正弦定理将BD ，DC ，BC 换掉即得②式． 推论2（四角定理） 四边形ABCD 内接于O ，则sin sin sin sin ADC BAD ABD BDC ?=?∠∠∠∠ sin sin ADB DBC +?∠∠． ③ 事实上，由①式，应用正弦定理将六条线段都换掉即得③式． 直线上的托勒密定理（或欧拉定理） 若A ，B ，C ，D 为一直线上依次排列的四点，则AB CD BC AD AC BD ?+?=?． 注 由直线上的托勒密定理有如下推论：若A ，B ，C ，D 是一条直线上顺次四点，点P 是直线AD 外一点，则 sin sin sin sin sin sin APB CPD APD BPC APC BPD ?+?=?∠∠∠∠∠∠． 事实上，如图3-2，设点P 到直线AD 的距离为h ，
v1.0 可编辑可修改 【证法1】（课本的证明） 做8个全等的直角三角形，设它们的两条直角边长分别为a 、b ，斜边长为c ，再做三个边长分别为a 、b 、c 的正方形，把它们像上图那样拼成两个正方形. 从图上可以看到，这两个正方形的边长都是a + b ，所以面积相等. 即 ab c ab b a 21 4214222?+=?++， 整理得 222c b a =+. 【证法2】（邹元治证明） 以a 、b 为直角边，以c 为斜边做四个全等的直角三角形，则每个直角三角形的面积 等于ab 21. 把这四个直角三角形拼成如图所示形状，使A 、E 、B 三点在一条直线上，B 、F 、 C 三点在一条直线上，C 、G 、 D 三点在一条直线上. ∵ Rt ΔHAE ≌ Rt ΔEBF, ∴ ∠AHE = ∠BEF . ∵ ∠AEH + ∠AHE = 90o, ∴ ∠AEH + ∠BEF = 90o. ∴ ∠HEF = 180o―90o= 90o. ∴ 四边形EFGH 是一个边长为c 的 正方形. 它的面积等于c 2.
v1.0 可编辑可修改 ∴∠HGD = ∠EHA. ∵∠HGD + ∠GHD = 90o, ∴∠EHA + ∠GHD = 90o. 又∵∠GHE = 90o, ∴∠DHA = 90o+ 90o= 180o. ∴ ABCD是一个边长为a + b的正方形，它的面积等于()2b a+. ∴()2 2 2 1 4c ab b a+ ? = + . ∴2 2 2c b a= +. 【证法3】（赵爽证明） 以a、b 为直角边（b>a），以c为斜边作四个全等的直角三角形，则每个直角 三角形的面积等于 ab 2 1 . 把这四个直角三 角形拼成如图所示形状. ∵ RtΔDAH ≌ RtΔABE, ∴∠HDA = ∠EAB. ∵∠HAD + ∠HAD = 90o， ∴∠EAB + ∠HAD = 90o， ∴ ABCD是一个边长为c的正方形，它的面积等于c2. ∵ EF = FG =GH =HE = b―a , ∠HEF = 90o. ∴ EFGH是一个边长为b―a的正方形，它的面积等于()2a b-. ∴ ()2 2 2 1 4c a b ab= - + ? .
勾股定理五种证明方法 This manuscript was revised on November 28, 2020
勾股定理五种证明方法 【证法1】 做 c ，再. .即 b a 22+【证法以 三点在一条直线上，B 、F 、C 三点在一条直线上，C 、G 、D 三点在一条直线上. ∵Rt ΔHAE ≌Rt ΔEBF, ∴∠AHE=∠BEF . ∵∠AEH+∠AHE=90o, ∴∠AEH+∠BEF=90o . ∴∠HEF=180o ―90o=90o . ∴四边形EFGH 是一个边长为c 的 正方形.它的面积等于c2. ∵Rt ΔGDH ≌Rt ΔHAE, ∴∠HGD=∠EHA . ∵∠HGD+∠GHD=90o, ∴∠EHA+∠GHD=90o . 又∵∠GHE=90o, ∴∠DHA=90o+90o=180o . ∴ABCD 是一个边长为a+b 的正方形，它的面积等于()2b a +. ∴()2 2214c ab b a +?=+.∴222c b a =+. 【证法3】（梅文鼎证明） 做四个全等的直角三角形，设它们的两条直角边长分别为a 、b ，斜边长为c .把它们拼成如图那样的一个多边形，使D 、E 、F 在一条直线上.过C 作AC 的延长线交DF 于点P . ∵D 、E 、F 在一条直线上,且Rt ΔGEF ≌Rt ΔEBD, ∴∠EGF=∠BED ， ∵∠EGF+∠GEF=90°， ∴∠BED+∠GEF=90°， ∴∠BEG=180o ―90o=90o . 又∵AB=BE=EG=GA=c ， ∴ABEG 是一个边长为c 的正方形. ∴∠ABC+∠CBE=90o . ∵Rt ΔABC ≌Rt ΔEBD,
托勒密定理 内容：指圆内接凸四边形两对对边乘积的和等于两条对角线的乘积。 证明： 在任意凸四边形ABCD中(如右图)，作△ABE使∠BAE=∠CAD ∠ABE=∠ ACD,连接DE. 则△ABE∽△ACD ∴BE/CD=AB/AC,即B E·AC=AB·CD (1) 由△ABE∽△ACD得AD/AC=AE/AB,又∠BAC=∠EAD, ∴△ABC∽△AED. BC/ED=AC/AD,即ED·AC=BC·AD (2) (1)+(2),得 AC(BE+ED)=AB·CD+AD·BC 又∵BE+ED≥BD ∴AB×CD+AD×BC≥AC×BD 塞瓦定理 在△ABC内任取一点O， 直线AO、BO、CO分别交对边于D、E、F，则 (BD/DC)*(CE/EA)*(AF/FB)=1 因为(AD:DB)*(BE:EC)*(CF:FA)=1所以CD、AE、BF交于一点
用同一法证 点D,E,F分别为三角形ABC三边BC,AC,AB上的点，若AF/BF*BD/DC*CE/AE=1，则AD,BE,CF 三点共线 逆命题证明 证明：设BE,CF交与点O，AO交BC于点P。 则由赛瓦定理可知，AF/BF*BP/PC*CE/AE=1。 由已知AF/BF*BD/DC*CE/AE=1知，AF/BF*BP/PC*CE/AE=1=AF/BF*BD/DC*CE/AE。 推出BP/PC=BD/DC,所以BD/BC=BP/BC,故BD=BP。 所以D点与P点重合。则AD,BE,CF三点共线，命题得证。 梅涅劳斯定理 如果一条直线与△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/Y A)=1 。 西姆松定理 （1）称三角形的垂心为H。西姆松线和PH的交点为线段PH的中点，且这点在九点圆上。 （2）两点的西姆松线的交角等于该两点的圆周角。 （3）若两个三角形的外接圆相同，这外接圆上的一点P对应两者的西姆松线的交角，跟P的位置无关。