リュカ–レーマー・テストの証明

ウィキペディア

リュカ–レーマー・テストの証明

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2025/03/12 16:38 UTC 版)

リュカ–レーマー・テスト（英語: Lucas–Lehmer primality test）とは、素数判定法の1つ。メルセンヌ数 M_n = 2ⁿ − 1 の素数判定のみに特化している。

名称は、フランスの数学者エドゥアール・リュカおよびアメリカの数学者デリック・ヘンリー・レーマーにちなんで名付けられた。

リュカ–レーマー・テストをさらに一般化した素数判定法であるリュカ–レーマー–リーゼル・テストも参照。

概要

初項 $S_{0}=4$