公式

数学において公式（こうしき）とは、数式で表される定理のことである。 比喩や俗称としての「公式」は「その他」の項にまとめている。 展開・因数分解公式: ( a + b ) 2 = a 2 + 2 a b + b 2 {\displaystyle (a+b)^{2}=a^{2}+2ab+b^{2}} ( a + b ) ( a − b ) = a 2 − b 2 {\displaystyle (a+b)(a-b)=a^{2}-b^{2}} a n − 1 = ( a − 1 ) ( a n − 1 + a n − 2 + ⋯ + a + 1 ) {\displaystyle a^{n}-1=(a-1)(a^{n-1}+a^{n-2}+\cdots +a+1)} ( a + b ) n = ∑ k = 0 n ( n k ) a n − k b k ( = ∑ k = 0 n n C k a n − k b k ) {\displaystyle (a+b)^{n}=\sum _{k=0}^{n}{n \choose k}a^{n-k}b^{k}(=\sum _{k=0}^{n}{}_{n}{\text{C}}_{k}a^{n-k}b^{k})} 二次方程式 a x 2 + b x + c = 0 {\displaystyle ax^{2}+bx+c=0} の解の公式: x = − b ± b 2 − 4 a c 2 a . {\displaystyle x={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}.} ピタゴラスの定理: c 2 = a 2 + b 2 {\displaystyle c^{2}=a^{2}+b^{2}} a , b , c {\displaystyle a,b,c} は直角三角形の三辺の長さ。ただし c {\displaystyle c} を斜辺とする。 この定理から三角関数における次の等式も導かれる。 cos 2 ⁡ θ + sin 2 ⁡ θ = 1 {\displaystyle \cos ^{2}\theta +\sin ^{2}\theta =1} ヘロンの公式 S = s ( s − a ) ( s − b ) ( s − c ) {\displaystyle S={\sqrt {s(s-a)(s-b)(s-c)}}} a , b , c {\displaystyle a,b,c} は三角形の三辺の長さ。この三角形の面積を S {\displaystyle S} とする。 ここで、 s {\displaystyle s} は半周長で、次式で定義される。 s = a + b + c 2 {\displaystyle s={\frac {a+b+c}{2}}} 複素解析におけるオイラーの公式: e i θ = cos ⁡ θ + i sin ⁡ θ {\displaystyle e^{i\theta }=\cos \theta +i\sin \theta } スターリングの公式 n ! ∼ 2 π n ( n e ) n . {\displaystyle n!\sim {\sqrt {2\pi n}}\left({n \over e}\right)^{n}.} ただし、 n {\displaystyle n} は自然数で、 n ! {\displaystyle n!} は n {\displaystyle n} の階乗を表す。 三角関数の加法定理（加法公式） sin ⁡ ( α + β ) = sin ⁡ α cos ⁡ β + cos ⁡ α sin ⁡ β {\displaystyle \sin(\alpha +\beta )=\sin \alpha \cos \beta +\cos \alpha \sin \beta } sin ⁡ ( α − β ) = sin ⁡ α cos ⁡ β − cos ⁡ α sin ⁡ β {\displaystyle \sin(\alpha -\beta )=\sin \alpha \cos \beta -\cos \alpha \sin \beta } cos ⁡ ( α + β ) = cos ⁡ α cos ⁡ β − sin ⁡ α sin ⁡ β {\displaystyle \cos(\alpha +\beta )=\cos \alpha \cos \beta -\sin \alpha \sin \beta } cos ⁡ ( α − β ) = cos ⁡ α cos ⁡ β + sin ⁡ α sin ⁡ β {\displaystyle \cos(\alpha -\beta )=\cos \alpha \cos \beta +\sin \alpha \sin \beta } tan ⁡ ( α + β ) = tan ⁡ α + tan ⁡ β 1 − tan ⁡ α tan ⁡ β {\displaystyle \tan(\alpha +\beta )={\frac {\tan \alpha +\tan \beta }{1-\tan \alpha \tan \beta }}} tan ⁡ ( α − β ) = tan ⁡ α − tan ⁡ β 1 + tan ⁡ α tan ⁡ β {\displaystyle \tan(\alpha -\beta )={\frac {\tan \alpha -\tan \beta }{1+\tan \alpha \tan \beta }}} 余弦定理 △ABC で a = BC, b = CA, c = AB, α = ∠CAB, β = ∠ABC, γ = ∠BCA とするとき、 a2 = b2 + c2 − 2bc cos α b2 = c2 + a2 − 2ca cos β c2 = a2 + b2 − 2ab cos γ ベクトル解析におけるストークスの定理 ∬ S r o t A ⋅ n d S = ∮ ∂ S A ⋅ d s {\displaystyle \iint _{S}\mathrm {rot} \,{\boldsymbol {A}}\cdot {\boldsymbol {n}}dS=\oint _{\partial S}{\boldsymbol {A}}\cdot d{\boldsymbol {s}}} 物理法則を表した基礎方程式が広く知られる。 ニュートンの運動方程式 m d 2 r d t 2 = F {\displaystyle m{\frac {d^{2}{\boldsymbol {r}}}{dt^{2}}}={\boldsymbol {F}}} マクスウェルの方程式 ガウスの法則 d i v D = ρ {\displaystyle \mathrm {div} \,{\boldsymbol {D}}=\rho } ガウスの法則 d i v B = 0 {\displaystyle \mathrm {div} \,{\boldsymbol {B}}=0} ファラデーの法則 r o t E = − ∂ B ∂ t {\displaystyle \mathrm {rot} \,{\boldsymbol {E}}=-{\frac {\partial {\boldsymbol {B}}}{\partial t}}} アンペールの法則 r o t H = j + ∂ D ∂ t {\displaystyle \mathrm {rot} \,{\boldsymbol {H}}=j+{\frac {\partial {\boldsymbol {D}}}{\partial t}}} 公式は定理であるから、一度その式が成り立つことを（場合によっては変数に制限を加えて）証明すれば、次に同じ問題に遭遇したときには式に現れる変数に、その状況に応じた値を代入するだけで答えが求まるため、計算や考察の手間を省くことができる。 しかし、公式を適用できる場面でなければ公式は使用できず、公式が適用可能かどうかはその公式の証明の内容が握っている。 初等教育においては、公式を知っていれば直ちに解答を得るような問題に、基礎演習として触れる機会が少なくない。 そのため、「数学とは公式の暗記である」と捉えてしまうものが少なからず存在する。しかし、このような捉え方をしてしまうと、丸暗記のみに専念することで、柔軟な発想ができなくなる、公式を知らないから解けないと投げ出してしまう、などのデメリットがあるとされる。 有用な公式を多数集めた公式集と呼ばれる本が市販されている。そのような本に載っている公式の数は膨大であり、かつそれぞれの形も複雑である。 数学の公式は、その物事を理解していなくても、変数に数値を入れて計算すれば必要な数値が得られる解決策であるため、比喩的に「問題を簡単に解決することができる魔法のようなもの」というような意味で用いられることがある。同様な意味で「方程式」という言葉が用いられることも多い（ただし、方程式は単に未知数を含む等式という意味であり、すべてが解決しているわけではない。）。 小林幹雄他編 『共立全書138 数学公式集』 共立出版、1970年 森口繁一, 宇田川銈久, 一松信：「岩波 数学公式」（新装版）、岩波書店、1987年 I　「微分積分・平面曲線」、ISBN9784000055079 II　「級数・フーリエ解析」、ISBN9784000055086 III　「特殊函数」、ISBN9784000055093 Abramowitz, Milton; Stegun, Irene A., eds. (1972), Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, New York: Dover Publications, ISBN 978-0-486-61272-0. NIST Digital Library of Mathematical Functions 　Bateman Manuscript Project: Higher Transcendental Functions, 3 vols., McGraw Hill 1953/1955, Krieger 1981. 　Bateman Manuscript Project: Tables of Integral Transforms, 2 vols., McGraw Hill 1954. Encyclopedia of Special Functions: The Askey-Bateman Project, Cambridge University Press Vol.I, "Univariate Orthogonal Polynomials", (Ed. Mourad E.H.Ismail), ISBN 9780511979156 (2020). Vol.II, "Multivariable Special Functions", (Eds. Tom H. Koornwinder, Jasper V. Stokman),ISBN 9780511777165 (2020). Vol.III, "Hypergeometric and Basic Hypergeometric Functions", (Ed. Mourad E.H.Ismail) , to be printed. 数学 定理 定石