この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）
出典検索?: "定理" ? ニュース ・ 書籍 ・ スカラー ・ CiNii ・ J-STAGE ・ NDL ・ dlib.jp ・ ジャパンサーチ ・ TWL（2017年7月）

定理（ていり、英: theorem）とは、数理論理学および数学において、証明された真なる命題をいう。
概要

文脈によっては公理も定理に含む。また、数学においては論説における役割等から、補題（ほだい、英: lemma）あるいは補助定理（ほじょていり、英: helping theorem）、系（けい、英: corollary）、命題（めいだい、英: proposition）などとも呼ばれることがある。

一般的に定理は、まずいくつかの条件を列挙し、次にその下で成り立つ結論を述べるという形をしている。例えば、次は代数学の基本定理の述べ方の1つである。前提条件：f(X) は複素数係数のn次方程式である。結論：f(X) は複素数の根を持つ。

ある一定の条件（公理系）下で命題を述べ、それが「定理」であると論証する、というのが数学という分野の中心的な研究の形態である。

数学の多くの分野には、各々「基本定理」という名で呼ばれる中心的な定理が存在している。なお定理という名称と証明という手続きは、数学のみならず、物理学や工学においても使用される。
有名な定理
数学

三角関数の加法定理

正弦定理

余弦定理

正接定理

方べきの定理

ピタゴラスの定理

チェバの定理

メネラウスの定理

発散定理

フェルマーの最終定理

代数学の基本定理

微分積分学の基本定理

ロルの定理

平均値の定理

有限生成アーベル群

ゲーデルの不完全性定理

ツォルンの補題

ラグランジュの定理

フェルマーの小定理

オイラーの定理

ケイリー・ハミルトンの定理

フロベニウスの定理

ド・モアブルの定理

ボヤイの定理

テイラーの定理

不動点定理

物理学発祥の定理

ビリアル定理

ブロッホの定理

ベルヌーイの定理

エーレンフェストの定理

ネーターの定理

量子複製不可能定理

特異点定理

アーンショ―の定理

H定理

リー・ヤンの定理

スピン統計定理

バーコフの定理

ウィグナーの定理

量子回帰定理

ゲルマン＝ロウの定理

ブロッド＝ドミニシスの定理

ボーア=ファン・リューエンの定理

工学発祥の定理

テブナンの定理（「鳳-テブナンの定理」と呼ぶ場合もある）

ノートンの定理

ミルマンの定理

テレゲンの定理

モールの定理(構造力学）

カスティリアノの定理(構造力学）

レイノルズの輸送定理(流体力学）

経済学発祥の定理

アローの不可能性定理（社会選択理論）

ミニマックス法（ゲーム理論）

※数学以外の分野から発祥した定理は、物理学発祥、工学発祥、経済学発祥として表記した。但し、数学者が証明した物理学の定理は物理学発祥とした。
関連項目

公理

公式

予想

演繹

補題

系 (数学)
.mw-parser-output .asbox{position:relative;overflow:hidden}.mw-parser-output .asbox table{background:transparent}.mw-parser-output .asbox p{margin:0}.mw-parser-output .asbox p+p{margin-top:0.25em}.mw-parser-output .asbox{font-size:90%}.mw-parser-output .asbox-note{font-size:90%}.mw-parser-output .asbox .navbar{position:absolute;top:-0.90em;right:1em;display:none}

この項目は、自然科学に関連した書きかけの項目です。この項目を加筆・訂正などしてくださる協力者を求めています（Portal:自然科学）。
.mw-parser-output .hlist ul,.mw-parser-output .hlist ol{padding-left:0}.mw-parser-output .hlist li,.mw-parser-output .hlist dd,.mw-parser-output .hlist dt{margin-right:0;display:inline-block;white-space:nowrap}.mw-parser-output .hlist dt:after,.mw-parser-output .hlist dd:after,.mw-parser-output .hlist li:after{white-space:normal}.mw-parser-output .hlist li:after,.mw-parser-output .hlist dd:after{content:" ・\a0 ";font-weight:bold}.mw-parser-output .hlist dt:after{content:": "}.mw-parser-output .hlist-pipe dd:after,.mw-parser-output .hlist-pipe li:after{content:" |\a0 ";font-weight:normal}.mw-parser-output .hlist-hyphen dd:after,.mw-parser-output .hlist-hyphen li:after{content:" -\a0 ";font-weight:normal}.mw-parser-output .hlist-comma dd:after,.mw-parser-output .hlist-comma li:after{content:"、";font-weight:normal}.mw-parser-output .hlist-slash dd:after,.mw-parser-output .hlist-slash li:after{content:" /\a0 ";font-weight:normal}.mw-parser-output .hlist dd:last-child:after,.mw-parser-output .hlist dt:last-child:after,.mw-parser-output .hlist li:last-child:after{content:none}.mw-parser-output .hlist dd dd:first-child:before,.mw-parser-output .hlist dd dt:first-child:before,.mw-parser-output .hlist dd li:first-child:before,.mw-parser-output .hlist dt dd:first-child:before,.mw-parser-output .hlist dt dt:first-child:before,.mw-parser-output .hlist dt li:first-child:before,.mw-parser-output .hlist li dd:first-child:before,.mw-parser-output .hlist li dt:first-child:before,.mw-parser-output .hlist li li:first-child:before{content:" (";font-weight:normal}.mw-parser-output .hlist dd dd:last-child:after,.mw-parser-output .hlist dd dt:last-child:after,.mw-parser-output .hlist dd li:last-child:after,.mw-parser-output .hlist dt dd:last-child:after,.mw-parser-output .hlist dt dt:last-child:after,.mw-parser-output .hlist dt li:last-child:after,.mw-parser-output .hlist li dd:last-child:after,.mw-parser-output .hlist li dt:last-child:after,.mw-parser-output .hlist li li:last-child:after{content:")\a0 ";font-weight:normal}.mw-parser-output .hlist ol{counter-reset:listitem}.mw-parser-output .hlist ol>li{counter-increment:listitem}.mw-parser-output .hlist ol>li:before{content:" "counter(listitem)" ";white-space:nowrap}.mw-parser-output .hlist dd ol>li:first-child:before,.mw-parser-output .hlist dt ol>li:first-child:before,.mw-parser-output .hlist li ol>li:first-child:before{content:" ("counter(listitem)" "}.mw-parser-output .navbar{display:inline;font-size:75%;font-weight:normal}.mw-parser-output .navbar-collapse{float:left;text-align:left}.mw-parser-output .navbar-boxtext{word-spacing:0}.mw-parser-output .navbar ul{display:inline-block;white-space:nowrap;line-height:inherit}.mw-parser-output .navbar-brackets::before{margin-right:-0.125em;content:"[ "}.mw-parser-output .navbar-brackets::after{margin-left:-0.125em;content:" ]"}.mw-parser-output .navbar li{word-spacing:-0.125em}.mw-parser-output .navbar-mini abbr{font-variant:small-caps;border-bottom:none;text-decoration:none;cursor:inherit}.mw-parser-output .navbar-ct-full{font-size:114%;margin:0 7em}.mw-parser-output .navbar-ct-mini{font-size:114%;margin:0 4em}.mw-parser-output .infobox .navbar{font-size:88%}.mw-parser-output .navbox .navbar{display:block;font-size:88%}.mw-parser-output .navbox-title .navbar{float:left;text-align:left;margin-right:0.5em}