証明_(数学)とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > 百科事典 > 証明_(数学)の意味・解説 

証明 (数学)

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2025/02/21 04:51 UTC 版)

ユークリッド原論における最初の命題と証明(オリヴァー・バーン編纂による英語版)。ただし原論では二円が交わることが保証されていないため[1]、厳密には適当な連続性公理が必要となる。

数学における証明 (しょうめい、英語: Mathematical proof) とは、ある命題が正しいことを主張するための一連の演繹のこと。証明の各段階においては、前提公理定理等の認められた事実)や仮定から推論規則によって新たな命題を導くという形態をとる。ある証明の中で導入された仮定は、証明の別の部分で証明されるか、その証明の中で否定されなければならない(背理法)。

命題 P を証明したいとき、P をそのまま証明することを直接証明という。それに対して P がであることを直接証明する代わりに、P と同値な別の命題が真であることを証明する方法を間接証明という(これらはあくまで直観的な分類に過ぎず、数学的な定義があるわけではない)。

代表的な方法

証明の代表的なテクニックを以下に示す。

対偶
命題 P⇒Q を証明する代わりに、これと同値な ¬Q⇒¬P を証明する方法(¬は否定)。[2]
背理法(帰謬法)
命題 P を証明する代わりに、¬P がであることを証明する方法(¬P が偽であることを証明するには、¬P を仮定して矛盾を導けばよい)。[3]
反例
命題「全てのxがP(x)を満たす」 が偽であることを示すには、 P(x) を満たさない x を一つあげればよいというもの。¬∀x, P(x) と ∃x, ¬P(x) が同値であることを利用する(∀は「全ての」、∃は「存在する」)。[4]
転換法
全ての状況が P, Q, R のいずれかに分類でき、A, B, C が独立であるとする。今「P⇒A」「Q⇒B」「R⇒C」が証明できていたとする。このとき、それらの逆「A⇒P」「B⇒Q」「C⇒R」も成立する。
同一法
A ⇒ B が成り立ち、B を満たすものがただひとつであれば、B ⇒ A が成り立つ。
ディリクレの箱入れ論法(鳩の巣原理)
n+1 個以上のボールのそれぞれが n 個の箱のいずれかに入っているとする。このとき、少なくとも1個の箱には2個以上のボールが入っている。[5]
数学的帰納法
自然数に関する命題 P(n) が全ての n に対して成立することを示す論法。まず P(1) が成立することを示し、次に P(n) が成立すれば P(n+1) が成立することを示す。[6]

背理法による例

素数は無限個存在する」という命題の証明は以下のようになされる。

証明 : 素数の個数は有限であると仮定する。すべての素数を掛け合わせた数に1を足したものはどの素数で割っても1余り、割り切れない。すなわちそれ自体が素数であるか、ここで想定した最大の素数よりも大きい素数でしか割り切れないことを意味する。いずれにしても、すべての素数以外に素数が存在することになり仮定と矛盾する。よって仮定は間違っており、素数は無限に存在することが示された。

その他の用語

  • 存在証明 - 解が存在することを示す行為
  • 一意性証明 - (解がもし存在すれば)解の数は1つであることを示す行為

証明の形式的定義

数学における命題の証明においては、通常、その正しさの確認は証明の作成者と読者に委ねられている。証明の概念を形式化することによって、その正しさを機械的に判定したり、証明そのものを数学の研究対象とすることもできる。

  • 有限集合を1つ固定し、その有限集合の元をアルファベットという。
  • アルファベットの有限列をという。
  • 語の集合を言語という。
  • 言語を1つ固定し、その言語に属する語を命題という。
  • 命題の集合を1つ固定し、その集合に属する命題を事前に認められた仮定として採用し、それを公理と呼ぶ。
  • 命題の有限個の組がどのような条件を満たせば、それらの命題から別の命題が導けるのかを決めたルールの組を決め、それらのルールを推論規則という。
  • 公理の集合と推論規則の集合の組を公理系と呼ぶ。

Aを公理系とし、(P1,...,Pn) を命題の列とする。

任意の i≦n に対し Pi

  • Pi は公理である
  • Pi は、P1,..., Pi-1 から、許された推論規則によって導くことができる

のいずれかを満たすとき、(P1,...,Pn) を Pn の(公理系 A における)証明と言う。

ある (P1,...,Pn) があって、(P1,...,Pn) が Pn の証明であるとき、Pn は(公理系 A において)証明可能である、もしくは Pn定理であるという。

記述の習慣

証明を記述する際には、証明とそれ以外の部分をはっきりわけて可読性をあげるため、証明の始めと終わりを明確に示す習慣があり、特に初等中等教育などで初めて証明の記述を学ぶ者に対しては厳しく指導される。

始めや終わりを示す記号は書く人の好みによりさまざまであるが、証明の始めには「proof」「prf.」「pf.」「[証明]」「【証】」や、丸で囲んだ「∵」などが使われる。

証明の終わりには「Q.E.D.」「/証明終わり」「[証明終]」「【証終】」「(おわり)」「□」「■」「∥」や、スラッシュと重ねた「⌋」などが用いられる。学生のノートやレポートでは、中空の正方形をハッチングで塗ったものが使われることが多い。

一般に、一つの内容を一行に収め、上の行から順に下の行に移るに従って、論証が進むように書かれ、その理由や用いた定理を丸カッコ()でくくって書き添えることが多い。複数の行に書かれた内容を使って次の行が得られるときは、複数の行を中カッコ{、}でくくるか、行末に....〇の丸の中に数字を入れたタグを付け、次の行頭に「①,②より」などと、説明の流れを明らかにする文言を添える。

脚注

出典

関連項目

外部リンク


「証明 (数学)」の例文・使い方・用例・文例

Weblio日本語例文用例辞書はプログラムで機械的に例文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「証明_(数学)」の関連用語

証明_(数学)のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



証明_(数学)のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの証明 (数学) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
Tanaka Corpusのコンテンツは、特に明示されている場合を除いて、次のライセンスに従います:
 Creative Commons Attribution (CC-BY) 2.0 France.
この対訳データはCreative Commons Attribution 3.0 Unportedでライセンスされています。
浜島書店 Catch a Wave
Copyright © 1995-2025 Hamajima Shoten, Publishers. All rights reserved.
株式会社ベネッセコーポレーション株式会社ベネッセコーポレーション
Copyright © Benesse Holdings, Inc. All rights reserved.
研究社研究社
Copyright (c) 1995-2025 Kenkyusha Co., Ltd. All rights reserved.
日本語WordNet日本語WordNet
日本語ワードネット1.1版 (C) 情報通信研究機構, 2009-2010 License All rights reserved.
WordNet 3.0 Copyright 2006 by Princeton University. All rights reserved. License
日外アソシエーツ株式会社日外アソシエーツ株式会社
Copyright (C) 1994- Nichigai Associates, Inc., All rights reserved.
「斎藤和英大辞典」斎藤秀三郎著、日外アソシエーツ辞書編集部編
EDRDGEDRDG
This page uses the JMdict dictionary files. These files are the property of the Electronic Dictionary Research and Development Group, and are used in conformance with the Group's licence.

©2025 GRAS Group, Inc.RSS