公式
公式，就是用數學符號表示各個量之間的一定關係(如定律或定理)的式子。具有普遍性，適合於同類關係的所有問題。 在數理邏輯中，公式是表達命題的形式語法對象，除了這個命題可能依賴於這個公式的自由變量的值之外。
| 公式 | |
|---|---|
公式精確定義依賴於涉及到的特定的形式邏輯，但有如下一個非常典型的定義（特定於一階邏輯): 公式是相對於特定語言而定義的；就是說，一組常量符號、函數符號和關係符號，這裡的每個函數和關係符號都帶有一個元數(arity）來指示它所接受的參數的數目。
目錄
基本信息
詞語釋義
基本信息
[1]詞目：公式
拼音：gōng shì
英譯：Formula
基本解釋
⒈ 權力大小有公式計算
⒉ 通用格式
⒊ 用數學符號表示各個量之間的一定關係（如定律或定理）的式子基本簡介
（一）在自然科學中用數學符號表示幾個量之間關係的式子[1]。具有普遍性，適合於同類關係的所有問題。在數理邏輯中，公式是表達命題的形式語法對象，除了這個命題可能依賴於這個公式的自由變量的值之外。公式精確定義依賴於涉及到的特定的形式邏輯，但有如下一個非常典型的定義（特定於一階邏輯): 公式是相對於特定語言而定義的；就是說，一組常量符號、函數符號和關係符號，這裡的每個函數和關係符號都帶有一個元數(arity）來指示它所接受的參數的數目。
表示矩形的面積S和它的長a、寬b之間的關係的公式為S=ab。
（二）謂通行的格式。
《元典章·詔令一》：「凡有璽書頒降並用蒙古新字……所有公式文書咸遵其舊。」
（三）泛指可普遍應用於同類事物的方式方法。
相關公式
定理公式
三角形的面積＝底×高÷2。 公式 S= a×h÷2
正方形的面積＝邊長×邊長 公式 S= a2
長方形的面積＝長×寬 公式 S= a×b
平行四邊形的面積＝底×高 公式 S= a×h
梯形的面積＝（上底+下底）×高÷2 公式 S=(a+b)h÷2
內角和：三角形的內角和＝180度。 直角三角形的斜邊的平方=兩個直角邊的平方
長方體的體積＝長×寬×高 公式：V=abh
長方體（或正方體）的體積＝底面積×高 公式：V=abh
正方體的體積＝棱長×棱長×棱長 公式：V=aaa
圓的周長＝直徑×π 公式：L＝πd＝2πr
圓的面積＝半徑×半徑×π 公式：S＝πr2
圓柱的表（側）面積：圓柱的表（側）面積等於底面的周長乘高。公式：S=ch=πdh＝2πrh
圓柱的表面積：圓柱的表面積等於底面的周長乘高再加上兩頭的圓的面積。公式：S=ch+2s=ch+2πr2
圓柱的體積：圓柱的體積等於底面積乘高。公式：V=Sh
圓錐的體積＝1/3底面×積高。公式：V=1/3Sh
分數的加、減法則：同分母的分數相加減，只把分子相加減，分母不變。異分母的分數相加減，先通分，然後再加減。
分數的乘法則：用分子的積做分子，用分母的積做分母。
分數的除法則：除以一個數等於乘以這個數的倒數。[1]
性質公式
1、加法交換律：兩數相加交換加數的位置，和不變。
2、加法結合律：三個數相加，先把前兩個數相加，或先把後兩個數相加，再同第三個數相加，和不變。
3、乘法交換律：兩數相乘，交換因數的位置，積不變。
4、乘法結合律：三個數相乘，先把前兩個數相乘，或先把後兩個數相乘，再和第三個數相乘，它們的積不變。
5、乘法分配律：兩個數的和同一個數相乘，可以把兩個加數分別同這個數相乘，再把兩個積相加，結果不變。如：（2+4）×5＝2×5+4×5
6、除法的性質：在除法裡，被除數和除數同時擴大（或縮小）相同的倍數，商不變。 O除以任何不是O的數都得O。
簡便乘法：被乘數、乘數末尾有O的乘法，可以先把O前面的相乘，零不參加運算，有幾個零都落下，添在積的末尾。
7、什麼叫等式？等號左邊的數值與等號右邊的數值相等的式子叫做等式。等式的基本性質：等式兩邊同時乘以（或除以）一個相同的數，等式仍然成立。
8、什麼叫方程式？答：含有未知數的等式叫方程式。
9、 什麼叫一元一次方程式？答：含有一個未知數，並且未知數的次 數是一次的等式叫做一元一次方程式。學會一元一次方程式的例法及計算。即例出代有χ的算式並計算。
10、分數：把單位"1"平均分成若干份，表示這樣的一份或幾分的數,叫做分數。
11、分數的加減法則：同分母的分數相加減，只把分子相加減，分母不變。異分母的分數相加減，先通分，然後再加減。
12、分數大小的比較：同分母的分數相比較，分子大的大，分子小的小。異分母的分數相比較，先通分然後再比較；若分子相同，分母大的反而小。
13、分數乘整數，用分數的分子和整數相乘的積作分子，分母不變。
14、分數乘分數，用分子相乘的積作分子，分母相乘的積作為分母。
15、分數除以整數（0除外），等於分數乘以這個整數的倒數。
16、真分數：分子比分母小的分數叫做真分數。
17、假分數：分子比分母大或者分子和分母相等的分數叫做假分數。假分數大於或等於1。
18、帶分數：把假分數寫成整數和真分數的形式，叫做帶分數。
19、分數的基本性質：分數的分子和分母同時乘以或除以同一個數（0除外），分數的大小不變。
20、一個數除以分數，等於這個數乘以分數的倒數。
21、甲數除以乙數（0除外），等於甲數乘以乙數的倒數。
數量關係公式
1、單價×數量＝總價
2、單產量×數量＝總產量
3、速度×時間＝路程
4、工效×時間＝工作總量
5、加數+加數＝和 ；一個加數＝和＋另一個加數 ；被減數－減數＝差 ；減數＝被減數－差； 被減數＝減數＋差 ；因數×因數＝積 ；一個因數＝積÷另一個因數； 被除數÷除數＝商； 除數＝被除數÷商 ；被除數＝商×除數 ；有餘數的除法： 被除數＝商×除數+餘數 ；一個數連續用兩個數除，可以先把後兩個數相乘，再用它們的積去除這個數，結果不變。例：90÷5÷6＝90÷（5×6）
6、 1公里＝1千米 1千米＝1000米 ；1米＝10分米 1分米＝10厘米 1厘米＝10毫米 ；1平方米＝100平方分米 1平方分米＝100平方厘米 ；1平方厘米＝100平方毫米 ；1立方米＝1000立方分米 1立方分米＝1000立方厘米 ；1立方厘米＝1000立方毫米 ；1噸＝1000千克 1千克= 1000克= 1公斤= 1市斤 ；1公頃＝10000平方米。 1畝＝666.666平方米。1升＝1立方分米＝1000毫升 1毫升＝1立方厘米
7、增長率和減少率 P=（現在值—過去值）/過去值 （現在相當於過去）
p>0時
p為增長率
p<0時
-p為減少率
1+1=2
相關概念
角
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的平方，即
47勾股定理的逆定理如果三角形的三邊長a、b、c有關係，那麼這個三角形是直角三角形
矩形
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 ⑴比例的基本性質如果a:b=c:d，那麼ad=bc
如果ad=bc，那麼a:b=c:d wc呁/S∕
84 ⑵合比性質 如果a/b=c/d，那麼（a±b)/b=(c±d)/d
85 ⑶等比性質 如果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正三角形面積（a表示邊長）
143如果在一個頂點周圍有k個正n邊形的角，由於這些角的和應為 360°，因此k×(n-2)180°/n=360°化為(n-2)(k-2)=4
144弧長公式=nπR/180°（n為角度制）
145扇形面積公式：S扇形=nπR2/360°=LR/2（n為角度制）
146內公切線長= d-(R-r) 外公切線長= d-(R+r)