查看“︁勒讓德篩法”︁的源代码

在[[數學]]上，'''勒讓德篩法'''（Legendre sieve）是現代[[篩法]]中最簡單的，其以[[阿德里安-馬里·勒讓德]]為名。這篩法是[[埃拉托斯特尼篩法]]的概念的推廣，用以找出一個給定的集合中質數數量的上下界。由於這篩法是埃拉托斯特尼概念的簡單推廣之故，因此有時又稱作'''勒讓德—埃拉托斯特尼篩法'''（Legendre–Eratosthenes sieve）。<ref>Iwaniec, Henryk. [http://www.numdam.org/item?id=ASNSP_1977_4_4_2_257_0 The sieve of Eratosthenes–Legendre] {{Wayback|url=http://www.numdam.org/item?id=ASNSP_1977_4_4_2_257_0 |date=20230513023806 }}. Annali della Scuola Normale Superiore di Pisa – Classe di Scienze, Sér. 4, 4 no. 2 (1977), pp. 257–268 MR [https://www.ams.org/mathscinet-getitem?mr=453676 453676] {{Wayback|url=https://www.ams.org/mathscinet-getitem?mr=453676 |date=20161012055040 }} {{Wayback|url=https://www.ams.org/mathscinet-getitem?mr=453676 |date=20161012055040 }}<!-- Bot generated title --></ref>

==勒讓德等式==
勒讓德篩法的中心概念可以下列等式表示，有時這等式又稱作'''勒讓德等式'''（Legendre identity）：

:<math>S(A,P)= \sum_{a\in A}\sum_{d\mid a;\,d\mid P} \mu(d) =\sum_{d\mid P}\mu(d)|A_d|,</math>

在其中，<math>A</math>是一個整數集、<math>P</math>是不同質數的乘積，<math>\mu</math>是[[默比烏斯函數]]；而<math>A_d</math>是<math>A</math>中可被<math>d</math>除盡的元素的集合，是<math>A</math>的子集；而<math>S(A, P)</math>的定義如次：

:<math>S(A, P) = |\{n: n \in A, \gcd(n, P) = 1\}|</math>

換句話說，<math>S(A, P)</math>指的是<math>A</math>中與<math>P</math>互質的元素的個數。

當注意的是，在多數情況中，<math>A</math>是所有小於特定實數<math>X</math>的整數的集合，<math>P</math>是所有小於等於特定整數<math>z</math>的質數的乘積，且<math>z < X</math>，因此勒讓德等式可以下式表示（其中<math>\lfloor X \rfloor</math>是[[下取整函數]]）：

: <math>
\begin{align}
S(A,P) = {} & \sum_{d\mid P}\mu(d)\left\lfloor\frac{X}{d}\right\rfloor \\[6pt]
= {} & \lfloor X \rfloor - \sum_{p_1 \le z} \left\lfloor\frac{X}{p_1}\right\rfloor + \sum_{p_1 < p_2 \le z} \left\lfloor \frac{X}{p_1p_2}\right\rfloor \\[4pt]
& {} - \sum_{p_1 < p_2 < p_3 \le z} \left\lfloor\frac{X}{p_1p_2p_3}\right\rfloor + \cdots + \mu(P) \left\lfloor \frac{X}{P} \right\rfloor
\end{align}
</math>

至此勒讓德等式衍生自埃拉托斯特尼篩法變得明朗：上式中的第一項表示所有小於<math>X</math>的整數，第二項則去掉其中至少是一個質數倍數的數，第三項則將其中至少是兩個質數倍數的數給補回（會有第三項是因為第二項會把兩個質數倍數的數給錯誤地刪去兩次之故），但因為這樣又多補回一次至少是三個質數倍數的數，因此第三項中又要將之刪去，其餘以此類退，直到所有質數的<math>2^{\pi(z)}</math>個組合全部都考慮過為止。（<math>\pi(z)</math>指的是小於<math>z</math>的質數的數量）。

在完成對<math>S(A, P)</math>的計算後，就可以下式求出<math>\pi(X)</math>的上界：

:<math>S(A,P) \geq \pi(X) - \pi(z) + 1, \, </math>

而這上界可由<math>S(A, P)</math>的定義立即得出。

==限制==
勒讓德篩法的一個問題是餘項部分會逐漸累積出一個巨大的誤差，而這表示說這篩法在多數狀況下，只能給出一個非常弱的上下界。因此這篩法在實務中幾乎不使用，而學者一般都使用[[布朗篩法]]或[[塞爾伯格篩法]]等其他技巧；然而，由於更加強力的篩法皆衍生自勒讓德篩法的基本概念之故，因此了解勒讓德篩法的原理，依舊是有用的。

==參考資料==
{{reflist}}

{{DEFAULTSORT:Legendre Sieve}}
[[Category:篩法]]
[[Category:数学分析]]