數學定理證明

❶ 用數學定理證明

n^3-(n-1)^3=3n^2-3n+1
(n-1)^3-(n-2)^3=3n^2-9n+7=3(n-1)^2-3(n-1)+1
........
2^3-1^3=3*2^2-3*2+1
累加
把1^3移去等號右邊又1^3=3*1^2-3*1+1
n^3=3[1+4+9+````+n^2]-3(1+2+``+n)+n
1+4+9+````+n^2=[n^3-3n(n+1)/2-n]/3==[n(n+1)(2n+1)]/6
n得3
4
5
6
·····次方的和都是這樣求的

❷ 高中數學公式定理證明

數學公式
拋物線：y = ax *+ bx + c
就是y等於ax 的平方加上 bx再加上 c
a > 0時開口向上
a < 0時開口向下
c = 0時拋物線經過原點
b = 0時拋物線對稱軸為y軸
還有頂點式y = a（x+h）* + k
就是y等於a乘以（x+h）的平方+k
-h是頂點坐標的x
k是頂點坐標的y
一般用於求最大值與最小值
拋物線標准方程:y^2=2px
它表示拋物線的焦點在x的正半軸上,焦點坐標為(p/2,0) 准線方程為x=-p/2
由於拋物線的焦點可在任意半軸,故共有標准方程y^2=2px y^2=-2px x^2=2py x^2=-2py
圓：體積=4/3(pi）(r^3)
面積=(pi)(r^2)
周長=2(pi)r
圓的標准方程 (x-a)2+(y-b)2=r2 註：（a,b）是圓心坐標
圓的一般方程 x2+y2+Dx+Ey+F=0 註：D2+E2-4F>0
（一）橢圓周長計算公式
橢圓周長公式：L=2πb+4(a-b)
橢圓周長定理：橢圓的周長等於該橢圓短半軸長為半徑的圓周長（2πb）加上四倍的該橢圓長半軸長（a）與短半軸長（b）的差。
（二）橢圓面積計算公式
橢圓面積公式： S=πab
橢圓面積定理：橢圓的面積等於圓周率（π）乘該橢圓長半軸長（a）與短半軸長（b）的乘積。
以上橢圓周長、面積公式中雖然沒有出現橢圓周率T，但這兩個公式都是通過橢圓周率T推導演變而來。常數為體，公式為用。
橢圓形物體 體積計算公式橢圓 的 長半徑*短半徑*PAI*高
三角函數：
兩角和公式
sin(A+B)=sinAcosB+cosAsinB sin(A-B)=sinAcosB-sinBcosA
cos(A+B)=cosAcosB-sinAsinB cos(A-B)=cosAcosB+sinAsinB
tan(A+B)=(tanA+tanB)/(1-tanAtanB) tan(A-B)=(tanA-tanB)/(1+tanAtanB)
cot(A+B)=(cotAcotB-1)/(cotB+cotA) cot(A-B)=(cotAcotB+1)/(cotB-cotA)
倍角公式
tan2A=2tanA/(1-tan2A) cot2A=(cot2A-1)/2cota
cos2a=cos2a-sin2a=2cos2a-1=1-2sin2a
sinα+sin(α+2π/n)+sin(α+2π*2/n)+sin(α+2π*3/n)+……+sin[α+2π*(n-1)/n]=0
cosα+cos(α+2π/n)+cos(α+2π*2/n)+cos(α+2π*3/n)+……+cos[α+2π*(n-1)/n]=0 以及
sin^2(α)+sin^2(α-2π/3)+sin^2(α+2π/3)=3/2
tanAtanBtan(A+B)+tanA+tanB-tan(A+B)=0
·萬能公式：
sinα=2tan(α/2)/[1+tan^2(α/2)]
cosα=[1-tan^2(α/2)]/[1+tan^2(α/2)]
tanα=2tan(α/2)/[1-tan^2(α/2)]
半形公式
sin(A/2)=√((1-cosA)/2) sin(A/2)=-√((1-cosA)/2)
cos(A/2)=√((1+cosA)/2) cos(A/2)=-√((1+cosA)/2)
tan(A/2)=√((1-cosA)/((1+cosA)) tan(A/2)=-√((1-cosA)/((1+cosA))
cot(A/2)=√((1+cosA)/((1-cosA)) cot(A/2)=-√((1+cosA)/((1-cosA))
和差化積
2sinAcosB=sin(A+B)+sin(A-B) 2cosAsinB=sin(A+B)-sin(A-B)
2cosAcosB=cos(A+B)-sin(A-B) -2sinAsinB=cos(A+B)-cos(A-B)
sinA+sinB=2sin((A+B)/2)cos((A-B)/2 cosA+cosB=2cos((A+B)/2)sin((A-B)/2)
tanA+tanB=sin(A+B)/cosAcosB tanA-tanB=sin(A-B)/cosAcosB
cotA+cotBsin(A+B)/sinAsinB -cotA+cotBsin(A+B)/sinAsinB
某些數列前n項和
1+2+3+4+5+6+7+8+9+…+n=n(n+1)/2 1+3+5+7+9+11+13+15+…+(2n-1)=n2
2+4+6+8+10+12+14+…+(2n)=n(n+1) 1^2+2^2+3^2+4^2+5^2+6^2+7^2+8^2+…+n^2=n(n+1)(2n+1)/6
1^3+2^3+3^3+4^3+5^3+6^3+…n^3=(n(n+1)/2)^2 1*2+2*3+3*4+4*5+5*6+6*7+…+n(n+1)=n(n+1)(n+2)/3
正弦定理 a/sinA=b/sinB=c/sinC=2R 註： 其中 R 表示三角形的外接圓半徑
餘弦定理 b2=a2+c2-2accosB 註：角B是邊a和邊c的夾角
乘法與因式分 a2-b2=(a+b)(a-b) a3+b3=(a+b)(a2-ab+b2) a3-b3=(a-b(a2+ab+b2)
三角不等式 |a+b|≤|a|+|b| |a-b|≤|a|+|b| |a|≤b<=>-b≤a≤b
|a-b|≥|a|-|b| -|a|≤a≤|a|
一元二次方程的解 -b+√(b2-4ac)/2a -b-√(b2-4ac)/2a
根與系數的關系 x1+x2=-b/a x1*x2=c/a 註：韋達定理
判別式 b2-4a=0 註：方程有相等的兩實根
b2-4ac>0 註：方程有兩個不相等的個實根
b2-4ac<0 註：方程有共軛復數根
公式分類 公式表達式
圓的標准方程 (x-a)2+(y-b)2=r2 註：（a,b）是圓心坐標
圓的一般方程 x2+y2+Dx+Ey+F=0 註：D2+E2-4F>0
拋物線標准方程 y2=2px y2=-2px x2=2py x2=-2py
直稜柱側面積 S=c*h 斜稜柱側面積 S=c'*h
正棱錐側面積 S=1/2c*h' 正稜台側面積 S=1/2(c+c')h'
圓台側面積 S=1/2(c+c')l=pi(R+r)l 球的表面積 S=4pi*r2
圓柱側面積 S=c*h=2pi*h 圓錐側面積 S=1/2*c*l=pi*r*l
弧長公式 l=a*r a是圓心角的弧度數r >0 扇形面積公式 s=1/2*l*r
錐體體積公式 V=1/3*S*H 圓錐體體積公式 V=1/3*pi*r2h
斜稜柱體積 V=S'L 註：其中,S'是直截面面積， L是側棱長
柱體體積公式 V=s*h 圓柱體 V=pi*r2h
圖形周長 面積 體積公式
長方形的周長=（長+寬）×2
正方形的周長=邊長×4
長方形的面積=長×寬
正方形的面積=邊長×邊長
三角形的面積
已知三角形底a，高h，則S＝ah/2
已知三角形三邊a,b,c,半周長p,則S＝ √[p(p - a)(p - b)(p - c)] （海倫公式）（p=(a+b+c)/2）
和：（a+b+c)*(a+b-c)*1/4
已知三角形兩邊a,b,這兩邊夾角C，則S＝absinC/2
設三角形三邊分別為a、b、c，內切圓半徑為r
則三角形面積=(a+b+c)r/2
設三角形三邊分別為a、b、c，外接圓半徑為r
則三角形面積=abc/4r
已知三角形三邊a、b、c,則S＝ √{1/4[c^2a^2-((c^2+a^2-b^2)/2)^2]} (「三斜求積」 南宋秦九韶）
| a b 1 |
S△=1/2 * | c d 1 |
| e f 1 |
【| a b 1 |
| c d 1 | 為三階行列式,此三角形ABC在平面直角坐標系內A(a,b),B(c,d), C(e,f),這里ABC
| e f 1 |
選區取最好按逆時針順序從右上角開始取，因為這樣取得出的結果一般都為正值，如果不按這個規則取，可能會得到負值，但不要緊，只要取絕對值就可以了，不會影響三角形面積的大小！】
秦九韶三角形中線面積公式:
S=√[(Ma+Mb+Mc)*(Mb+Mc-Ma)*(Mc+Ma-Mb)*(Ma+Mb-Mc)]/3
其中Ma,Mb,Mc為三角形的中線長.
平行四邊形的面積=底×高
梯形的面積=（上底+下底）×高÷2
直徑=半徑×2 半徑=直徑÷2
圓的周長=圓周率×直徑=
圓周率×半徑×2
圓的面積=圓周率×半徑×半徑
長方體的表面積=
（長×寬+長×高＋寬×高）×2
長方體的體積 =長×寬×高
正方體的表面積=棱長×棱長×6
正方體的體積=棱長×棱長×棱長
圓柱的側面積=底面圓的周長×高
圓柱的表面積=上下底面面積+側面積
圓柱的體積=底面積×高
圓錐的體積=底面積×高÷3
長方體（正方體、圓柱體）
的體積=底面積×高
平面圖形
名稱 符號 周長C和面積S
正方形 a—邊長 C＝4a
S＝a2
長方形 a和b－邊長 C＝2(a+b)
S＝ab
三角形 a,b,c－三邊長
h－a邊上的高
s－周長的一半
A,B,C－內角
其中s＝(a+b+c)/2 S＝ah/2
＝ab/2?sinC
＝[s(s-a)(s-b)(s-c)]1/2
＝a2sinBsinC/(2sinA)
1 過兩點有且只有一條直線
2 兩點之間線段最短
3 同角或等角的補角相等
4 同角或等角的餘角相等
5 過一點有且只有一條直線和已知直線垂直
6 直線外一點與直線上各點連接的所有線段中，垂線段最短
7 平行公理 經過直線外一點，有且只有一條直線與這條直線平行
8 如果兩條直線都和第三條直線平行，這兩條直線也互相平行
9 同位角相等，兩直線平行
10 內錯角相等，兩直線平行
11 同旁內角互補，兩直線平行
12兩直線平行，同位角相等
13 兩直線平行，內錯角相等
14 兩直線平行，同旁內角互補
15 定理 三角形兩邊的和大於第三邊
16 推論 三角形兩邊的差小於第三邊
17 三角形內角和定理 三角形三個內角的和等於180°
18 推論1 直角三角形的兩個銳角互余
19 推論2 三角形的一個外角等於和它不相鄰的兩個內角的和
20 推論3 三角形的一個外角大於任何一個和它不相鄰的內角
21 全等三角形的對應邊、對應角相等
22邊角邊公理(sas) 有兩邊和它們的夾角對應相等的兩個三角形全等
23 角邊角公理( asa)有兩角和它們的夾邊對應相等的兩個三角形全等
24 推論(aas) 有兩角和其中一角的對邊對應相等的兩個三角形全等
25 邊邊邊公理(sss) 有三邊對應相等的兩個三角形全等
26 斜邊、直角邊公理(hl) 有斜邊和一條直角邊對應相等的兩個直角三角形全等
27 定理1 在角的平分線上的點到這個角的兩邊的距離相等
28 定理2 到一個角的兩邊的距離相同的點，在這個角的平分線上
29 角的平分線是到角的兩邊距離相等的所有點的集合
30 等腰三角形的性質定理 等腰三角形的兩個底角相等 (即等邊對等角）
31 推論1 等腰三角形頂角的平分線平分底邊並且垂直於底邊
32 等腰三角形的頂角平分線、底邊上的中線和底邊上的高互相重合
33 推論3 等邊三角形的各角都相等，並且每一個角都等於60°
34 等腰三角形的判定定理 如果一個三角形有兩個角相等，那麼這兩個角所對的邊也相等（等角對等邊）
35 推論1 三個角都相等的三角形是等邊三角形
36 推論 2 有一個角等於60°的等腰三角形是等邊三角形
37 在直角三角形中，如果一個銳角等於30°那麼它所對的直角邊等於斜邊的一半
38 直角三角形斜邊上的中線等於斜邊上的一半
39 定理 線段垂直平分線上的點和這條線段兩個端點的距離相等
40 逆定理 和一條線段兩個端點距離相等的點，在這條線段的垂直平分線上
41 線段的垂直平分線可看作和線段兩端點距離相等的所有點的集合
42 定理1 關於某條直線對稱的兩個圖形是全等形
43 定理 2 如果兩個圖形關於某直線對稱，那麼對稱軸是對應點連線的垂直平分線 44定理3 兩個圖形關於某直線對稱，如果它們的對應線段或延長線相交，那麼交點在對稱軸上
45逆定理 如果兩個圖形的對應點連線被同一條直線垂直平分，那麼這兩個圖形關於這條直線對稱
46勾股定理 直角三角形兩直角邊a、b的平方和、等於斜邊c的平方，即a^2+b^2=c^2
47勾股定理的逆定理 如果三角形的三邊長a、b、c有關系a^2+b^2=c^2 ，那麼這個三角形是直角三角形
48定理 四邊形的內角和等於360°
49四邊形的外角和等於360°
50多邊形內角和定理 n邊形的內角的和等於（n-2）×180°
51推論 任意多邊的外角和等於360°
52平行四邊形性質定理1 平行四邊形的對角相等
53平行四邊形性質定理2 平行四邊形的對邊相等
54推論 夾在兩條平行線間的平行線段相等
55平行四邊形性質定理3 平行四邊形的對角線互相平分
56平行四邊形判定定理1 兩組對角分別相等的四邊形是平行四邊形
57平行四邊形判定定理2 兩組對邊分別相等的四邊形是平行四邊形
58平行四邊形判定定理3 對角線互相平分的四邊形是平行四邊形
59平行四邊形判定定理4 一組對邊平行相等的四邊形是平行四邊形
60矩形性質定理1 矩形的四個角都是直角
61矩形性質定理2 矩形的對角線相等
62矩形判定定理1 有三個角是直角的四邊形是矩形
63矩形判定定理2 對角線相等的平行四邊形是矩形
64菱形性質定理1 菱形的四條邊都相等
65菱形性質定理2 菱形的對角線互相垂直，並且每一條對角線平分一組對角
66菱形面積=對角線乘積的一半，即s=（a×b）÷2
67菱形判定定理1 四邊都相等的四邊形是菱形
68菱形判定定理2 對角線互相垂直的平行四邊形是菱形
69正方形性質定理1 正方形的四個角都是直角，四條邊都相等
70正方形性質定理2正方形的兩條對角線相等，並且互相垂直平分，每條對角線平分一組對角
71定理1 關於中心對稱的兩個圖形是全等的
72定理2 關於中心對稱的兩個圖形，對稱點連線都經過對稱中心，並且被對稱中心平分
73逆定理 如果兩個圖形的對應點連線都經過某一點，並且被這一點平分，那麼這兩個圖形關於這一點對稱
74等腰梯形性質定理 等腰梯形在同一底上的兩個角相等
75等腰梯形的兩條對角線相等
76等腰梯形判定定理 在同一底上的兩個角相等的梯形是等腰梯形
77對角線相等的梯形是等腰梯形
78平行線等分線段定理 如果一組平行線在一條直線上截得的線段相等，那麼在其他直線上截得的線段也相等
79 推論1 經過梯形一腰的中點與底平行的直線，必平分另一腰
80 推論2 經過三角形一邊的中點與另一邊平行的直線，必平分第三邊
81 三角形中位線定理 三角形的中位線平行於第三邊，並且等於它的一半
82 梯形中位線定理 梯形的中位線平行於兩底，並且等於兩底和的一半 l=（a+b）÷2 s=l×h
83 (1)比例的基本性質 如果a:b=c:d,那麼ad=bc 如果ad=bc,那麼a:b=c:d
84 (2)合比性質 如果a／b=c／d,那麼(a±b)／b=(c±d)／d
85 (3)等比性質 如果a／b=c／d=…=m／n(b+d+…+n≠0),那麼 (a+c+…+m)／(b+d+…+n)=a／b
86 平行線分線段成比例定理 三條平行線截兩條直線，所得的對應線段成比例
87 推論 平行於三角形一邊的直線截其他兩邊（或兩邊的延長線），所得的對應線段成比例
88 定理 如果一條直線截三角形的兩邊（或兩邊的延長線）所得的對應線段成比例，那麼這條直線平行於三角形的第三邊
89 平行於三角形的一邊，並且和其他兩邊相交的直線，所截得的三角形的三邊與原三角形三邊對應成比例
90 定理 平行於三角形一邊的直線和其他兩邊（或兩邊的延長線）相交，所構成的三角形與原三角形相似
91 相似三角形判定定理1 兩角對應相等，兩三角形相似（asa）
92 直角三角形被斜邊上的高分成的兩個直角三角形和原三角形相似
93 判定定理2 兩邊對應成比例且夾角相等，兩三角形相似（sas）
94 判定定理3 三邊對應成比例，兩三角形相似（sss）
95 定理 如果一個直角三角形的斜邊和一條直角邊與另一個直角三角形的斜邊和一條直角邊對應成比例，那麼這兩個直角三角形相似
96 性質定理1 相似三角形對應高的比，對應中線的比與對應角平分線的比都等於相似比
97 性質定理2 相似三角形周長的比等於相似比
98 性質定理3 相似三角形面積的比等於相似比的平方
99 任意銳角的正弦值等於它的餘角的餘弦值，任意銳角的餘弦值等
於它的餘角的正弦值
100任意銳角的正切值等於它的餘角的餘切值，任意銳角的餘切值等於它的餘角的正切值
101圓是定點的距離等於定長的點的集合
102圓的內部可以看作是圓心的距離小於半徑的點的集合
103圓的外部可以看作是圓心的距離大於半徑的點的集合
104同圓或等圓的半徑相等
105到定點的距離等於定長的點的軌跡，是以定點為圓心，定長為半徑的圓
106和已知線段兩個端點的距離相等的點的軌跡，是著條線段的垂直平分線
107到已知角的兩邊距離相等的點的軌跡，是這個角的平分線
108到兩條平行線距離相等的點的軌跡，是和這兩條平行線平行且距離相等的一條直線
109定理 不在同一直線上的三點確定一個圓。
110垂徑定理 垂直於弦的直徑平分這條弦並且平分弦所對的兩條弧
111推論1 ①平分弦（不是直徑）的直徑垂直於弦，並且平分弦所對的兩條弧
②弦的垂直平分線經過圓心，並且平分弦所對的兩條弧
③平分弦所對的一條弧的直徑，垂直平分弦，並且平分弦所對的另一條弧
112推論2 圓的兩條平行弦所夾的弧相等
113圓是以圓心為對稱中心的中心對稱圖形
114定理 在同圓或等圓中，相等的圓心角所對的弧相等，所對的弦相等，所對的弦的弦心距相等
115推論 在同圓或等圓中，如果兩個圓心角、兩條弧、兩條弦或兩弦的弦心距中有一組量相等那麼它們所對應的其餘各組量都相等
116定理 一條弧所對的圓周角等於它所對的圓心角的一半
117推論1 同弧或等弧所對的圓周角相等；同圓或等圓中，相等的圓周角所對的弧也相等
118推論2 半圓（或直徑）所對的圓周角是直角；90°的圓周角所 對的弦是直徑
119推論3 如果三角形一邊上的中線等於這邊的一半，那麼這個三角形是直角三角形
120定理 圓的內接四邊形的對角互補，並且任何一個外角都等於它的內對角
121①直線l和⊙o相交 d＜r
②直線l和⊙o相切 d=r
③直線l和⊙o相離 d＞r
122切線的判定定理 經過半徑的外端並且垂直於這條半徑的直線是圓的切線
123切線的性質定理 圓的切線垂直於經過切點的半徑
124推論1 經過圓心且垂直於切線的直線必經過切點
125推論2 經過切點且垂直於切線的直線必經過圓心
126切線長定理 從圓外一點引圓的兩條切線，它們的切線長相等，圓心和這一點的連線平分兩條切線的夾角
127圓的外切四邊形的兩組對邊的和相等
128弦切角定理 弦切角等於它所夾的弧對的圓周角
129推論 如果兩個弦切角所夾的弧相等，那麼這兩個弦切角也相等
130相交弦定理 圓內的兩條相交弦，被交點分成的兩條線段長的積相等
131推論 如果弦與直徑垂直相交，那麼弦的一半是它分直徑所成的
兩條線段的比例中項
132切割線定理 從圓外一點引圓的切線和割線，切線長是這點到割
線與圓交點的兩條線段長的比例中項
133推論 從圓外一點引圓的兩條割線，這一點到每條割線與圓的交點的兩條線段長的積相等
134如果兩個圓相切，那麼切點一定在連心線上
135①兩圓外離 d＞r+r ②兩圓外切 d=r+r
③兩圓相交 r-r＜d＜r+r(r＞r)
④兩圓內切 d=r-r(r＞r) ⑤兩圓內含d＜r-r(r＞r)
136定理 相交兩圓的連心線垂直平分兩圓的公共弦
137定理 把圓分成n(n≥3):
⑴依次連結各分點所得的多邊形是這個圓的內接正n邊形
⑵經過各分點作圓的切線，以相鄰切線的交點為頂點的多邊形是這個圓的外切正n邊形
138定理 任何正多邊形都有一個外接圓和一個內切圓，這兩個圓是同心圓
139正n邊形的每個內角都等於（n-2）×180°／n
140定理 正n邊形的半徑和邊心距把正n邊形分成2n個全等的直角三角形
141正n邊形的面積sn=pnrn／2 p表示正n邊形的周長
142正三角形面積√3a／4 a表示邊長
143如果在一個頂點周圍有k個正n邊形的角，由於這些角的和應為
360°，因此k×(n-2)180°／n=360°化為（n-2）(k-2)=4
144弧長計算公式：l=nπr／180
145扇形面積公式：s扇形=nπr2／360=lr／2
146內公切線長= d-(r-r) 外公切線長= d-(r+r)
147等腰三角形的兩個底腳相等
148等腰三角形的頂角平分線、底邊上的中線、底邊上的高相互重合
149如果一個三角形的兩個角相等，那麼這兩個角所對的邊也相等
150三條邊都相等的三角形叫做等邊三角形

❸ 一個數學定理證明

解：連接DE並倍長到P.連接BP,FP,EF.

在△DEC和△PEB中

∵DE=EP,∠BEP=∠DEC,BE=EC.

∴△DEC≌△PEB（SAS）.

∴CD=BP.S△DEC=S△PEB.

又∵DE平行且等於1/2AC,DE=EP.

∴EP平行且等於1/2AC.

即EP平行且等於AF.

∴四邊形AEPF為平行四邊形（對邊平行且相等的四邊形為平行四邊形）

∴AE=FP.S△EFP=S△AEF.

這樣△ABC的三條中線CD,BF,AE就構成了△BFP.

∵BF為中線，平分△ABC面積.

∴S△BAF=S△BFC.

又∵EF為△BFC中線，平分△BFC面積.

∴S△BEF=S△EFC=1/4S△ABC.

又∵CD為△ABC中線，平分△ABC面積.

∴S△ADC=S△BDC.

又∵DE平分△BDC面積.

∴S△BDE=S△DEC=1/4S△ABC.

∴S△BEP=S△DEC=1/4S△ABC.

∵AE為△ABC中線，平分△ABC面積.

∴S△BAE=S△AEC.

又∵EF平分△AEC.

∴S△AEF=S△EFC.

∴S△AFE=S△EFP=1/4S△ABC

∵S△BFP=S△BEF+S△BEP+S△EFP

=1/4S△ABC+1/4S△ABC+1/4S△ABC

=3/4S△ABC

也可以是證明如下:
記原來三角形為ABC
三邊上中線分別為AD BE CF
三中線交與一點記為G
延長AD至M使DM=DG
連接CM
容易得到
CM=BG=2/3 BE
MG=AG=2/3 AD
CG=2/3 CF
則由三中線為線段的三角形面積就是三角形CMG面積的9/4
而三角形CMG面積=三角形CMD+三角形CDG=三角形CDG+三角形BDG=三角形CBG=1/3 三角形ABC
即三中線為線段的三角形面積=9/4三角形CMG=9/4*(1/3 三角形ABC)=3/4三角形ABC

❹ 數學定理的推導問題

sin(A+B)=sinAcosB+cosAsinB證明
如圖
我們先來證明cos(A-B)=cosAcosB+sinAsinB
在標准圓中.AB為直徑.長度為1
由圓的性質可知角ADB和角ACB為90度.另做一條垂直線CE於AD上.
令角A為角BAC
角B為角DAC
則角(A-B)為角BAD
證明如下:
cos(A-B)=AD/AB=AD
①cosA=AC/AB=AC
②sinA=BC/AB=BC
③cosB=AE/AC
④sinB=CE/AC
聯立①③可知
cosB=AE/cosA
即cosAcosB=AE.
所以要證明cos(A-B)=cosAcosB+sinAsinB即要證明AD=AE+sinAsinB
又AD=AE+ED
即只要證明sinAsinB=ED即可
即要證明BC*CE/AC=ED
即要證明CE/AC=ED/BC
注意到三角形CEF相似於三角形BDF(三個角相同),則可知道ED/BC=EF/CF(相似三角形定理)
所以要證明命題.只需要證明CE/AC=EF/CF
注意到角ECF+角ECA=90度並且角ECA+角CAE=90度可知角ECF=角EAC.又角CEF=角AEC=90度.可推出三角形AEC相似於三角形CEF
即可以證明CE/AC=EF/CF
即證明了cos(A-B)=cosAcosB+sinA+sinB
由sinθ=cos(-θ)
得:sin(α+β)=cos[-(α+β)]
=cos[(-α)-β]
=cos(-α)cosβ+sin(-α)sinβ
又∵cos(-α)=sinα
sin(-α)=cosα
∴sin(α+β)=sinαcosβ+cosαsinβ

❺ 有關數學的定理公式以及證明

去網路吧！

❻ 哪些數學定理在直覺上是對的，但證明起來很困難

郭敦顒回答：
每個大於4的偶數都是兩個素數之和，這就是哥德巴赫猜想，寫成數學表達式是：
偶數2N＞4，PⅠ、PⅡ都是素數（在中小學將素數稱為質數），則
2N＝PⅠ＋PⅡ，PⅠ≤PⅡ≤N
很多數學家也將其簡記為（1+1）或「1+1」。
——摘自郭敦顒《哥德巴赫猜想證明》（2009年發表於博客中國，為網路快迅收錄）——
證明哥德巴赫猜想是很困難的，雖然有不少人自己宣稱證明了哥德巴赫猜想，但均尚未得到數學權威人士的認可。
常有人問「1+1等於幾？」
一，1+1=2。
二，為什麼1+1=2？
1+1=2這屬於公理，屬於公理系統的。孩子掰著手指開始學識數——
1+1=2，2+1=3，3+1=4，4+1=5，6+1=7，7+1=8，8+1=9，9+1=10。
雙手的手指都用完了，正好是10，這就是十進位制的來源。
自然數的皮亞諾公設與加法定義：
卡爾·亨佩爾在其論文《論數學真理的本性》中介紹了作為數學基礎的皮亞諾的公理系統——
現在考察一個公設系統，從它可以導出自然數的整個算術．這個系統是由義大利數學家和邏輯學家皮亞諾(1858—1932)設計的．…術語「數」 則專指自然數0,1,2,3…．自然數n的後繼有時簡稱n′,它用來指按自然順序緊跟n的那個自然數．皮亞諾系統包含下列五個公設：
P⒈ 0是一個數．
P⒉ 任何數的後繼是一個數．
P⒊ 不存在有同一後繼的兩個數．
P⒋ 0不是任何數的後繼．
P⒌ 如果P是一個性質，使(a)0具有性質P，(b)當一個數n具有性質P時，
n的後繼也具有性質P，那麼每一個數都具有性質P．
1+1=2，而不能是1+1=3。
1+1=2，2是1的後繼是唯一的，若1+1=3，則3是1的後繼，這樣1的後繼是3和2，這不符合「不存在有同一後繼的兩個數」的公理，所以1+1=2，1+1不能等於3或其它別的數值。
三，另外1+1加了引號「」成為「1+1」，是特有所指的，那是一個代號，是指偶數的哥德巴赫猜想——每個不小於6的偶數都是二個素數之和．例如，6=3＋3又如，24＝11＋13等等．這需要證明。
這一命題是一七四二年，哥德巴赫寫信給歐拉時提出的。
但不少人把作為哥德巴赫猜想代號的「1+1」與普通義意上1+1=2混為一談，產生了誤解，這是需要糾正的。
在二進制中，1+1=10。

❼ 數學定理證明

設圓內接四邊形的一邊為a，另一邊為b

則對角線r=根號（a方+b方)

所以a方+b方=根號(a方+b方）x根號(a方+b方)

a方+b方=a方+b方

所以圓內接四邊形對角線長度的乘積等於對邊長度乘積之和

❽ 數學上有哪些還未給出證明的定理

1.P（多項式演算法）問題對NP（非多項式演算法）問題
在一個周六的晚上，你參加了一個盛大的晚會。由於感到局促不安，你想知道這一大廳中是否有你已經認識的人。你的主人向你提議說，你一定認識那位正在甜點盤附近角落的女士羅絲。不費一秒鍾，你就能向那裡掃視，並且發現你的主人是正確的。然而，如果沒有這樣的暗示，你就必須環顧整個大廳，一個個地審視每一個人，看是否有你認識的人。生成問題的一個解通常比驗證一個給定的解時間花費要多得多。這是這種一般現象的一個例子。與此類似的是，如果某人告訴你，數13，717，421可以寫成兩個較小的數的乘積，你可能不知道是否應該相信他，但是如果他告訴你它可以因子分解為3607乘上3803，那麼你就可以用一個袖珍計算器容易驗證這是對的。不管我們編寫程序是否靈巧，判定一個答案是可以很快利用內部知識來驗證，還是沒有這樣的提示而需要花費大量時間來求解，被看作邏輯和計算機科學中最突出的問題之一。它是斯蒂文·考克（StephenCook）於1971年陳述的。
2.霍奇(Hodge)猜想
二十世紀的數學家們發現了研究復雜對象的形狀的強有力的辦法。基本想法是問在怎樣的程度上，我們可以把給定對象的形狀通過把維數不斷增加的簡單幾何營造塊粘合在一起來形成。這種技巧是變得如此有用，使得它可以用許多不同的方式來推廣；最終導至一些強有力的工具，使數學家在對他們研究中所遇到的形形色色的對象進行分類時取得巨大的進展。不幸的是，在這一推廣中，程序的幾何出發點變得模糊起來。在某種意義下，必須加上某些沒有任何幾何解釋的部件。霍奇猜想斷言，對於所謂射影代數簇這種特別完美的空間類型來說，稱作霍奇閉鏈的部件實際上是稱作代數閉鏈的幾何部件的(有理線性)組合。
3.龐加萊(Poincare)猜想
如果我們伸縮圍繞一個蘋果表面的橡皮帶，那麼我們可以既不扯斷它，也不讓它離開表面，使它慢慢移動收縮為一個點。另一方面，如果我們想像同樣的橡皮帶以適當的方向被伸縮在一個輪胎面上，那麼不扯斷橡皮帶或者輪胎面，是沒有辦法把它收縮到一點的。我們說，蘋果表面是「單連通的」，而輪胎面不是。大約在一百年以前，龐加萊已經知道，二維球面本質上可由單連通性來刻畫，他提出三維球面(四維空間中與原點有單位距離的點的全體)的對應問題。這個問題立即黎曼(Riemann)假設 有些數具有不能表示為兩個更小的數的乘積的特殊性質，例如，2,3,5,7,等等。這樣的數稱為素數；它們在純數學及其應用中都起著重要作用。在所有自然數中，這種素數的分布並不遵循任何有規則的模式；然而，德國數學家黎曼(1826~1866)觀察到，素數的頻率緊密相關於一個精心構造的所謂黎曼蔡塔函數z(s$的性態。著名的黎曼假設斷言，方程z(s)=0的所有有意義的解都在一條直線上。這點已經對於開始的1,500,000,000個解驗證過。證明它對於每一個有意義的解都成立將為圍繞素數分布的許多奧秘帶來光明。變得無比困難，從那時起，數學家們就在為此奮斗。
4.黎曼(Riemann)假設
有些數具有不能表示為兩個更小的數的乘積的特殊性質，例如，2,3,5,7,等等。這樣的數稱為素數；它們在純數學及其應用中都起著重要作用。在所有自然數中，這種素數的分布並不遵循任何有規則的模式；然而，德國數學家黎曼(1826~1866)觀察到，素數的頻率緊密相關於一個精心構造的所謂黎曼蔡塔函數z(s$的性態。著名的黎曼假設斷言，方程z(s)=0的所有有意義的解都在一條直線上。這點已經對於開始的1,500,000,000個解驗證過。證明它對於每一個有意義的解都成立將為圍繞素數分布的許多奧秘帶來光明。
5.楊－米爾斯(Yang-Mills)存在性和質量缺口
量子物理的定律是以經典力學的牛頓定律對宏觀世界的方式對基本粒子世界成立的。大約半個世紀以前，楊振寧和米爾斯發現，量子物理揭示了在基本粒子物理與幾何對象的數學之間的令人注目的關系。基於楊－米爾斯方程的預言已經在如下的全世界范圍內的實驗室中所履行的高能實驗中得到證實：布羅克哈文、斯坦福、歐洲粒子物理研究所和築波。盡管如此，他們的既描述重粒子、又在數學上嚴格的方程沒有已知的解。特別是，被大多數物理學家所確認、並且在他們的對於 「誇克」的不可見性的解釋中應用的「質量缺口」假設，從來沒有得到一個數學上令人滿意的證實。在這一問題上的進展需要在物理上和數學上兩方面引進根本上的新觀念。
6.納維葉－斯托克斯(Navier-Stokes)方程的存在性與光滑性
起伏的波浪跟隨著我們的正在湖中蜿蜒穿梭的小船，湍急的氣流跟隨著我們的現代噴氣式飛機的飛行。數學家和物理學家深信，無論是微風還是湍流，都可以通過理解納維葉－斯托克斯方程的解，來對它們進行解釋和預言。雖然這些方程是19世紀寫下的，我們對它們的理解仍然極少。挑戰在於對數學理論作出實質性的進展，使我們能解開隱藏在納維葉－斯托克斯方程中的奧秘。
7.貝赫(Birch)和斯維訥通－戴爾(Swinnerton-Dyer)猜想
數學家總是被諸如x^2+y^2=z^2那樣的代數方程的所有整數解的刻畫問題著迷。歐幾里德曾經對這一方程給出完全的解答，但是對於更為復雜的方程，這就變得極為困難。事實上，正如馬蒂雅謝維奇(Yu.V.Matiyasevich)指出，希爾伯特第十問題是不可解的，即，不存在一般的方法來確定這樣的方法是否有一個整數解。當解是一個阿貝爾簇的點時，貝赫和斯維訥通－戴爾猜想認為，有理點的群的大小與一個有關的蔡塔函數z(s)在點s=1附近的性態。特別是，這個有趣的猜想認為，如果z(1)等於0,那麼存在無限多個有理點(解)，相反，如果z(1)不等於0,那麼只存在有限多個這樣的點。
8.幾何尺規作圖問題
這里所說的「幾何尺規作圖問題」是指做圖限制只能用直尺、圓規，而這里的直尺是指沒有刻度只能畫直線的尺。「幾何尺規作圖問題」包括以下四個問題 1.化圓為方－求作一正方形使其面積等於一已知圓； 2.三等分任意角； 3.倍立方－求作一立方體使其體積是一已知立方體的二倍。 4.做正十七邊形。 以上四個問題一直困擾數學家二千多年都不得其解，而實際上這前三大問題都已證明不可能用直尺圓規經有限步驟可解決的。第四個問題是高斯用代數的方法解決的，他也視此為生平得意之作，還交待要把正十七邊形刻在他的墓碑上，但後來他的墓碑上並沒有刻上十七邊形，而是十七角星，因為負責刻碑的雕刻家認為，正十七邊形和圓太像了，大家一定分辨不出來。
9.哥德巴赫猜想
公元1742年6月7日哥德巴赫(Goldbach)寫信給當時的大數學家歐拉(Euler)，提出了以下的猜想: (a) 任何一個>=6之偶數，都可以表示成兩個奇質數之和。 (b) 任何一個>=9之奇數，都可以表示成三個奇質數之和。 從此，這道著名的數學難題引起了世界上成千上萬數學家的注意。200年過去了，沒有人證明它。哥德巴赫猜想由此成為數學皇冠上一顆可望不可及的「明珠」。
10.四色猜想
1852年，畢業於倫敦大學的弗南西斯.格思里來到一家科研單位搞地圖著色工作時，發現了一種有趣的現象：「看來，每幅地圖都可以用四種顏色著色，使得有共同邊界的國家著上不同的顏色。」 1872年，英國當時最著名的數學家凱利正式向倫敦數學學會提出了這個問題，於是四色猜想成了世界數學界關注的問題。世界上許多一流的數學家都紛紛參加了四色猜想的大會戰。 1976年，美國數學家阿佩爾與哈肯在美國伊利諾斯大學的兩台不同的電子計算機上，用了1200個小時，作了100億判斷，終於完成了四色定理的證明。四色猜想的計算機證明，轟動了世界。

❾ 初中數學所有定理的證明

三角形三條邊的關系 定理：三角形兩邊的和大於第三邊 推論：三角形兩邊的差小於第三邊 三角形內角和 三角形內角和定理 三角形三個內角的和等於180° 推論1 直角三角形的兩個銳角互余 推論2 三角形的一個外角等於和它不相鄰的兩個內角和 推論3 三角形的一個外角大雨任何一個和它不相鄰的內角 角的平分線 性質定理 在角的平分線上的點到這個角的兩邊的距離相等 幾何語言： ∵OC是∠AOB的角平分線（或者∠AOC＝∠BOC） PE⊥OA，PF⊥OB 點P在OC上 ∴PE＝PF（角平分線性質定理） 判定定理 到一個角的兩邊的距離相等的點，在這個角的平分線上 幾何語言： ∵PE⊥OA，PF⊥OB PE＝PF ∴點P在∠AOB的角平分線上（角平分線判定定理） 等腰三角形的性質 等腰三角形的性質定理 等腰三角形的兩底角相等 幾何語言： ∵AB＝AC ∴∠B＝∠C（等邊對等角） 推論1 等腰三角形頂角的平分線平分底邊並且垂直於底邊 幾何語言： （1）∵AB＝AC，BD＝DC ∴∠1＝∠2，AD⊥BC（等腰三角形頂角的平分線垂直平分底邊） （2）∵AB＝AC，∠1＝∠2 ∴AD⊥BC，BD＝DC（等腰三角形頂角的平分線垂直平分底邊） （3）∵AB＝AC，AD⊥BC ∴∠1＝∠2，BD＝DC（等腰三角形頂角的平分線垂直平分底邊） 推論2 等邊三角形的各角都相等，並且每一個角等於60° 幾何語言： ∵AB＝AC＝BC ∴∠A＝∠B＝∠C＝60°（等邊三角形的各角都相等，並且每一個角都等於60°） 等腰三角形的判定 判定定理 如果一個三角形有兩個角相等，那麼這兩個角所對的邊也相等 幾何語言： ∵∠B＝∠C ∴AB＝AC（等角對等邊） 推論1 三個角都相等的三角形是等邊三角形 幾何語言： ∵∠A＝∠B＝∠C ∴AB＝AC＝BC（三個角都相等的三角形是等邊三角形） 推論2 有一個角等於60°的等腰三角形是等邊三角形 幾何語言： ∵AB＝AC，∠A＝60°（∠B＝60°或者∠C＝60°） ∴AB＝AC＝BC（有一個角等於60°的等腰三角形是等邊三角形） 推論3 在直角三角形中，如果一個銳角等於30°，那麼它所對的直角邊等於斜邊的一半 幾何語言： ∵∠C＝90°，∠B＝30° ∴BC＝ AB或者AB＝2BC（在直角三角形中，如果一個銳角等於30°，那麼它所對的直角邊等於斜邊的一半） 線段的垂直平分線 定理 線段垂直平分線上的點和這條線段兩個端點的距離相等 幾何語言： ∵MN⊥AB於C，AB＝BC，（MN垂直平分AB） 點P為MN上任一點 ∴PA＝PB（線段垂直平分線性質） 逆定理 和一條線段兩個端點距離相等的點，在這條線段的垂直平分線上 幾何語言： ∵PA＝PB ∴點P在線段AB的垂直平分線上（線段垂直平分線判定） 軸對稱和軸對稱圖形 定理1 關於某條之間對稱的兩個圖形是全等形 定理2 如果兩個圖形關於某直線對稱，那麼對稱軸是對應點連線的垂直平分線 定理3 兩個圖形關於某直線對稱，若它們的對應線段或延長線相交，那麼交點在對稱軸上 逆定理 若兩個圖形的對應點連線被同一條直線垂直平分，那這兩個圖形關於這條直線對稱 勾股定理 勾股定理 直角三角形兩直角邊a、b的平方和，等於斜邊c的平方，即 a2 ＋ b2 ＝ c2 勾股定理的逆定理 勾股定理的逆定理 如果三角形的三邊長a、b、c有關系，那麼這個三角形是直角三角形 四邊形 定理 任意四邊形的內角和等於360° 多邊形內角和 定理 多邊形內角和定理n邊形的內角的和等於（n － 2）·180° 推論 任意多邊形的外角和等於360° 平行四邊形及其性質 性質定理1 平行四邊形的對角相等 性質定理2 平行四邊形的對邊相等 推論 夾在兩條平行線間的平行線段相等 性質定理3 平行四邊形的對角線互相平分 幾何語言： ∵四邊形ABCD是平行四邊形 ∴AD‖BC，AB‖CD（平行四邊形的對角相等） ∠A＝∠C，∠B＝∠D（平行四邊形的對邊相等） AO＝CO，BO＝DO（平行四邊形的對角線互相平分） 平行四邊形的判定 判定定理1 兩組對邊分別平行的四邊形是平行四邊形 幾何語言： ∵AD‖BC，AB‖CD ∴四邊形ABCD是平行四邊形 （兩組對邊分別平行的四邊形是平行四邊形） 判定定理2 兩組對角分別相等的四邊形是平行四邊形 幾何語言： ∵∠A＝∠C，∠B＝∠D ∴四邊形ABCD是平行四邊形 （兩組對角分別相等的四邊形是平行四邊形） 判定定理3 兩組對邊分別相等的四邊形是平行四邊形 幾何語言： ∵AD＝BC，AB＝CD ∴四邊形ABCD是平行四邊形 （兩組對邊分別相等的四邊形是平行四邊形） 判定定理4 對角線互相平分的四邊形是平行四邊形 幾何語言： ∵AO＝CO，BO＝DO ∴四邊形ABCD是平行四邊形 （對角線互相平分的四邊形是平行四邊形） 判定定理5 一組對邊平行且相等的四邊形是平行四邊形 幾何語言： ∵AD‖BC，AD＝BC ∴四邊形ABCD是平行四邊形 （一組對邊平行且相等的四邊形是平行四邊形） 矩形 性質定理1 矩形的四個角都是直角 性質定理2 矩形的對角線相等 幾何語言： ∵四邊形ABCD是矩形 ∴AC＝BD（矩形的對角線相等） ∠A＝∠B＝∠C＝∠D＝90°（矩形的四個角都是直角） 推論 直角三角形斜邊上的中線等於斜邊的一半 幾何語言： ∵△ABC為直角三角形，AO＝OC ∴BO＝ AC（直角三角形斜邊上的中線等於斜邊的一半） 判定定理1 有三個角是直角的四邊形是矩形 幾何語言： ∵∠A＝∠B＝∠C＝90° ∴四邊形ABCD是矩形（有三個角是直角的四邊形是矩形） 判定定理2 對角線相等的平行四邊形是矩形 幾何語言： ∵AC＝BD ∴四邊形ABCD是矩形（對角線相等的平行四邊形是矩形） 菱形 性質定理1 菱形的四條邊都相等 性質定理2 菱形的對角線互相垂直，並且每一條對角線平分一組對角 幾何語言： ∵四邊形ABCD是菱形 ∴AB＝BC＝CD＝AD（菱形的四條邊都相等） AC⊥BD，AC平分∠DAB和∠DCB，BD平分∠ABC和∠ADC （菱形的對角線互相垂直，並且每一條對角線平分一組對角） 判定定理1 四邊都相等的四邊形是菱形 幾何語言： ∵AB＝BC＝CD＝AD ∴四邊形ABCD是菱形（四邊都相等的四邊形是菱形） 判定定理2 對角線互相垂直的平行四邊形是菱形 幾何語言： ∵AC⊥BD，AO＝CO，BO＝DO ∴四邊形ABCD是菱形（對角線互相垂直的平行四邊形是菱形） 正方形 性質定理1 正方形的四個角都是直角，四條邊都相等 性質定理2 正方形的兩條對角線相等，並且互相垂直平分，每條對角線平分一組對角 中心對稱和中心對稱圖形 定理1 關於中心對稱的兩個圖形是全等形 定理2 關於中心對稱的兩個圖形，對稱點連線都經過對稱中心，並且被對稱中心平分 逆定理 如果兩個圖形的對應點連線都經過某一點，並且被這一點平分，那麼這兩個圖形關於這一點對稱 梯形 等腰梯形性質定理 等腰梯形在同一底上的兩個角相等 幾何語言： ∵四邊形ABCD是等腰梯形 ∴∠A＝∠B，∠C＝∠D（等腰梯形在同一底上的兩個角相等） 等腰梯形判定定理 在同一底上的兩個角相等的梯形是等腰梯形 幾何語言： ∵∠A＝∠B，∠C＝∠D ∴四邊形ABCD是等腰梯形（在同一底上的兩個角相等的梯形是等腰梯形） 三角形、梯形中位線 三角形中位線定理 三角形的中位線平行與第三邊，並且等於它的一半 幾何語言： ∵EF是三角形的中位線 ∴EF＝ AB（三角形中位線定理） 梯形中位線定理 梯形的中位線平行與兩底，並且等於兩底和的一半 幾何語言： ∵EF是梯形的中位線 ∴EF＝ (AB＋CD)（梯形中位線定理） 比例線段 1、 比例的基本性質 如果a∶b＝c∶d，那麼ad＝bc 2、 合比性質 3、 等比性質 平行線分線段成比例定理 平行線分線段成比例定理 三條平行線截兩條直線，所得的對應線段成比例 幾何語言： ∵l‖p‖a （三條平行線截兩條直線，所得的對應線段成比例） 推論 平行與三角形一邊的直線截其他兩邊（或兩邊的延長線），所得的對應線段成比例 定理 如果一條直線截三角形的兩邊（或兩邊的延長線）所得的對應線段成比例，那麼這條直線平行與三角形的第三邊 垂直於弦的直徑 垂徑定理 垂直於弦的直徑平分這條弦，並且平分弦所對的兩條弧 幾何語言： ∵OC⊥AB，OC過圓心 （垂徑定理） 推論1 （1） 平分弦（不是直徑）的直徑垂直於弦，並且平分弦所對的兩條弧 幾何語言： ∵OC⊥AB，AC＝BC，AB不是直徑 （平分弦（不是直徑）的直徑垂直於弦，並且平分弦所對的兩條弧） （2） 弦的垂直平分線過圓心，並且平分弦所對的兩條弧 幾何語言： ∵AC＝BC，OC過圓心 （弦的垂直平分線過圓心，並且平分弦所對的兩條弧） （3） 平分弦所對的一條弧的直徑，垂直平分弦，並且平分弦所對的另一條弧 幾何語言： （平分弦所對的一條弧的直徑，垂直平分弦，並且平分弦所對的另一條弧） 推論2 圓的兩條平分弦所夾的弧相等 幾何語言：∵AB‖CD 圓心角、弧、弦、弦心距之間的關系 定理 在同圓或等圓中，相等的圓心角所對的弧相等，所對的弦相等，所對的弦的弦心距也相等 推論 在同圓或等圓中，如果兩個圓心角、兩條弧、兩條弦或兩條弦的弦心距中有一組量相等，那麼它們所對應的其餘各組量都分別相等 圓周角 定理 一條弧所對的圓周角等於它所對的圓心角的一半 推論1 同弧或等弧所對的圓周角相等；同圓或等圓中，相等的圓周角所對的弧也相等 推論2 半圓（或直徑）所對的圓周角是直角；90°的圓周角所對的弦是直角 推論3 如果三角形一邊上的中線等於這邊的一半，那麼這個三角形是直角三角形 圓的內接四邊形 定理 圓的內接四邊形的對角互補，並且任何一個外角都等於它的內對角 幾何語言： ∵四邊形ABCD是⊙O的內接四邊形 ∴∠A＋∠C＝180°，∠B＋∠ADB＝180°，∠B＝∠ADE 切線的判定和性質 切線的判定定理 經過半徑的外端並且垂直於這條半徑的直線是圓的切線 幾何語言：∵l ⊥OA，點A在⊙O上 ∴直線l是⊙O的切線（切線判定定理） 切線的性質定理 圓的切線垂直於經過切點半徑 幾何語言：∵OA是⊙O的半徑，直線l切⊙O於點A ∴l ⊥OA（切線性質定理） 推論1 經過圓心且垂直於切線的直徑必經過切點 推論2 經過切點且垂直於切線的直線必經過圓心 切線長定理 定理 從圓外一點引圓的兩條切線，它們的切線長相等，圓心和這一點的連線平分兩條切線的夾角 幾何語言：∵弦PB、PD切⊙O於A、C兩點 ∴PA=PC，∠APO=∠CPO（切線長定理） 弦切角 弦切角定理 弦切角等於它所夾的弧對的圓周角 幾何語言：∵∠BCN所夾的是 ，∠A所對的是 ∴∠BCN=∠A 推論 如果兩個弦切角所夾的弧相等，那麼這兩個弦切角也相等 幾何語言：∵∠BCN所夾的是 ，∠ACM所對的是 ， = ∴∠BCN=∠ACM 和圓有關的比例線段 相交弦定理：圓內的兩條相交弦，被焦點分成的兩條線段長的積相等 幾何語言：∵弦AB、CD交於點P ∴PA·PB=PC·PD（相交弦定理） 推論：如果弦與直徑垂直相交，那麼弦的一半是它分直徑所成的兩條線段的比例中項 幾何語言：∵AB是直徑，CD⊥AB於點P ∴PC2=PA·PB（相交弦定理推論） 切割線定理 從圓外一點引圓的切線和割線，切線長是這點到割線與圓焦點的兩條線段長的比例中項 幾何語言：∵PT切⊙O於點T，PBA是⊙O的割線 ∴PT2=PA·PB（切割線定理） 推論 從圓外一點因圓的兩條割線，這一點到每條割線與圓的焦點的兩條線段長的積相等 幾何語言：∵PBA、PDC是⊙O的割線 ∴PT2=PA·PB（切割線定理推論）