補題（読み）ホダイ

デジタル大辞泉

ほ‐だい【補題】

⇒補助定理

出典　小学館

精選版 日本国語大辞典

ほ‐だい【補題】

1. 〘 名詞 〙 ＝ほじょていり（補助定理）〔数学ニ用ヰル辞ノ英和対訳字書（1889）〕

出典　精選版 日本国語大辞典

改訂新版　世界大百科事典

補題 (ほだい)

→補助定理

出典　株式会社平凡社「改訂新版　世界大百科事典」

ブリタニカ国際大百科事典 小項目事典

補題
ほだい

「補助定理」のページをご覧ください。

出典　ブリタニカ国際大百科事典 小項目事典

世界大百科事典（旧版）内の補題の言及

【定理】より

…理論構成において，多くの定理を得るわけであるが，その理論における位置づけによって，補助定理，系などの名称も用いる。すなわち，その理論構成において重要と考えるものをとくに定理と命名し，ある定理を導く段階で，証明などのため必要な定理を補助定理，または補題と呼ぶ。また，ある定理から容易に導ける他の定理を，もとの定理の系という。…

【補助定理】より

…数学において，ある命題を証明する際，証明の途中に利用する別の定理を，その証明のための補助定理，または補題という。例えば，(1)〈pが素数でmがpで割り切れない整数であればm^p－1－1がpで割り切れる〉というフェルマーの定理を証明するのに，(2)〈pが素数でnが自然数であればn^p－nはpで割り切れる〉を証明(これはnについての数学的帰納法と，二項定理とによって容易に証明できる)してこれを使う方法がある。…

※「補題」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」