定理ていり

定理ていりとは、数学すうがく的てきに正ただしいことが証明しょうめいされた命題めいだい、とくに応用おうよう価値かちの高たかいもののことです。

数学すうがくIの主おもな定理ていり	内容ないよう
三平方の定理さんへいほうのていり	直角ちょっかく三角形さんかっけいで $a^2+b^2=c^2$
正弦定理せいげんていり	辺あたりと対たい角かくのサインの比ひが一定いってい
余弦定理よげんていり	$a^2=b^2+c^2-2bc\cos A$
ヘロンの公式へろんのこうしき	3 辺あたりから面積めんせきを求もとめる
ド・モルガンの法則ド・モルガンのほうそく	補ほ集合しゅうごうと $\cap ,\cup$ の関係かんけい

公理こうり（証明しょうめいなしに認みとめる前提ぜんてい）から証明しょうめいによって導みちびかれたものが定理ていりです。一度いちど証明しょうめいされれば、以後いごは自由じゆうに使つかえる「道具どうぐ」になります。

ポイント 公理こうり（証明しょうめいしない前提ぜんてい）→ 定理ていり（証明しょうめいされた命題めいだい）という階層かいそうがある。定理ていりは使つかうだけでなく、なぜ成なり立たつか（証明しょうめい）を理解りかいしておくと応用おうようがきく。