お馬鹿さんなことをお尋ねしますが、定理と公式の違いを教えて下さい。
私は同じ意味だと思っていたのですが、例えば

ヘロンの公式
ピタゴラスの定理

というように、使い方が違うことがあります。

よろしくお願いいたします。