「公式（こうしき） 」とは

数学において公式（こうしき、英語: formula）とは、数式で表される定理のことである。

比喩や俗称としての「公式」は「その他」の項にまとめている。

展開・因数分解公式:

${\displaystyle (a+b{)}^2=a^2+2ab+b^2}$

${\displaystyle (a+b)(a-<!--\; -\; -->b)=a^2-<!--\; -\; -->b^2}$

${\displaystyle a^n-<!--\; -\; -->1=(a-<!--\; -\; -->1)(a^{n-<!--\; -\; -->1}+a^{n-<!--\; -\; -->2}+\cdots <!--\; \cdots \; -->+a+1)}$

${\displaystyle (a+b{)}^n=\underset{k=0}{\overset{n}{\sum <!--\; \sum \; -->}}(\genfrac{}{}{0ex}{}{n}{k})a^{n-<!--\; -\; -->k}{b}^k(=\underset{k=0}{\overset{n}{\sum <!--\; \sum \; -->}}{}_n{\text{C}}_k{a}^{n-<!--\; -\; -->k}{b}^k)}$

二次方程式 ${\displaystyle a{x}^2+bx+c=0}$ の解の公式:

${\displaystyle x=\frac{-<!--\; -\; -->b\pm <!--\; \pm \; -->\sqrt{b^2-<!--\; -\; -->4ac}}{2a}.}$

ピタゴラスの定理:

${\displaystyle c^2=a^2+b^2}$

${\displaystyle a,b,c}$ は直角三角形の三辺の長さ。ただし ${\displaystyle c}$ を斜辺とする。

この定理から三角関数における次の等式も導かれる。

${\displaystyle {\cos }^2<!--\; \; -->\mathrm{\theta <!--\; \theta \; -->}+{\sin }^2<!--\; \; -->\mathrm{\theta <!--\; \theta \; -->}=1}$

ヘロンの公式

${\displaystyle S=\sqrt{s(s-<!--\; -\; -->a)(s-<!--\; -\; -->b)(s-<!--\; -\; -->c)}}$

${\displaystyle a,b,c}$ は三角形の三辺の長さ。この三角形の面積を ${\displaystyle S}$ とする。

ここで、${\displaystyle s}$ は半周長で、次式で定義される。

${\displaystyle s=\frac{a+b+c}{2}}$

複素解析におけるオイラーの公式: ${\displaystyle e^{i\mathrm{\theta <!--\; \theta \; -->}}=\cos <!--\; \; -->\mathrm{\theta <!--\; \theta \; -->}+i\sin <!--\; \; -->\mathrm{\theta <!--\; \theta \; -->}}$

スターリングの近似

${\displaystyle n!\sim <!--\; \sim \; -->\sqrt{2\mathrm{\pi <!--\; \pi \; -->}n}{\left(\frac{n}{e}\right)}^n.}$

ただし、${\displaystyle n}$ は自然数で、${\displaystyle n!}$ は ${\displaystyle n}$ の階乗を表す。

三角関数の加法定理（加法公式）

${\displaystyle \sin <!--\; \; -->(\mathrm{\alpha <!--\; \alpha \; -->}+\mathrm{\beta <!--\; \beta \; -->})=\sin <!--\; \; -->\mathrm{\alpha <!--\; \alpha \; -->}\cos <!--\; \; -->\mathrm{\beta <!--\; \beta \; -->}+\cos <!--\; \; -->\mathrm{\alpha <!--\; \alpha \; -->}\sin <!--\; \; -->\mathrm{\beta <!--\; \beta \; -->}}$

${\displaystyle \sin <!--\; \; -->(\mathrm{\alpha <!--\; \alpha \; -->}-<!--\; -\; -->\mathrm{\beta <!--\; \beta \; -->})=\sin <!--\; \; -->\mathrm{\alpha <!--\; \alpha \; -->}\cos <!--\; \; -->\mathrm{\beta <!--\; \beta \; -->}-<!--\; -\; -->\cos <!--\; \; -->\mathrm{\alpha <!--\; \alpha \; -->}\sin <!--\; \; -->\mathrm{\beta <!--\; \beta \; -->}}$

${\displaystyle \cos <!--\; \; -->(\mathrm{\alpha <!--\; \alpha \; -->}+\mathrm{\beta <!--\; \beta \; -->})=\cos <!--\; \; -->\mathrm{\alpha <!--\; \alpha \; -->}\cos <!--\; \; -->\mathrm{\beta <!--\; \beta \; -->}-<!--\; -\; -->\sin <!--\; \; -->\mathrm{\alpha <!--\; \alpha \; -->}\sin <!--\; \; -->\mathrm{\beta <!--\; \beta \; -->}}$

${\displaystyle \cos <!--\; \; -->(\mathrm{\alpha <!--\; \alpha \; -->}-<!--\; -\; -->\mathrm{\beta <!--\; \beta \; -->})=\cos <!--\; \; -->\mathrm{\alpha <!--\; \alpha \; -->}\cos <!--\; \; -->\mathrm{\beta <!--\; \beta \; -->}+\sin <!--\; \; -->\mathrm{\alpha <!--\; \alpha \; -->}\sin <!--\; \; -->\mathrm{\beta <!--\; \beta \; -->}}$

${\displaystyle \tan <!--\; \; -->(\mathrm{\alpha <!--\; \alpha \; -->}+\mathrm{\beta <!--\; \beta \; -->})=\frac{\tan <!--\; \; -->\mathrm{\alpha <!--\; \alpha \; -->}+\tan <!--\; \; -->\mathrm{\beta <!--\; \beta \; -->}}{1-<!--\; -\; -->\tan <!--\; \; -->\mathrm{\alpha <!--\; \alpha \; -->}\tan <!--\; \; -->\mathrm{\beta <!--\; \beta \; -->}}}$

${\displaystyle \tan <!--\; \; -->(\mathrm{\alpha <!--\; \alpha \; -->}-<!--\; -\; -->\mathrm{\beta <!--\; \beta \; -->})=\frac{\tan <!--\; \; -->\mathrm{\alpha <!--\; \alpha \; -->}-<!--\; -\; -->\tan <!--\; \; -->\mathrm{\beta <!--\; \beta \; -->}}{1+\tan <!--\; \; -->\mathrm{\alpha <!--\; \alpha \; -->}\tan <!--\; \; -->\mathrm{\beta <!--\; \beta \; -->}}}$

余弦定理

△ABC で a = BC, b = CA, c = AB, α = ∠CAB, β = ∠ABC, γ = ∠BCA とするとき、

a = b + c − 2bc cos α

b = c + a − 2ca cos β

c = a + b − 2ab cos γ

ベクトル解析におけるストークスの定理

${\displaystyle {\iint <!--\; \iint \; -->}_S\mathrm{r}\mathrm{o}\mathrm{t}\mathit{A}\cdot <!--\; \cdot \; -->\mathit{n}dS={\oint <!--\; \oint \; -->}_{\mathrm{\partial <!--\; \partial \; -->}S}\mathit{A}\cdot <!--\; \cdot \; -->d\mathit{s}}$

物理法則を表した基礎方程式が広く知られる。

ニュートンの運動方程式

${\displaystyle m\frac{d^2\mathit{r}}{d{t}^2}=\mathit{F}}$

マクスウェルの方程式

ガウスの法則 ${\displaystyle \mathrm{d}\mathrm{i}\mathrm{v}\mathit{D}=\mathrm{\rho <!--\; \rho \; -->}}$

ガウスの法則 ${\displaystyle \mathrm{d}\mathrm{i}\mathrm{v}\mathit{B}=0}$

ファラデーの電磁誘導の法則 ${\displaystyle \mathrm{r}\mathrm{o}\mathrm{t}\mathit{E}=-<!--\; -\; -->\frac{\mathrm{\partial <!--\; \partial \; -->}\mathit{B}}{\mathrm{\partial <!--\; \partial \; -->}t}}$

アンペールの法則 ${\displaystyle \mathrm{r}\mathrm{o}\mathrm{t}\mathit{H}=j+\frac{\mathrm{\partial <!--\; \partial \; -->}\mathit{D}}{\mathrm{\partial <!--\; \partial \; -->}t}}$

公式は定理であるから、一度その式が成り立つことを（場合によっては変数に制限を加えて）証明すれば、次に同じ問題に遭遇したときには式に現れる変数に、その状況に応じた値を代入するだけで答えが求まるため、計算や考察の手間を省くことができる。

しかし、公式を適用できる場面でなければ公式は使用できず、公式が適用可能かどうかはその公式の証明の内容が握っている。

初等教育においては、公式を知っていれば直ちに解答を得るような問題に、基礎演習として触れる機会が少なくない。 そのため、「数学とは公式の暗記である」と捉えてしまうものが少なからず存在する。しかし、このような捉え方をしてしまうと、丸暗記のみに専念することで、柔軟な発想ができなくなる、公式を知らないから解けないと投げ出してしまう、などのデメリットがあるとされる。

矢野健太郎監修、春日正文編 『モノグラフ 公式集』 科学振興新社 1968年初版、1998年第5訂版 ISBN 9784894281639

小林幹雄他編 『共立全書138 数学公式集』 共立出版、1970年

森口繁一, 宇田川銈久, 一松信：「岩波 数学公式」（新装版）、岩波書店、1987年

I　「微分積分・平面曲線」、ISBN 9784000055079

II　「級数・フーリエ解析」、ISBN 9784000055086

III　「特殊函数」、ISBN 9784000055093

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.

数学

定理

定石

数式

数学の定理

数学に関する記事

出典を必要とする記事/2024年3月

独自研究の除去が必要な節のある記事/2021年1月-6月

書きかけの節のある項目

ISBNマジックリンクを使用しているページ