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

定理

ていり 1対1で対応

theorem

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

定義

証明によって正しいことが確かめられた事柄のうち、大切でよく使うもの。一度証明した定理は、ほかの証明の根拠に使える。

A statement that has been proved true using definitions, postulates, and theorems that were already proved. Once a theorem is proved, you can use it as a reason in other proofs.

例文

話し言葉 Once we prove this, it's a theorem, and you can use it as a reason in any proof after that. これを証明したら定理になるから、その後はどの証明でも根拠として使っていいよ。
書き言葉・答案 Prove the following theorem: The base angles of an isosceles triangle are equal. 次の定理を証明せよ。「二等辺三角形の底角は等しい。」

言い間違えやすいところ

  • 定理(theorem)は証明して正しいとわかった事柄。証明せずに正しいと認める事柄は公準・公理で、postulate / axiom と呼ぶ(エントリ postulate、axiom)。
  • 「〜の定理より」は by the … theorem(二等辺三角形の定理なら by the base angles theorem、エントリ isosceles-triangle-theorem)。定理の逆(converse、エントリ converse)は正しいとは限らないので、使うなら別に証明する。
  • theorem の th は think の th と同じ音。

根拠の件数

話し言葉計 1,309

  • theorem1,309

書き言葉計 1,891

  • theorem1,891

米国の講義の書き起こし・字幕(話し言葉)と教科書・講義ノート(書き言葉)で、言い方ごとに数えた回数です。語形変化はまとめ、「…」は 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 / NancyPi / The Organic Chemistry Tutor / PatrickJMT / Professor Leonard
取得元(書き言葉)
MIT OCW lecture notes / OpenStax Algebra and Trigonometry 2e / OpenStax Calculus Vol 1-3 / OpenStax Elementary Algebra 2e / OpenStax Intermediate Algebra 2e / OpenStax Introductory Statistics 2e / OpenStax Prealgebra 2e / OpenStax Precalculus 2e
数えた日