公式

数学において公式（こうしき）とは、数式で表される定理のことである。
比喩や俗称としての「公式」は「その他」の項にまとめている。
例.
物理学.
物理法則を表した基礎方程式が広く知られる。
道具としての公式.
公式は定理であるから、一度その式が成り立つことを（場合によっては変数に制限を加えて）証明すれば、次に同じ問題に遭遇したときには式に現れる変数に、その状況に応じた値を代入するだけで答えが求まるため、計算や考察の手間を省くことができる。
しかし、公式を適用できる場面でなければ公式は使用できず、公式が適用可能かどうかはその公式の証明の内容が握っている。
暗記学習.
初等教育においては、公式を知っていれば直ちに解答を得るような問題に、基礎演習として触れる機会が少なくない。
そのため、「数学とは公式の暗記である」と捉えてしまうものが少なからず存在する。しかし、このような捉え方をしてしまうと、丸暗記のみに専念することで、柔軟な発想ができなくなる、公式を知らないから解けないと投げ出してしまう、などのデメリットがあるとされる。
公式集.
有用な公式を多数集めた公式集と呼ばれる本が市販されている。そのような本に載っている公式の数は膨大であり、かつそれぞれの形も複雑である。
その他.
数学の公式は、その物事を理解していなくても、変数に数値を入れて計算すれば必要な数値が得られる解決策であるため、比喩的に「問題を簡単に解決することができる魔法のようなもの」というような意味で用いられることがある。同様な意味で「方程式」という言葉が用いられることも多い（ただし、方程式は単に未知数を含む等式という意味であり、すべてが解決しているわけではない。）。
数学公式集の例.
小林幹雄他編 『共立全書138 数学公式集』 共立出版、1970年