托勒密定理定理图定理的内容托勒密(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．四、广义托勒密定理：设四边形ABCD四边长分别为a,b,c,d,两条对角线长分别为m,n，则有：m^2*n^2=a^2*c^2+b^2*d^2-2abcd*cos(A+C)推论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弦切角定理弦切角定义顶点在圆上，一边和圆相交，另图示一边和圆相切的角叫做。(弦切角就是与弦所夹的角）如右图所示，直线PT切圆O于点C，BC、AC为圆O的弦，∠TCB，∠TCA，∠PCA，∠PCB都为弦切角。弦切角定理弦切角定理：弦切角的度数等于它所夹的弧的圆心角的度数的一半.弦切角定理证明：证明一：设圆心为O，连接OC，OB,。 ∠TCB=90-∠OCB ∠BOC=180-2∠OCB∴,∠BOC=2∠TCB（定理：弦切角的度数等于它所夹的弧所对的圆心角的度数的一半） ∠BOC=2∠CAB（圆心角等于圆周角的两倍）∴∠TCB=∠CAB（定理：弦切角的度数等于它所夹的弧的圆周角）证明已知...
