Numero primo di Sophie Germain

Da Wikipedia, l'enciclopedia libera.
(Reindirizzamento da Primo di Sophie Germain)

Un numero primo di Sophie Germain è un numero primo p tale che 2p + 1 sia anch'esso un numero primo. Il numero 2p + 1 è invece chiamato primo sicuro.

Numeri[modifica | modifica wikitesto]

I numeri primi di Sophie Germain minori di 104 sono:

2, 3, 5, 11, 23, 29, 41, 53, 83, 89, 113, 131, 173, 179, 191, 233, 239, 251, 281, 293, 359, 419, 431, 443, 491, 509, 593, 641, 653, 659, 683, 719, 743, 761, 809, 911, 953, 1013, 1019, 1031, 1049, 1103, 1223, 1229, 1289, 1409, 1439, 1451, 1481, 1499, 1511, 1559, 1583, 1601, 1733, 1811, 1889, 1901, 1931, 1973, 2003, 2039, 2063, 2069, 2129, 2141, 2273, 2339, 2351, 2393, 2399, 2459, 2543, 2549, 2693, 2699, 2741, 2753, 2819, 2903, 2939, 2963, 2969, 3023, 3299, 3329, 3359, 3389, 3413, 3449, 3491, 3539, 3593, 3623, 3761, 3779, 3803, 3821, 3851, 3863, 3911, 4019, 4073, 4211, 4271, 4349, 4373, 4391, 4409, 4481, 4733, 4793, 4871, 4919, 4943, 5003, 5039, 5051, 5081, 5171, 5231, 5279, 5303, 5333, 5399, 5441, 5501, 5639, 5711, 5741, 5849, 5903, 6053, 6101, 6113, 6131, 6173, 6263, 6269, 6323, 6329, 6449, 6491, 6521, 6551, 6563, 6581, 6761, 6899, 6983, 7043, 7079, 7103, 7121, 7151, 7193, 7211, 7349, 7433, 7541, 7643, 7649, 7691, 7823, 7841, 7883, 7901, 8069, 8093, 8111, 8243, 8273, 8513, 8663, 8693, 8741, 8951, 8969, 9029, 9059, 9221, 9293, 9371, 9419, 9473, 9479, 9539, 9629, 9689, 9791.

Il più grande primo di Sophie Germain conosciuto è 18543637900515 · 2666668 - 1 (200701 cifre scoperto nell'aprile 2012 da Philipp Bliedung).

Non si sa se vi siano infiniti numeri primi di Sophie Germain, ma il numero di numeri primi di Sophie Germain minori di un dato numero n può essere stimato euristicamente con la formula 2C_2 n /(\ln n)^2, dove la C2 corrisponde alla costante dei numeri primi gemelli.

I primi di Sophie Germain sono collegati con i primi di Mersenne. Se un primo di Sophie Germain è della forma p = 4k - 1, allora 2^p - 1 non è un numero primo.

I primi di Sophie Germain sono inoltre collegati con l'ultimo teorema di Fermat. Se p è un primo di Sophie Germain, non ci sono tre numeri interi tali che 2p+1 non divide il prodotto xyz e che

x^p + y^p = z^p

Dimostrazione[modifica | modifica wikitesto]

Sia  q = 2p + 1 . Allora  p = (q - 1)/2 e

x^p + y^p - z^p = 0

implica  +(-1)+(-1)+(-1) = 0 (mod q), che è impossibile poiché q > 3.

Dimostrazione 2[modifica | modifica wikitesto]

Sia p un primo di Sophie Germain, cioè 2p+1=p' è un numero primo, per assurdo esistano tre numeri x,y,z tali che 2p+1 non divide xyz e che

x^p + y^p = z^p

elevando al quadrato entrambi i membri della prima equazione si ricava

(x^p + y^p)^2 = z^{2p}=z^{p'-1}

e per il piccolo teorema di Fermat

(x^p + y^p)^2 = 1 mod p'

da cui

x^{2p}+2x^py^p + y^{2p} = 1 mod p'
x^{p'-1}+2x^py^p + y^{p'-1} = 1 mod p'
2x^py^p = -1 mod p'

In modo analogo si ricava che

2x^pz^p = 1 mod p'
2y^pz^p = 1 mod p'

quindi

2x^py^p +2x^pz^p =0 mod p'
2x^py^p +2y^pz^p = 0 mod p'

e

2x^p(y^p +z^p) =0 mod p'
2y^p(x^p +z^p) = 0 mod p'

Ricordando che p' non divide né xyz allora

x^p+y^p+2z^p = 0 mod p'
3z^p = 0 mod p'

ma ciò è impossibile poiché p' dovrebbe dividere z.


Note[modifica | modifica wikitesto]


Bibliografia[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

matematica Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica