出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
出典 株式会社平凡社「改訂新版 世界大百科事典」改訂新版 世界大百科事典について 情報
出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
…理論構成において,多くの定理を得るわけであるが,その理論における位置づけによって,補助定理,系などの名称も用いる。すなわち,その理論構成において重要と考えるものをとくに定理と命名し,ある定理を導く段階で,証明などのため必要な定理を補助定理,または補題と呼ぶ。また,ある定理から容易に導ける他の定理を,もとの定理の系という。…
…数学において,ある命題を証明する際,証明の途中に利用する別の定理を,その証明のための補助定理,または補題という。例えば,(1)〈pが素数でmがpで割り切れない整数であればmp-1-1がpで割り切れる〉というフェルマーの定理を証明するのに,(2)〈pが素数でnが自然数であればnp-nはpで割り切れる〉を証明(これはnについての数学的帰納法と,二項定理とによって容易に証明できる)してこれを使う方法がある。…
※「補題」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
4/12 日本大百科全書(ニッポニカ)を更新
4/12 デジタル大辞泉を更新
4/12 デジタル大辞泉プラスを更新
3/11 日本大百科全書(ニッポニカ)を更新
2/13 日本大百科全書(ニッポニカ)を更新