MathEigo f : 日本語 → English メニュー

証明

しょうめい 1対1で対応

proof

名詞 ・話し言葉・書き言葉

定義

仮定と、すでに正しいとわかっている定義・定理から、筋道を立てて結論が正しいことを示す論証。

A chain of reasoning that shows a statement must be true, starting from its hypotheses and using definitions and results already established.

例文

話し言葉 Let's start the proof by writing down what we're given. まず仮定を書き出すところから証明を始めよう。
書き言葉・答案 Complete the proof by giving a reason for each step. 各段階の根拠を書いて、証明を完成させよ。
書き言葉・答案 In this proof, the hypothesis is that n is even and the conclusion is that n² is even. この証明では、仮定は「n は偶数」、結論は「n² は偶数」である。

よく使う言い方

write a proof
証明を書く
proof by contradiction
背理法

言い間違えやすいところ

  • 名詞の「証明」は proof、動詞の「証明する」は prove。発音(Merriam-Webster: ˈprüf と ˈprüv)も綴りも近いので取り違えない。
  • 証明を書くときの「仮定」は hypothesis(given とも)、「結論」は conclusion。証明の終わりの印には ∎ や Q.E.D. を使う。

根拠の件数

話し言葉計 696

  • proof696

書き言葉計 670

  • proof670

米国の講義の書き起こし・字幕(話し言葉)と教科書・講義ノート(書き言葉)で、言い方ごとに数えた回数です。語形変化はまとめ、「…」は 1〜3 語の空き。「数えていない」はその側では数えていないことを示します。

取得元と数えた日
取得元(話し言葉)
Khan Academy Algebra / Khan Academy AP Calculus / Khan Academy AP Statistics / Khan Academy Middle School (6th-8th Grade, Pre-Algebra) / MIT OCW 18.01 Single Variable Calculus / MIT OCW 18.02 Multivariable Calculus / MIT OCW 18.03 Differential Equations / MIT OCW 18.06 Linear Algebra / MIT OCW 6.042 Mathematics for Computer Science / 3Blue1Brown / blackpenredpen / The Organic Chemistry Tutor / Professor Leonard
取得元(書き言葉)
MIT OCW lecture notes / OpenStax Algebra and Trigonometry 2e / OpenStax Calculus Vol 1-3 / OpenStax Introductory Statistics 2e
数えた日