【菜科解读】

相交弦定理(Intersecting Chords Theorem)，数学术语，经过圆内一点引两条弦，各弦被这点所分成的两线段的积相等。

几何语言:若圆内任意弦AB、弦CD交于点P，则PA·PB=PC·PD(相交弦定理)

相关定理：相交弦定理为圆幂定理之一，其他三条定理为:切割线定理、割线定理、弦切角定理。

证明:连结AC，BD，由圆周角定理的推论，得∠A=∠D，∠C=∠B。

(圆周角推论2: 在同圆或等圆中，同(等)弧所对圆周角相等。

)∴△PAC∽△PDB    ∴PA∶PD=PC∶PB，PA·PB=PC·PD

注:其逆定理可作为证明四边形是圆的内接四边形的方法. P点若选在圆内任意一点更具一般性。

其逆定理也可用于证明四点共圆。

推论：如果弦与直径垂直相交，那么弦的一半是它所分直径所成的两条线段的比例中项。

几何语言:若AB是直径，CD垂直AB于点P，则PC²=PA·PB(相交弦定理推论)

比较：相交弦定理、切割线定理及割线定理(切割线定理推论)以及他们的推论统称为圆幂定理。

一般用于求线段长度。

当P点在圆内时称为相交弦定理，当P点在圆上时称为切割线定理，当P点在圆外时称为割线定理。

三条定理统称为圆幂定理。

其中|OP²-R²|称为P点对圆O的幂。

(R为圆O的半径)

勾股定理现约有五百种证明方法，是数学定理中证明方法最多的定理之一

若设直角边为 a、b，斜边为 c，则公式为：a2+b2=c2核心要点名称由来中国古代称直角三角形短直角边为 “勾”，长直角边为 “股”，斜边为 “弦”，因而得名；

西方则以毕达哥拉斯命名。

逆定理（判定直角）若三角形三边长 a、b、c（c 为最长边）满足 a2+b2=c2，则该三角形为直角三角形，且直角在 a、b 夹角处。

经典整数解（勾股数）满足定理的正整数组合，如：基础组：(3, 4, 5)、(5, 12, 13)倍数组：(6, 8, 10)（3,4,5 的 2 倍）两种经典证明（直观易懂）1. 赵爽弦图（中国古代，面积割补法）将 4 个全等的直角三角形（直角边 a、b，斜边 c）拼成边长为 c 的大正方形，内部形成边长为 b−a 的小正方形。

大正方形面积：c2总面积也可表示为：4 个三角形面积 + 小正方形面积 = 421ab+(b−a)2化简得：c2=2ab+b2−2ab+a2=a2+b2，得证。

2. 相似三角形法（简洁严谨）在 Rt△ABC 中，作斜边 AB 上的高 CD，将原三角形分为△ACD 和△CBD，三者两两相似。

由△ABC∽△ACD，得 AC2=ABAD由△ABC∽△CBD，得 BC2=ABBD两式相加：AC2+BC2=AB(AD+BD)=AB2，即 a2+b2=c2。

常见应用求边长：已知直角三角形两边，求第三边（如 a=3，b=4，则 c=32+42=5）。

判定直角：用逆定理判断三角形是否为直角三角形。

实际场景：计算两点间距离（如坐标平面内点 (x1,y1) 与 (x2,y2) 的距离为 (x2−x1)2+(y2−y1)2）、工程测量、几何建模等。

关键提示仅适用于直角三角形，非直角三角形需用余弦定理。

勾股定理是余弦定理的特例（当夹角为 90 时，cos90=0）。

世界上最难十大数学题：霍奇猜想排名第一，四色定理上榜

2、NP完全问题NP完全问题是一个多项式复杂程度的非确定性问题，公式写作NP=P?，但是不确定NP等于P，还是NP不等于P。

3、庞加莱猜想庞加莱猜想内容是“任何一个单连通的，闭的三维流形一定同胚于一个三维的球面"，此猜想能够帮助人们更好的理解和研究三维空间，其中的三维情形被俄罗斯数学家格里戈里·佩雷尔曼证明。

4、黎曼假设黎曼假设是一个数学猜想，是一个关于黎曼ζ函数ζ(s)的零点分布的猜想，它们在纯数学以及其他应用中都起到了很大的作用，该猜想也是克雷数学研究所悬赏的世界七大数学难题之一。

5、杨-米尔斯存在性和质量缺口杨-米尔斯存在性和质量缺口描述了重粒子，同时又确认了在数学上严格的方程没有已知的解，该定律虽被大多数物理学家确认，但是至今仍未在数学上得到一个令人满意的证实。

6、纳卫尔-斯托可方程的存在性与光滑性纳卫尔-斯托可方程的存在性与光滑性描述了我们日常生活中见到的起伏的波浪、湍急的气流的运动方向，但是我们对于这个方程的理解仍然非常少。

7、BSD猜想BSD猜想主要描述了阿贝尔簇的算术性质与解析性质之间的联系，由BSD猜想可推导出 奇偶性猜想、西尔维斯特猜想等猜想，但同时，这个猜想也还未被证实。

8、四色定理四色定理通过应用几何的原理证明了平面内是无法构造五个及五个以上的两两相连的区域，解决了空间问题，具有重要的意义，但同时它也是数学界的一大难题。

9、哥德巴赫猜想哥德巴赫猜想表述为“任一大于2的整数都可写成三个质数之和"，是哥德巴赫在1742年在给欧拉的信中提出的一个猜想，但是直到死去，欧拉也没有证明这一猜想。

10、费马猜想费马猜想指的是“当整数n > 2时，关于x,y,z的不定方程 x^n + y^n = z^n 无正整数解"，不过该猜想在1994年时被英国的数学家安德鲁·怀尔斯完成了。