補題
ほだい 1対1で対応lemma
名詞 ・話し言葉・書き言葉
定義
大きな定理を証明するための足がかりとして、先に証明しておく補助的な命題。
A smaller result proved first so that it can be used as a step in the proof of a larger theorem.
例文
話し言葉 Let's knock out a quick lemma first, and then the theorem falls right out. まず簡単な補題を片づけよう。そうすれば定理はすぐに出る。
書き言葉・答案 By Lemma 2, if n² is even, then n is even. 補題 2 より、n² が偶数ならば n は偶数である。
言い間違えやすいところ
- 用例コーパスでは lemma は話し言葉がすべて MIT OCW、書き言葉がすべて MIT の講義ノートで、高校向けのソースには出てこない。
- 複数形は lemmas と lemmata（英語版 Wikipedia「Lemma (mathematics)」が冒頭で並べる）。参照（Nicholson）は lemmas。